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

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

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

SafeOS并不是這款產(chǎn)品或開(kāi)發(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è)訪問(wèn)硬件和內(nèi)存的‘Nucleus’，一個(gè)建立了在Nucleus之上的‘Kernel’，應(yīng)用程序都基于Kernel運(yùn)行。”

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

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