Singularity was an experimental operating system built by Microsoft Research between 2003 and 2010.[1] It was designed as a highly-dependable OS in which the kernel, device drivers, and applications were all written in managed code.
The lowest-level x86 interrupt dispatch code is written in assembly language and C. Once this code has done its job, it invokes the kernel, whose runtime and garbage collector are written in Sing# (an extended version of Spec#, itself an extension of C#) and runs in unprotected mode. The hardware abstraction layer is written in C++ and runs in protected mode. There is also some C code to handle debugging. The computer's BIOS is invoked during the 16-bit real mode bootstrap stage; once in 32-bit mode, Singularity never invokes the BIOS again, but invokes device drivers written in Sing#. During installation, Common Intermediate Language (CIL) opcodes are compiled into x86 opcodes using the Bartok compiler.
Singularity is a microkernel operating system. Unlike most historical 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.
Protection in this system is provided by a set of rules called invariants that are verified by static analysis. For example, in the memory-invariant states there must be no cross-references (or memory pointers) between two SIPs; communication between SIPs occurs via higher-order communication channels managed by the operating system. Invariants are checked during installation of the application. (In Singularity, installation is managed by the operating system.)
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 certain policy.
Singularity 1.0 was completed in 2007. A Singularity Research Development Kit (RDK) has been released under a Shared Source license that permits academic non-commercial use and is available from CodePlex. Version 1.1 was released in March 2007 and version 2.0 was released on November 14, 2008.
The rest is here:
Singularity (operating system) - Wikipedia, the free ...
- The Singularity Is Near - Wikipedia, the free encyclopedia [Last Updated On: July 21st, 2015] [Originally Added On: July 21st, 2015]
- The Futurist: The Singularity [Last Updated On: August 15th, 2015] [Originally Added On: August 15th, 2015]
- Singularity University - Solving Humanity's Grand ... [Last Updated On: September 4th, 2015] [Originally Added On: September 4th, 2015]
- SINGULARITY: a Joshua Gates, Destination Truth ... [Last Updated On: September 24th, 2015] [Originally Added On: September 24th, 2015]
- Paul Allen: The Singularity Isn't Near | MIT Technology Review [Last Updated On: September 24th, 2015] [Originally Added On: September 24th, 2015]
- Gravitational singularity - Wikipedia, the free encyclopedia [Last Updated On: October 23rd, 2015] [Originally Added On: October 23rd, 2015]
- Big Bang Theory [Last Updated On: January 14th, 2016] [Originally Added On: January 14th, 2016]
- Singularity: The Influence Of New Order [Last Updated On: January 14th, 2016] [Originally Added On: January 14th, 2016]
- What Is The Singularity And Will You Live To See It? [Last Updated On: January 31st, 2016] [Originally Added On: January 31st, 2016]
- Singularities and Black Holes (Stanford Encyclopedia of ... [Last Updated On: February 1st, 2016] [Originally Added On: February 1st, 2016]
- Singularity Q&A | KurzweilAI [Last Updated On: June 26th, 2016] [Originally Added On: June 26th, 2016]
