LCA: Andrew Tanenbaum on creating reliable systems
LCA: Andrew Tanenbaum on creating reliable systems
Posted Jan 20, 2007 12:27 UTC (Sat) by dw (subscriber, #12017)Parent article: LCA: Andrew Tanenbaum on creating reliable systems
The most interesting Great Leap Forward in thinking about the safety and reliability of operating systems that I have seen recently has come from none other than Microsoft Research. Their Singularity project already has many of the qualities that Tanenbaum is after, while introducing the (IMHO utterly cool) idea of software isolated processes. I'd highly recommend a read of this paper:
ftp://ftp.research.microsoft.com/pub/tr/TR-2005-135.pdf
See also:
http://research.microsoft.com/os/singularity/#publications
Posted Jan 22, 2007 18:19 UTC (Mon)
by tjc (guest, #137)
[Link] (1 responses)
http://preview.tinyurl.com/qhuhg
See section titled "language-based protection":LCA: Andrew Tanenbaum on creating reliable systems