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

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

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

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

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

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

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

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

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