Linked by Thom Holwerda on Wed 27th Jun 2007 18:59 UTC, submitted by John Nilsson
Microsoft The Singularity team at Microsoft has recently published a new article concerning their research OS. It is a concise introduction to the Singularity project. It summarizes research in Singularity 1.0 and highlights ongoing research for Singularity 2.0.
Thread beginning with comment 251074
To read all comments associated with this story, please click here.
Maybe OT
by John Nilsson on Wed 27th Jun 2007 20:50 UTC
John Nilsson
Member since:
2005-07-06

Something struck me with all talk about static verification of security and such.

If an OS depends on static verification wouldn't that require software to be distributed in a high level representation for the system to be able to trust it? In other words refuse to run anything which wasn't supplied as source code.

A technological dependence on open source... I'd like that.

Reply Score: 2

RE: Maybe OT
by jayson.knight on Wed 27th Jun 2007 21:01 in reply to "Maybe OT"
jayson.knight Member since:
2005-07-06

"If an OS depends on static verification wouldn't that require software to be distributed in a high level representation for the system to be able to trust it?"

It depends on the type of code it's expecting to run. In the case of managed code (ala .Net), managed IL is easily translatable back to high level source on the fly, so I'm assuming that type of compiled code wouldn't specifically need source code files per se (remove the actual .Net implementation from my statement above; should get the gist of it). Given that Singularity is largely written in managed code, I feel this would be a safe assumption.

But then again I could be misunderstanding you as I'm really not a systems guy.

Reply Parent Score: 2

RE[2]: Maybe OT
by John Nilsson on Wed 27th Jun 2007 21:11 in reply to "RE: Maybe OT"
John Nilsson Member since:
2005-07-06

I'm reading the Manifest-Based Programs bit now. And you are correct, it depends on MSIL to analyze program behavior.

In any case I think it would be and interesting project to build a system around the idea that system components are deployed as source. If application configuration is a compile time decision a much higher degree of optimization should be achievable.

Edit: OTOH it seems doable at runtime http://www.cs.berkeley.edu/~bodik/research/oopsla05-specialization....

Edited 2007-06-27 21:17

Reply Parent Score: 2

RE: Maybe OT
by rayiner on Wed 27th Jun 2007 21:19 in reply to "Maybe OT"
rayiner Member since:
2005-07-06

Practically, yes. The representation doesn't have to be source-level, just high-level enough to express all the basic source-level constructs in a type-safe, memory-safe way.

Reply Parent Score: 5