微软发布了一个用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.
微软发布了一个用C#写的操作系统 叫: singularity
最新推荐文章于 2022-12-12 08:00:09 发布