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

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

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

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

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

【編輯推薦】

1. 微軟曝光下一代Windows Server
2. 微軟發(fā)布IE 9第六個(gè)開發(fā)者預(yù)覽版(附下載)
3. 微軟：Windows HPC比Linux HPC便宜
4. Windows 95誕辰15周年微軟如何再造輝煌
5. 微軟Windows的達(dá)爾文進(jìn)化史(附圖)