"
...it is impossible to predict how a singularity will affect objects in its causal future." - NCSA Cyberia Glossary
Yes, the Singularity Project at Microsoft Research has proved radical in more than one ways, the most significant digression from OS coding tradition being the fact that the OS platform has been coded in a Very High Level Language - C#!!
Actually, its written in Sing#, an extension of C# that first-class support for OS communication primitives as well as strong support for systems programming. The first question in anyones mind would be performance on C# which is a JIT compiled language requiring a significant overhead in comparison to the likes of C and C++, but according to Microsoft Research, use of safe programming languages eliminates many preventable defects, such as buffer overruns.
Second, the use of sound program verification tools further guarantees that entire classes of
programmer errors are removed from the system early in the development cycle.
Third, an improved system architecture stops the propagation of runtime errors at well-defined boundaries, making it easier to achieve robust and correct system behavior.
In their laboratory trial builds, the research team juggled between using Safe and Unsafe code for critical elements like Garbage Collector. It would be very interesting to see how it affects the performance and especially what security loop-holes may be induced with unsafe code...
On an ending note, when I was reading about Singularity, the research team has clearly conveyed that their target is simplicity of design rather than performance. Quite a paradigm shift I would say.
Read the whole Singularity series, starting here..
DIGITAL AND TECH: Microsoft Singularity - Series I