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