基于服務(wù)體模型的操作系統(tǒng)設(shè)計與實現(xiàn).pdf

1、該論文在對現(xiàn)有相關(guān)技術(shù)和系統(tǒng)進行分析的基礎(chǔ)上,提出了一種新型的操作系統(tǒng)構(gòu)造方法-服務(wù)體模型,引入了服務(wù)體/執(zhí)行流兩種新的概念分別作為運行模型和存儲模型的基本抽象,并依此進行了操作系統(tǒng)的設(shè)計與實現(xiàn).圍繞著上述論題,該論文的工作主要從四個方面展開:現(xiàn)有技術(shù)和系統(tǒng)的分析,服務(wù)體模型技術(shù)基礎(chǔ),基于服務(wù)體模型的操作系統(tǒng)設(shè)計技術(shù)以及原型系統(tǒng)的實現(xiàn)與測試.該文首先對單一大內(nèi)核操作系統(tǒng)、微內(nèi)核操作系統(tǒng)、單地址空間操作系統(tǒng)、分布共享存儲和分布式文件系統(tǒng)、

2、永久性操作系統(tǒng)等進行了具體分析,揭示了已有操作系統(tǒng)在運行模型和存儲模型上的缺陷,為后繼的研究和論述奠定了理論和技術(shù)基礎(chǔ).服務(wù)體模型的基本抽象是執(zhí)行流和服務(wù)體,以此為基礎(chǔ)上我們提出了服務(wù)體間通訊機制和基于服務(wù)體模型的操作系統(tǒng)體系結(jié)構(gòu).在基于服務(wù)體模型的操作系統(tǒng)中驅(qū)動程序等所有操作系統(tǒng)組成部分以及DBMS等傳統(tǒng)的以用戶進程形式實現(xiàn)的服務(wù)器,都被組織為相應(yīng)的服務(wù)體,使用執(zhí)行流完成數(shù)據(jù)處理.服務(wù)體模型將單內(nèi)核模型和微內(nèi)核模型統(tǒng)一起來,可使系統(tǒng)在

3、運行效率方面接近單內(nèi)核模型,在擴展性、靈活性等方面等同于微內(nèi)核模型.在對基于服務(wù)體模型的操作系統(tǒng)設(shè)計技術(shù)的研究中,對服務(wù)體空間管理、對象管理、I/O管理等部分的設(shè)計進行了系統(tǒng)的論述,并將面向?qū)ο蠹夹g(shù)應(yīng)用到 操作系統(tǒng)的設(shè)計中,使系統(tǒng)設(shè)計和系統(tǒng)實現(xiàn)相分離.操作系統(tǒng)的活動歸結(jié)為以服務(wù)體間通訊機制為基礎(chǔ)的一系列對象的交互過程,從而使得操作系統(tǒng)易于維護、管理和歸檔.MiniCoreXP是我們設(shè)計實現(xiàn)的基于服務(wù)體模型的原型系統(tǒng),功能已相對完善,支持