国产精品久久av,精品999久久久,国产精品99久久久久久久久久,久草久视频,亚洲91久久,一区二区三区回区在观看免费视频,黄色一级片免费在线观看

微軟正在研發非Windows操作系統這已經不是什么秘密，僅目前公開證實的就有Midori、Singularity，還有上月被曝光的SafeOS。今天，微軟發布了一份白皮書，介紹了一款新的非Windows操作系統Verve。

Verve當前還只是微軟研究院開發的一個原型，它是一個操作系統和運行時（runtime）系統，主要為了確保type和內存的安全性。雖然Verve聽起來比較陌生，不過它其實是從另一個大家比較熟悉的非Windows系統Singularity中剝離出來的。Singularity平臺項目是一款用托管代碼編寫的以研究為目的的操作系統。

微軟表示：“匯編語言（TAL）和霍爾邏輯可以確保低級代碼中不會出現多種錯誤，我們使用匯編語言和霍爾邏輯來實現一個新操作系統Verve在安全性方面的高度自動化、靜態驗證。”

“我們的技術和工具能自動驗證操作系統、運行時系統、驅動和應用程序中的每個匯編語言指令的安全性，實際上，它們會驗證除了引導程序之外系統的每一部分的匯編語言指令的安全性。”也就是說，通過對每條匯編指令的自動驗證微軟可以確保整個操作系統的安全性。