微軟宣布一非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)的安全性。