【转载】C#能与不能之：操作系统（宇宙、卓越、C#OS）

faunus

三个名字都挺牛 B 的项目

[1]Cosmos （宇宙）
网址： http://www.codeplex.com/Cosmos/
Cosmos?

    Cosmos 是 C# 开源管理操作系统（ Open Source Managed Operating System ）的简称。尽管用 C# 来命名， 但是 VB.NET, Fortran, 和任何 .NET 语言都可以在此应用。我们选择了 C# 作为标题是因为我们的工作是利用 C# 做的，而且命名为 VBOSMOS 听起来不那么好听。

     Cosmos 不是传统意义上的操作系统，它是操作系统套件或者我更愿意叫他操作系统力高（一种类似组合积木式的玩具），你可以利用它创建你的操作系统。然而，在我们上路之前，我们想要令其更容易利用和编译。大多数用户在短短的几分钟就可以利用 Visual Studio （ 2008 ）编写和启动他们的操作系统。

Cosmos 利用 Visual studio 将你的代码编译成 IL 然后 Cosmos 将 IL 编译为机器码。

faunus

[2]Singularity （卓越）

网址： http://www.codeplex.com/singularity/

About 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 (isolated object space, separate GCs, separate runtimes) without the overhead of hardware-enforced protection domains. In the current Singularity prototype SIPs are extremely cheap; they run in ring 0 in the kernel’s address space.


Singularity uses these advances to build more reliable systems and applications. For example, because SIPs are so cheap to create and enforce, Singularity runs each program, device driver, or system extension in its own SIP. SIPs are not allowed to share memory or modify their own code. As a result, we can make strong reliability guarantees about the code running in a SIP. We can verify much broader properties about a SIP at compile or install time than can be done for code running in traditional OS processes. Broader application of static verification is critical to predicting system behavior and providing users with strong guarantees about reliability.

faunus

[3]SharpOS （ C#OS ）

网址： http://www.sharpos.org/doku.php

About SharpOS

SharpOS is the original open source effort to write an operating system in 100% C#, with a strong focus on security, reliability, and maintainability. The SharpOS project is also a member of the Managed Operating System Alliance (MOSA) .

While the SharpOS architecture is being overhauled, documentation on the original design and components is still present.

Cosmos 中文链接引用：
http://blog.sina.com.cn/s/blog_4b94ff130100eto7.html

醉酒狂生

虽不明但觉厉