Programming Languages White Papers
Language Support for Fast and Reliable Message-Based Communication in Singularity OS
Overview This paper reports on the language, verification, and run-time system features that make messages practical as the sole means of communication between processes in the Singularity operating system. This paper show that using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable efficient communication and low-overhead software-based process isolation. Furthermore, specifications on communication channels help in detecting programmer mistakes early - namely at compile-time - thereby reducing the difficulty of the message-based programming model. The paper also describes the communication invariants, the language and verification features that support them, as well as implementation details of the infrastructure. A number of benchmarks show the competitiveness of this approach.
| Publisher | Association for Computing Machinery | File Format | |
|---|---|---|---|
| Date Published | April 2006 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 3 out of 8 users found this white paper useful
White Paper RSS
Download
Register
