基于微內(nèi)核架構(gòu)的嵌入式系統(tǒng)虛擬化技術(shù)

　　據(jù)此，一種頗為可行的方法是有效地利用微內(nèi)核操作系統(tǒng)的特點(diǎn)，將基于主機(jī)操作系統(tǒng)架構(gòu)的虛擬化和基于管理層的虛擬化融合到一起，結(jié)合特權(quán)指令部分和一個(gè)用戶態(tài)虛擬機(jī)管理器來克服彼此的缺陷。如此，加之利用像L4這樣高性能的微內(nèi)核操作系統(tǒng)，我們可以最終獲得在效率，功能性和安全性三方面取得均衡的虛擬機(jī)環(huán)境。

　　基于微內(nèi)核架構(gòu)的虛擬化技術(shù)

　　本架構(gòu)(圖2)設(shè)計(jì)中，我們將主要針對特定的平臺架構(gòu)(即英特爾x86架構(gòu))，以L4微內(nèi)核系統(tǒng)作為基礎(chǔ)，利用硬件虛擬化技術(shù)的支持以構(gòu)建高效、安全的虛擬機(jī)。

　　不同于一般的虛擬機(jī)，我們將系統(tǒng)劃分為兩個(gè)部分：一個(gè)必要的擁有特權(quán)指令權(quán)限的內(nèi)核態(tài)虛擬機(jī)描述部分以運(yùn)行指令和請求資源，和一個(gè)用戶態(tài)的虛擬機(jī)資源控制單元以處理各類事件并實(shí)現(xiàn)管理。

　　內(nèi)核態(tài)虛擬機(jī)的抽象將主要要通過兩方面完成：一，以L4任務(wù)機(jī)制為基礎(chǔ)，利用其地址空間的控制功能以提供必要的隔離性;二，對線程機(jī)制進(jìn)行增強(qiáng)，形成特殊的虛擬CPU線程，用以模擬每個(gè)處理器。

　　除此之外，構(gòu)建虛擬機(jī)還需要完善內(nèi)存頁表的訪問，中斷的處理以及文件系統(tǒng)。這些則需要通過內(nèi)核態(tài)的虛擬機(jī)描述部分與用戶態(tài)的虛擬機(jī)管理器協(xié)同完成。同時(shí)還需要利用用戶態(tài)虛擬機(jī)管理器建立一系列的管理和調(diào)試接口。

　　虛擬化技術(shù)在嵌入式系統(tǒng)中的應(yīng)用

　　基于微內(nèi)核的虛擬機(jī)環(huán)境具有高可靠性，高靈活性以及實(shí)時(shí)性支持等特點(diǎn)，而隨著虛擬化技術(shù)的不斷發(fā)展，以及新體系架構(gòu)的引入，嵌入式系統(tǒng)虛擬化的性能障礙也正被逐漸克服，使之可以在嵌入式系統(tǒng)中有著以下廣泛的應(yīng)用前景。