Linked by Thom Holwerda on Tue 22nd Jul 2008 12:27 UTC, submitted by danmassa7
Microsoft 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.
Thread beginning with comment 324059
To read all comments associated with this story, please click here.
Managed OS (somewhat OT)
by silvergate256 on Tue 22nd Jul 2008 13:31 UTC
silvergate256
Member since:
2008-07-22

No only MS is doing research in managed operating systems: Links to 2 open source managed operating systems - for those interested in managed OS:

JNode (JVM Based):
http://www.jnode.org/

SharpOS (.NET Based):
http://www.sharpos.org

RE: Managed OS (somewhat OT)
by theteam on Tue 22nd Jul 2008 13:41 in reply to "Managed OS (somewhat OT)"
theteam Member since:
2007-09-28

...

Symobi by Miray Software:
http://www.symobi.com

tbc...

Reply Parent Bookmark Score: 0

silvergate256 Member since:
2008-07-22


Symobi by Miray Software:
http://www.symobi.com


Ok, similar aims but as far as I see on their site it's not a managed operating system. Its processes seem to be isolated by the hardware (instead by software), it has no code verifier, no garbage collection, no platform independent intermediate code, ...

Reply Parent Bookmark Score: 1

RE: Managed OS (somewhat OT)
by andrewg on Tue 22nd Jul 2008 15:05 in reply to "Managed OS (somewhat OT)"
andrewg Member since:
2005-07-06

I don't think the fact the Singularity is mostly managed code makes it interesting. The managed code allows the features that seperate it from other OS's and as far as I am aware none of the other managed OS's are as radical as Singularity. Singularity has: -

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.

See http://research.microsoft.com/os/singularity/publications/osr2007_r...

Reply Parent Bookmark Score: 5

silvergate256 Member since:
2008-07-22

... Singularity has: -

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).

Reply Parent Bookmark Score: 1