Affiliation:
1. Microsoft Research, Redmond
Abstract
Every operating system embodies a collection of design decisions. Many of the decisions behind today's most popular operating systems have remained unchanged, even as hardware and software have evolved. Operating systems form the foundation of almost every software stack, so inadequacies in present systems have a pervasive impact. This paper describes the efforts of the Singularity project to re-examine these design choices in light of advances in programming languages and verification tools. Singularity systems incorporate three key architectural features: software-isolated processes for protection of programs and system services, contract-based channels for communication, and manifest-based programs for verification of system properties. We describe this foundation in detail and sketch the ongoing research in experimental systems that build upon it.
Publisher
Association for Computing Machinery (ACM)
Cited by
142 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Extending Rust with Support for Zero Copy Communication;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23
2. Dynamic Linkers Are the Narrow Waist of Operating Systems;Proceedings of the 12th Workshop on Programming Languages and Operating Systems;2023-10-23
3. Sfitag: Efficient Software Fault Isolation with Memory Tagging for ARM Kernel Extensions;Proceedings of the ACM Asia Conference on Computer and Communications Security;2023-07-10
4. Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07
5. Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces;Proceedings of the 19th Workshop on Hot Topics in Operating Systems;2023-06-22