Sheriff Admin
4296 posts
author
|
posted 3/6/2008 9:57:10 AM
reply
Вот, кому интересно: http://research.microsoft.com/os/singularity/
"Singularity is a research project focused on the construction of dependable systems through innovation in the areas of systems, languages, and tools. We are building a research operating system prototype (called Singularity), extending programming languages, and developing new techniques and tools for specifying and verifying program behavior.
Advances in languages, compilers, and tools open the possibility of significantly improving software. For example, Singularity uses type-safe languages and an abstract instruction set to enable what we call Software Isolated Processes (SIPs). SIPs provide the strong isolation guarantees of OS processes....
Singularity uses these advances to build more reliable systems and applications."
|