@inproceedings{dcdf4f48f88349048a3d13c7197ea060,
title = "Rustpi: A Rust-powered Reliable Micro-kernel Operating System",
abstract = "Rustpi is a micro-kernel operating system implemented in Rust to explore how modern language features can help to build a reliable operating system. In our system, isolations between micro-kernel servers are achieved by Rust language instead of expensive hardware mechanisms. Moreover, Rust language features such as control-flow integrity and unwinding enable hardware transient fault detection and error recovery without resource leaking. Rustpi creatively integrates these features to enhance its reliability. Moreover, our design is also applicable to other Rust micro-kernel systems or even the Linux kernel.",
keywords = "Operating Systems, fault tolerance, reliability",
author = "Yuanzhi Liang and Lei Wang and Siran Li and Bo Jiang",
note = "Publisher Copyright: {\textcopyright} 2021 IEEE.; 32nd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2021 ; Conference date: 25-10-2021 Through 28-10-2021",
year = "2021",
doi = "10.1109/ISSREW53611.2021.00075",
language = "英语",
series = "Proceedings - 2021 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2021",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "272--273",
booktitle = "Proceedings - 2021 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2021",
address = "美国",
}