微軟正在研發與Windows不同的操作系統，目前已知的項目包括Midori和Singularity。近日，一款名為 SafeOS的新型操作系統出現，和前兩個項目不同，微軟并沒有對外公開SafeOS的消息。SafeOS并不是這款產品或開發項目的代號，只是一個簡單的稱謂。微軟是在一項專利申請中提到了SafeOS，該專利主要關于一個安全的操作系統，它采用匯編語言（TAL）和Hoare邏輯等技術為type和內存的安全提供高度自動化、靜態驗證。
實際上，這個新的平臺概念涉及了完全不同的操作系統架構，超越目前基于地址的內存保護機制。在專利中，微軟這樣描述道：“SafeOS或是相似的操 作系統，使用‘自動化、靜態安全驗證器’構建，包括一個訪問硬件和內存的‘Nucleus’，一個建立了在Nucleus之上的‘Kernel’，應用程 序都基于Kernel運行。”
Nucleus采用驗證匯編語言編寫，執行任務調度、多堆棧、中斷處理、設備訪問等。Kernel則采用C#或其它語言編寫，在Nucleus之上創建先占式多任務線程等高水平服務。
微軟在專利中強調，SafeOS只是一個概念設計，用以說明自動化、靜態安全驗證器的原理，微軟不能保證會進一步開發SafeOS。
進入論壇>>推薦閱讀
重新獲得資本市場的青睞，可能還要經歷一段時間。2010財年，聯想PC類業務仍占據其98%的營收比例，手機業務僅貢獻2%。2011財年截至目前，如果依據樂Phone的現有銷量以及單價計算，聯想手機業務依然難以超過5%。 精彩推>>>詳細閱讀
地址：http://m.sdlzkt.com/a/xie/20111230/192080.html
網友點評
精彩導讀
科技快報
品牌展示