[PRL] Re: Singularity project at MS

[Matthias Felleisen]

It has been on my reading list for a week or so. When I read the 
abstract, I thought I was re-reading the Matthew-Olin-Druschel-me ITR 
proposal from 99/00. -- Matthias


-------------- next part --------------
A non-text attachment was scrubbed...
Name: singularity.pdf
Type: application/pdf
Size: 284075 bytes
Desc: not available
Url : https://lists.ccs.neu.edu/pipermail/prl/attachments/20051208/95f11900/singularity-0001.pdf
-------------- next part --------------


On Dec 8, 2005, at 9:09 PM, Mitchell Wand wrote:

> Saw an interesting talk at Harvard this afternoon about the 
> Singularity project at MSR.  Some key points:
>
> -- safe (typesafe, GC) language (extended Spec#) down through the 
> Kernel level.
> -- lots of [allegedly sound] static analysis to enable aggresive 
> optimizing compilers to enable integration across module boundaries.
> -- multiple processes run in a single address space, using the 
> language guarantees instead of run-time hardware checks to guarantee 
> process integrity.
> -- module interfaces include specification of channel protocols, etc., 
> not just types.
>
> Sounds nifty:  like what Olin has been saying for years + all the 
> static analysis stuff.
>
> Not intended as a product, but will be made available for researchers 
> (in a year or so, sooner if you sign an NDA).
>
> --Mitch
>
> Project home page: http://research.microsoft.com/os/singularity/
> A review: http://pl.atyp.us/wordpress/?p=991
>