
Scott Finley, a researcher at the University of Wisconsin-Madison has
ported the Linux files system Ext2 to Microsoft's new research operating system
Singularity. One of the most striking observations was the author's comments on Singularity's robustness.
"Perhaps the best testament to Singularity's dependability was the extremely good system stability during the development of ext2... If the ext2 process terminated as the result of a failure, it only resulted in open channels closing. Other processes could (and did) recover gracefully." Finley's report details all his findings quite extensively.
Member since:
2008-07-22
1. Software isolated processes (SIP)
2. Contract based channels
3. Manifest based programming
SIP allows a single address space so there are no task switching penalties.
Are you sure about SharpOS uses CPU-based process/memory isolation? I think that would be stupid since code is verified before/while execution (the same for JNode OS).