OSDI 文章分享，论文（RedLeaf: Isolation and Communication in a Safe Operating System）的结构化文摘

最新推荐文章于 2024-02-10 22:02:02 发布

结构化文摘

最新推荐文章于 2024-02-10 22:02:02 发布

阅读量342

点赞数

分类专栏：一分钟看懂操作系统顶会论文OSDI 文章标签：操作系统安全编程语言内核

本文链接：https://blog.csdn.net/bookmashup/article/details/117714858

版权

一分钟看懂操作系统顶会论文OSDI 专栏收录该内容

34 篇文章 9 订阅 ¥9.90 ¥99.00

订阅专栏

超级会员免费看

RedLeaf是一个全新的用Rust语言从零开始开发的操作系统，旨在研究语言安全性对操作系统设计的影响。它不依赖硬件地址空间实现隔离，而是利用Rust的语言特性进行隔离。通过轻量级的隔离域抽象，RedLeaf实现了信息隐藏和故障隔离，并允许动态加载和干净终止，确保一个域的错误不会影响其他域的执行。此外，它还展示了设备驱动程序的零拷贝、故障隔离和透明恢复的可能性。为了验证RedLeaf的实用性，构建了一个名为Rv6的POSIX子集操作系统，以及性能与DPDK和SPDK相当的10Gbps Intel ixgbe网络和NVMe固态硬盘设备驱动程序。

摘要由CSDN通过智能技术生成

Authors:

Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, and Zhaofeng Li, University of California, Irvine; Gerd Zellweger, VMware Research; Anton Burtsev, University of California, Irvine

Abstract:

RedLeaf is a new operating system developed from scratch in Rust to explore the impact of language safety on operating system organization. In contrast to commodity systems, RedLeaf does not rely on hardware address spaces for isolation and instead uses only type and memory safety of the Rust language. Departure from costly hardware isolation mechanisms allows us to explore the design space of systems that embrace lightweight fine-grained isolation. We develop a new abstract