对 Rust for Linux 的实证研究:成功、不满与妥协

主要观点:Linux 已发展 30 多年,是当今数字世界的计算基础,但因其基于 C 语言存在众多内存和并发 bug。Rust-for-Linux(RFL)项目有望解决 Linux 的安全问题,虽已逐渐成熟并并入 Linux 主线,但仍不清楚其是否真的调和了内核的安全与性能困境。
关键信息:作者包括北京邮电大学的 Hongyu Li、电子科技大学的 Liwei Guo 以及北京邮电大学的 Yexuan Yang、Shangguang Wang 和 Mengwei Xu,该研究对 RFL 进行实证研究以了解其现状和益处,涉及 6 个关键 RFL 驱动、大量相关问题及 PR、Github 提交和邮件交流、Zulip 讨论等,发现 Rust 虽能减轻内核漏洞但不能完全消除,处理不当还会增加运行时开销和开发工作量。
重要细节:Linux 应用广泛,从大型复杂主机到廉价嵌入式设备都有;RFL 试图通过将 Rust 的静态所有权和类型检查器引入内核代码来解决安全问题;研究收集分析了多方面关于 RFL 的资料;USENIX 致力于活动研究的开放获取,论文和 proceedings 活动开始后免费向所有人开放,活动后的视频等也免费开放等。

阅读 14
0 条评论