Singularity (operating system)
This article needs additional citations for verification. (August 2011) |
Microsoft Corporation) | |
Written in | Assembly language, C, C++, C#, Sing# |
---|---|
OS family | Language-based systems |
Working state | Discontinued |
Source model | Source-available (through Shared Source Initiative) |
Initial release | March 4, 2008[1] |
Final release | 2.0 / November 14, 2008 |
Available in | English |
Platforms | x86, x86-64[2] |
Kernel type | Microkernel language-based |
Default user interface | Command-line interface |
License | Microsoft Research License |
Official website | research |
Singularity is an experimental operating system developed by Microsoft Research between July 9, 2003,[3] and February 7, 2015.[4] It was designed as a high dependability OS in which the kernel, device drivers, and application software were all written in managed code. Internal security uses type safety instead of hardware memory protection.
Operation
The lowest-level
Security design
Singularity is a microkernel operating system. Unlike most historic microkernels, its components execute in the same address space (process), which contains software-isolated processes (SIPs). Each SIP has its own data and code layout, and is independent from other SIPs. These SIPs behave like normal processes, but avoid the cost of task-switches.[5]: 4,11,35
Protection in this system is provided by a set of rules called
Most of the invariants rely on the use of safer memory-managed languages, such as Sing#, which have a garbage collector, allow no arbitrary pointers, and allow code to be verified to meet a given computer security policy.
Project status
The first Singularity Research Development Kit (RDK), RDK 1.1, was initially released on March 4, 2008,
Similar projects
- Inferno, first created in 1995, based on Plan 9 from Bell Labs; programs are run in a virtual machine and written in Limbo instead of C# with CIL; open-source software
- JavaOS, a legacy OS based on the same concept as Singularity
- JNode, an OS similar in concept to Singularity, but with Java instead of C# with CIL
- JX, a Java OS that, like Singularity, uses type safety instead of computer hardware memory protection
- Phantom OS, a managed OS
- SharpOS, a former effort to write an operating system using C#; open-source software
- MOSA, a .NET Framework compiler and operating system using C#
- Cosmos, a building blocks toolkit for developing an OS using C#; open-source software
- TempleOS, a ring-0 operating system with JIT compiler; open-source software
See also
- Language-based system, general kernel design using language-based protection instead of hardware protection.
- Spec#, programming language derived from C# by adding Eiffel-like design by contract.
- Sing#, programming language derived from Spec# by adding channels and low-level constructs; used to build Singularity.
- Midori, a Microsoft-developed microkernel-based operating system. Based on and related to Singularity.
References
- ^ a b "Singularity RDK 1.1". CodePlex. Archived from the original on May 4, 2009. Retrieved January 16, 2022.
- ^ a b "Singularity RDK 2.0 Initial Release (17067)". CodePlex. November 14, 2008. Archived from the original on December 6, 2008. Retrieved January 16, 2022.
- ^ "Singularity". Microsoft. Retrieved January 16, 2022.
- ^ "Singularity RDK". CodePlex. Archived from the original on January 2, 2018. Retrieved January 16, 2022.
- ^ a b "An Overview of the Singularity Project" (PDF). Microsoft. Retrieved January 16, 2022.
- ^ a b Hunt, Galen; Larus, James. "Singularity: Rethinking the Software Stack" (PDF). Microsoft. Microsoft Research Redmond. Retrieved January 16, 2022.
- ^ Ricciuti, Mike (March 5, 2008). "Is Microsoft's 'Singularity' the OS of the future?". CNET. Retrieved January 16, 2022.
External links
- Official website
- Singularity Design Motivation and an overview of the Singularity Project
- Singularity source code on CodePlex
- Singularity: A research OS written in C# an interview of the Channel 9 team to Jim Larus and Galen Hunt (video & thread)
- Singularity III: Revenge of the SIP, an interview of the Channel 9 team to 3 researchers of the Singularity Project Team (video & thread).
- Singularity IV: Return of the UI, a demo of Singularity actually running (video & thread).
- Singularity Revisited, an interview of the Channel 9 team to 4 researchers of the Singularity Project Team (video & thread)