微軟SafeOS操作系統(tǒng)曝光

Win7之家（ afsion.com.cn）：微軟SafeOS操作系統(tǒng)曝光

微軟正在研發(fā)與Windows不同的操作系統(tǒng)，目前已知的項目包括Midori和Singularity。近日，一款名為SafeOS的新型操作系統(tǒng)出現(xiàn)，和前兩個項目不同，微軟并沒有對外公開SafeOS的消息。

SafeOS并不是這款產(chǎn)品或開發(fā)項目的代號，只是一個簡單的稱謂。微軟是在一項專利申請中提到了SafeOS，該專利主要關(guān)于一個安全的操作系統(tǒng)，它采用匯編語言（TAL）和Hoare邏輯等技術(shù)為type和內(nèi)存的安全提供高度自動化、靜態(tài)驗證。

實際上，這個新的平臺概念涉及了完全不同的操作系統(tǒng)架構(gòu)，超越目前基于地址的內(nèi)存保護(hù)機(jī)制。在專利中，微軟這樣描述道：“SafeOS或是相似的操作系統(tǒng)，使用‘自動化、靜態(tài)安全驗證器’構(gòu)建，包括一個訪問硬件和內(nèi)存的‘Nucleus’，一個建立了在Nucleus之上的‘Kernel’，應(yīng)用程序都基于Kernel運(yùn)行。”

Nucleus采用驗證匯編語言編寫，執(zhí)行任務(wù)調(diào)度、多堆棧、中斷處理、設(shè)備訪問等。Kernel則采用C#或其它語言編寫，在Nucleus之上創(chuàng)建先占式多任務(wù)線程等高水平服務(wù)。

微軟在專利中強(qiáng)調(diào)，SafeOS只是一個概念設(shè)計，用以說明自動化、靜態(tài)安全驗證器的原理，微軟不能保證會進(jìn)一步開發(fā)SafeOS。