微軟宣布一非Windows操作系統(tǒng)Verve
2010/12/11
微軟正在研發(fā)非Windows操作系統(tǒng)這已經(jīng)不是什么秘密，僅目前公開(kāi)證實(shí)的就有Midori、Singularity，還有上月被曝光的SafeOS。今天，微軟發(fā)布了一份白皮書(shū)，介紹了一款新的非Windows操作系統(tǒng)Verve。
Verve當(dāng)前還只是微軟研究院開(kāi)發(fā)的一個(gè)原型，它是一個(gè)操作系統(tǒng)和運(yùn)行時(shí)（runtime）系統(tǒng)，主要為了確保type和內(nèi)存的安全性。雖然Verve聽(tīng)起來(lái)比較陌生，不過(guò)它其實(shí)是從另一個(gè)大家比較熟悉的非Windows系統(tǒng)Singularity中剝離出來(lái)的。Singularity平臺(tái)項(xiàng)目是一款用托管代碼編寫(xiě)的以研究為目的的操作系統(tǒng)。
微軟表示：“匯編語(yǔ)言（TAL）和霍爾邏輯可以確保低級(jí)代碼中不會(huì)出現(xiàn)多種錯(cuò)誤，我們使用匯編語(yǔ)言和霍爾邏輯來(lái)實(shí)現(xiàn)一個(gè)新操作系統(tǒng)Verve在安全性方面的高度自動(dòng)化、靜態(tài)驗(yàn)證。”
“我們的技術(shù)和工具能自動(dòng)驗(yàn)證操作系統(tǒng)、運(yùn)行時(shí)系統(tǒng)、驅(qū)動(dòng)和應(yīng)用程序中的每個(gè)匯編語(yǔ)言指令的安全性，實(shí)際上，它們會(huì)驗(yàn)證除了引導(dǎo)程序之外系統(tǒng)的每一部分的匯編語(yǔ)言指令的安全性�！币簿褪钦f(shuō)，通過(guò)對(duì)每條匯編指令的自動(dòng)驗(yàn)證微軟可以確保整個(gè)操作系統(tǒng)的安全性。
