HackerUSENIX ATC '21/OSDI '21 Joint Keynote Address-It's Time for Operating Systems to Rediscover Hardware
USENIXYouTube ↗
延伸阅读 1
字幕解读
Roscoe 质疑现代操作系统研究仍以 Linux 的对称共享内存模型为默认，而真实 SoC 和服务器由多个异构处理器、不同地址空间及独立固件共同构成。Linux 只管理其中一部分，遗漏的系统职责会造成安全漏洞和电源管理冲突，也促使硬件把更多功能隐藏在操作系统之外。他呼吁操作系统研究直接面向真实异构硬件，尝试设计全机管理方案，并通过自制研究平台与跨领域协作推进。
自动字幕 · 引文按字幕原文展示，可点时间戳回看片段。
内容要点
- 传统 Linux 式机器模型无法描述现实 SoC：异构处理器、隔离地址空间和独立固件共同承担系统功能。
- 把 Linux 当作设备上唯一的操作系统会留下安全假设漏洞，并使电源管理等跨处理器职责难以协调。
- 研究者应在真实硬件上重新考虑全机资源管理，可自建研究平台、使用形式化和运行时工具，并与体系结构领域协作。
视频章节 6
- 操作系统研究为何需要重新聚焦
- 以功能定义操作系统
- 从简单机器模型转向真实硬件
- Linux 模型的安全与电源管理问题
- 亲自探索异构系统设计
- 总结研究机会与方法
具体观点与证据 3
现代 SoC 的完整操作系统功能由 Linux 与多个固件或内核共同承担，不能把 Linux 管理的 CPU 簇等同于整机。
按资源管理和隔离职责定义操作系统。
the operating system for this machine includes linux as a component but it also has to include all the rest把外围设备当作被动外设会漏掉独立固件的攻击面，驱动补丁不能替代对多处理器地址与权限边界的正确建模。
以演讲中的 Qualcomm 跨 SoC 攻击为案例。
there's a fundamental assumption inside linux that it's the only operating system on the machine将整机称为分布式系统只是分类，仍须明确如何管理异构资源、地址映射和保护关系。
讲者不限定必须使用单内核或多内核结构。
to simply say oh it's distributed system doesn't actually solve any problems at all补充字幕原文 2
演讲者认为传统对称共享内存机器图景与现代设备不符，操作系统设计需基于真实硬件。
this model of a ccnew machine is a fantasy该假设忽略了 SoC 中独立运行的其他处理器与操作系统，可能造成安全边界被绕过。
linux assumes that it's the only thing running on the machine解读边界
演讲集中论证研究议程与硬件模型问题，部分安全案例和对研究发表文化的判断属于演讲者的论据；没有对替代架构作完整实现比较。