Theseus: an Experiment in Operating System Structure and State Management.
Kevin BoosNamitha LiyanageRamla IjazLin ZhongPublished in: OSDI (2020)
Keyphrases
- operating system
- computer systems
- virtual machine
- microsoft windows
- management system
- distributed systems
- windows xp
- operating environment
- high assurance
- information systems
- linux kernel
- multi threaded
- application programs
- data processing
- data management
- virtual memory
- memory management
- windows nt
- maintaining consistency
- object oriented