OSDev.org

The Place to Start for Operating System Developers
It is currently Thu Mar 28, 2024 12:21 pm

All times are UTC - 6 hours




Post new topic Reply to topic  [ 1 post ] 
Author Message
 Post subject: [Paper] Theseus — Rust OS
PostPosted: Mon Jan 11, 2021 11:45 pm 
Offline

Joined: Mon Jan 11, 2021 9:36 pm
Posts: 1
Theseus: an Experiment in Operating System Structure and State Management

Kevin Boos, Rice University; Namitha Liyanage, Yale University; Ramla Ijaz, Rice University; Lin Zhong, Yale University
https://www.usenix.org/conference/osdi2 ... ation/boos

Abstract:

“This paper describes an operating system (OS) called The- seus. Theseus is the result of multi-year experimentation to redesign and improve OS modularity by reducing the states one component holds for another, and to leverage a safe pro- gramming language, namely Rust, to shift as many OS re- sponsibilities as possible to the compiler.

Theseus embodies two primary contributions. First, an OS structure in which many tiny components with clearly-defined, runtime-persistent bounds interact without holding states for each other. Second, an intralingual approach that realizes the OS itself using language-level mechanisms such that the compiler can enforce invariants about OS semantics.
Theseus’s structure, intralingual design, and state manage- ment realize live evolution and fault recovery for core OS components in ways beyond that of existing works.”

https://www.usenix.org/system/files/osdi20-boos.pdf


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic Reply to topic  [ 1 post ] 

All times are UTC - 6 hours


Who is online

Users browsing this forum: No registered users and 19 guests


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group