Rex：安全的内核扩展同样是可以使用的

《ACM Transactions on Computer Systems》：Rex: Safe kernel extensions can also be usable

　　

摘要AI 摘要

要查看此 AI 生成的摘要，您需要拥有高级访问权限。

了解更多登录

摘要

摘要

安全内核扩展已获得显著关注，从简单的数据包过滤器演变为大型复杂程序，用于自定义存储、网络调度和进程调度。现有的内核扩展机制（如 eBPF）依赖于内核验证器，通过符号执行进行静态验证来确保内核扩展的安全性。我们识别出了严重的可用性问题——安全的扩展被验证器拒绝——这是由于语言-验证器差距造成的，即开发者期望编程语言合约所提供的程序安全性与验证器的期望之间存在不匹配。

我们提出了 Rex，一个全新的内核扩展框架，弥合了语言-验证器差距，并在编程体验和可维护性方面提升了内核扩展的可用性。Rex 基于语言级安全性，提供了内核扩展所需的安全性属性，同时配备了一个轻量级的语言外运行时，用于处理不适合静态分析的属性，包括安全异常处理、栈安全性和终止性。使用 Rex，内核扩展以安全 Rust 编写，并通过 Rex 内核 crate 提供的安全接口与内核交互。无需额外的静态验证。Rex 在不影响性能的前提下解决了 eBPF 内核扩展的可用性问题。

AI 摘要

AI 生成的摘要（实验性）

本摘要由自动化工具生成，未经论文作者撰写或审核。它旨在支持文献发现，帮助读者评估相关性，并协助相关研究领域的读者理解该工作。它是对作者提供的摘要的补充，后者仍然是论文的主要摘要。完整文章仍然是权威版本。

点击此处对摘要的准确性、清晰度和实用性进行评论。这将为改进和未来的重新生成版本提供参考。

要查看此 AI 生成的通俗摘要，您需要拥有高级访问权限。