Theseus OS - Rust로 만든 OS
(github.com)- 새로운 OS구조, 더 나은 상태 관리(*) 및 리소스 관리 책임을 OS에서 컴파일러로 넘기는 방법을 실험하기 위해 처음부터 Rust로 개발한 현대적인 OS
- 리눅스/WSL/맥/도커 환경에서 빌드 및 실행(QEMU) 가능
* State Spill 문제를 해결 : 어플리케이션들과 OS가 통신해서 실행될 때, 시스템이 크래쉬되거나 하더라도 OS가 관리하고 있는 각 어플리케이션의 상태를 독립적으로 유지할 수 있도록 만드는 것
OSDI 2020 에서의 Theseus OS 발표 : https://www.youtube.com/watch?v=j4ZPZoPNjkw
해당 OS도 포함해서 이런거 대부분은 대학원생 논문용 OS라서 우선 실생활 이용보다는 새로운 OS이론 Proof용으로 내놓는 경우가 많은거 같습니다.
이런거 쌓여서 지금 사용되고 있는 OS들이 더 발전하겠죠.