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

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

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

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