微软发布了一个用C#写的操作系统 叫： singularity

微软发布了一个用C#写的操作系统 叫： singularity http://research.microsoft.com/os/singularity/ 他的最大的特点是:  dependableSingularityis a research project focused on the construction ofdependable systemsthrough innovation in the areas of systems,languages, and tools.什么样的操作系统是：dependable的呢？他不会崩溃，不会造成用户数据丢失，不会向病毒屈服！ 没有病毒！这是个很大的 dependable！A system can be called dependable if it obeys a specification of its behavior. Of special interest are things that a system should not do: crash, hang, corrupt data, succumb to viruses, etc.Adependable system should be well-behaved and not act in amannerunwanted or unanticipated by its designers, developers,administrators,or users. As a step towards this end, the Singularity OSis designed tofacilitate the automatic checking of partialspecifications of thesystem's behavior.