Singularity Sourcecode finally available…

The last time I wrote about Singularity was in 2005 when the first news came up… and now:

For all those source code kids – the sourcecode of Singularity – the research operating system written by people at Microsoft Research completely in .NET is now available.

singularity

from the Microsoft Research Overview page:

“Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior.

Advances in languages, compilers, and tools open the possibility of significantly improving software. For example, Singularity uses type-safe languages and an abstract instruction set to enable what we call Software Isolated Processes (SIPs). SIPs provide the strong isolation guarantees of OS processes (isolated object space, separate GCs, separate runtimes) without the overhead of hardware-enforced protection domains. In the current Singularity prototype SIPs are extremely cheap; they run in ring 0 in the kernel’s address space.

Singularity uses these advances to build more reliable systems and applications. For example, because SIPs are so cheap to create and enforce, Singularity runs each program, device driver, or system extension in its own SIP. SIPs are not allowed to share memory or modify their own code. As a result, we can make strong reliability guarantees about the code running in a SIP. We can verify much broader properties about a SIP at compile or install time than can be done for code running in traditional OS processes. Broader application of static verification is critical to predicting system behavior and providing users with strong guarantees about reliability.”

You can even watch a small movie about Singularity here:

c9singularity

Source 1: http://research.microsoft.com/os/singularity/
Source 2: http://channel9.msdn.com/ShowPost.aspx?PostID=68302
Source 3: http://www.codeplex.com/singularity

how about 16.8 Terabytes of Mars? (the planet!)

You do realise that, despite that fact no mass media is talking about it, there are still robots around and on Mars doing research for the last years? Yeah you’re right: Spirit and Opportunity are still well and alive on Mars. There were several other missions and this newly released 9.9 Tbytes of data (adds up to 16.8 Tbytes) is just fantastic stuff.

See an avalanche on Mars:

PSP_007338_2640

“How much data was released? 2422 observations, making up 9.9 terabytes “in over 225,599 standard PDS and extras products” according to our database specialist. This was for data between orbit ranges 4400 and 6999, or between July 05, 2007 and January 23, 2008 (which is a lot of loops around the Red Planet!)

We have now released a total of 16.8 TB worth of data, or nearly 500,000 image products. Please check out the latest images on the HiRISE website on the “March 2008: New HiRISE Images Released to the Planetary Data System” page.”

Source 1: http://hirise.lpl.arizona.edu/HiBlog/?p=147
Source 2: http://hirise.lpl.arizona.edu/PSP_007338_2640
Source 3: http://pds-imaging.jpl.nasa.gov/
Source 4: http://hirise-pds.lpl.arizona.edu/PDS/
Source 5: http://marsrovers.jpl.nasa.gov/home/index.html