5P by xguru 6달전 | favorite | 댓글 2개

- 새로운 OS구조, 더 나은 상태 관리(*) 및 리소스 관리 책임을 OS에서 컴파일러로 넘기는 방법을 실험하기 위해 처음부터 Rust로 개발한 현대적인 OS
- 리눅스/WSL/맥/도커 환경에서 빌드 및 실행(QEMU) 가능

* State Spill 문제를 해결 : 어플리케이션들과 OS가 통신해서 실행될 때, 시스템이 크래쉬되거나 하더라도 OS가 관리하고 있는 각 어플리케이션의 상태를 독립적으로 유지할 수 있도록 만드는 것

OSDI 2020 에서의 Theseus OS 발표 : https://www.youtube.com/watch?v=j4ZPZoPNjkw

jwstyle 6달전  [-]

계속 새로운 OS는 만들어지는데, 이런 OS는 어디에서 사용될까요...

kbumsik 6달전  [-]

해당 OS도 포함해서 이런거 대부분은 대학원생 논문용 OS라서 우선 실생활 이용보다는 새로운 OS이론 Proof용으로 내놓는 경우가 많은거 같습니다.
이런거 쌓여서 지금 사용되고 있는 OS들이 더 발전하겠죠.