本文關(guān)鍵詞：基于Pi-演算的虛擬環(huán)境下進(jìn)程通信建模與應(yīng)用

  更多相關(guān)文章： 進(jìn)程通信 虛擬機(jī) Pi-演算 模型驗(yàn)證

【摘要】：近年來,由于計(jì)算機(jī)技術(shù)的推動(dòng),以虛擬機(jī)技術(shù)為支撐的服務(wù)和應(yīng)用得到了迅猛發(fā)展。目前,虛擬機(jī)技術(shù)已經(jīng)被推廣到了計(jì)算機(jī)的諸多領(lǐng)域。虛擬機(jī)技術(shù)能夠幫助整合服務(wù)器資源,提高設(shè)備的利用率;提供隔離的運(yùn)行環(huán)境,幫助開發(fā)者分析軟件的兼容性問題,也能規(guī)避惡意軟件帶來的風(fēng)險(xiǎn);運(yùn)用虛擬技術(shù)能實(shí)現(xiàn)操作系統(tǒng)和應(yīng)用軟件的實(shí)時(shí)遷移,從而解決服務(wù)器負(fù)載均衡問題,也能夠完成服務(wù)器的在線維護(hù)和升級(jí),輔助構(gòu)建高可靠性的系統(tǒng);將虛擬技術(shù)與云計(jì)算結(jié)合,產(chǎn)生云虛擬主機(jī),大大促進(jìn)了云服務(wù)的應(yīng)用。本文介紹了Xen的虛擬化原理和關(guān)鍵技術(shù),重點(diǎn)分析了Xen虛擬機(jī)中進(jìn)程通信的過程。采用進(jìn)程代數(shù)Pi-演算為通信過程建模,并分別對Xen虛擬機(jī)域管理過程、同一個(gè)物理機(jī)器上域間進(jìn)程通信過程和不同物理機(jī)器上虛擬機(jī)通信過程建立了Pi-演算模型,并分析了建模過程中的數(shù)據(jù)傳遞和控制傳遞的過程。最后利用MWB工具對上述建模的執(zhí)行步驟和是否存在死鎖進(jìn)行了驗(yàn)證。驗(yàn)證結(jié)果表明進(jìn)程通信模型是正確的,為虛擬機(jī)進(jìn)程通信方案的分析和改進(jìn)打下了良好基礎(chǔ)。
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2014
【分類號(hào)】：TP302

【共引文獻(xiàn)】

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 曹文治;虛擬機(jī)網(wǎng)絡(luò)性能優(yōu)化研究[D];華中科技大學(xué);2013年

2 劉勇鵬;大規(guī)模高效能計(jì)算的系統(tǒng)軟件關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2012年

3 羅雅琴;視頻監(jiān)控分析云的高可用性研究[D];華中科技大學(xué);2013年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前5條

1 王加亮;基于云計(jì)算的海洋環(huán)境信息可視化平臺(tái)技術(shù)研究[D];中國海洋大學(xué);2013年

2 楊鵬斐;跨數(shù)據(jù)中心虛擬機(jī)在線遷移研究[D];西北師范大學(xué);2013年

3 張懷方;基于虛擬化技術(shù)的信息流安全控制方法[D];北京交通大學(xué);2014年

4 馬洪源;基于云計(jì)算的農(nóng)村智能終端構(gòu)建模式的研究與應(yīng)用[D];吉林農(nóng)業(yè)大學(xué);2014年

5 官水旺;VTOS系統(tǒng)任務(wù)設(shè)計(jì)與形式化驗(yàn)證[D];南京大學(xué);2014年

，

本文編號(hào)：1162292