基本介紹
- 外文名：SafeOS
- 類型：新型作業系統
- 採用：彙編語言（TAL）和Hoare邏輯
- 提供：高度自動化、靜態驗證
微軟正在研發與Windows不同的作業系統，目前已知的項目包括Midori和Singularity。近日，一款名為SafeOS的新型作業系統出現，和前兩個項目不同，微軟並沒有對外公開SafeOS的訊息。SafeOS並不是這款產品或開發項目的代號，只是一個簡單的稱謂。微軟是在一項專利申請中提到了SafeOS，該專利主要關於一個安全的作業系統，它採用彙編語言（TAL）和Hoare邏輯等技術為type和記憶體的安全提供高度自動化、靜態驗證。
實際上，這個新的平台概念涉及了完全不同的作業系統架構，超越目前基於地址的記憶體保護機制。在專利中，微軟這樣描述道：“SafeOS或是相似的操 作系統，使用‘自動化、靜態安全驗證器’構建，包括一個訪問硬體和記憶體的‘Nucleus’，一個建立了在Nucleus之上的‘Kernel’，套用程 序都基於Kernel運行。”
Nucleus採用驗證彙編語言編寫，執行任務調度、多堆疊、中斷處理、設備訪問等。Kernel則採用C#或其它語言編寫，在Nucleus之上創建先占式多任務執行緒等高水平服務。
微軟在專利中強調，SafeOS只是一個概念設計，用以說明自動化、靜態安全驗證器的原理，微軟不能保證會進一步開發SafeOS。
