基于L4的FIFO通訊機制的研究和實現(xiàn).pdf

1、目前，嵌入式電子設備已經(jīng)廣泛應用于人們生活的各個領域，除了要求實現(xiàn)必須的功能外，某些特殊的領域還對嵌入式系統(tǒng)提出了更高的要求：在保證嵌入式整體性能的前提下，嵌入式系統(tǒng)還要具有一定的實時性、可靠性和安全性，而且嵌入式系統(tǒng)的應用軟件還具有了通用化的趨勢，這也對嵌入式的實現(xiàn)提出了新的要求。以一體化內(nèi)核為基礎的傳統(tǒng)嵌入式系統(tǒng)已經(jīng)很難滿足嵌入式系統(tǒng)的發(fā)展需求。
　　 本文研究的L4微內(nèi)核由于從根本上解決了IPC的通訊問題，使得整個微內(nèi)核性

2、能有了質(zhì)的提高，達到了實時要求，而且其本身的架構(gòu)特點很好的保證了系統(tǒng)的可靠性。德累斯頓大學的DROPS項目是典型的實時系統(tǒng)和虛擬化技術結(jié)合的產(chǎn)物，它以具有實時特性的L4/Fiasco微內(nèi)核為核心子項目，使用L4Env提供的服務來實現(xiàn)微內(nèi)核之上的實例運行，實現(xiàn)了操作系統(tǒng)的虛擬化，同時它還允許實時進程實例和非實時進程實例同時運行，典型的非實時實例是L4Linux，它是由標準Linux內(nèi)核經(jīng)過簡單修改而運行在L4/Fiasco之上的虛擬機。這

3、樣只要操作系統(tǒng)可以運行到微內(nèi)核上，應用就不必因硬件平臺改變而做出修改，這種虛擬化實現(xiàn)很好的滿足了嵌入式系統(tǒng)應用通用化的趨勢。因此研究DROPS項目中實例的通信能使該系統(tǒng)本身功能得到進一步完善，以更好的應用到嵌入式領域，同時也能使我們更好了解實時系統(tǒng)和虛擬化技術在在嵌入式系統(tǒng)應用。
　　 目前，DROPS還沒有可行的接口調(diào)用以實現(xiàn)實例之間的通信。為了實現(xiàn)DROPS中實例之間的通信，作者給出了一個基于FIFO的DROPS通信模型，模