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

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

原创最新推荐文章于 2024-02-10 22:02:02 发布 · 457 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#操作系统 #安全 #编程语言 #内核

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

34 篇文章 ¥9.90 ¥99.00

订阅专栏

超级会员免费看

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

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 i

了解本专栏