基于Pi-演算的虛擬環(huán)境下進(jìn)程通信建模與應(yīng)用.pdf

1、近年來，由于計算機技術(shù)的推動，以虛擬機技術(shù)為支撐的服務(wù)和應(yīng)用得到了迅猛發(fā)展。
　　目前，虛擬機技術(shù)已經(jīng)被推廣到了計算機的諸多領(lǐng)域。虛擬機技術(shù)能夠幫助整合服務(wù)器資源，提高設(shè)備的利用率；提供隔離的運行環(huán)境，幫助開發(fā)者分析軟件的兼容性問題，也能規(guī)避惡意軟件帶來的風(fēng)險；運用虛擬技術(shù)能實現(xiàn)操作系統(tǒng)和應(yīng)用軟件的實時遷移，從而解決服務(wù)器負(fù)載均衡問題，也能夠完成服務(wù)器的在線維護(hù)和升級，輔助構(gòu)建高可靠性的系統(tǒng)；將虛擬技術(shù)與云計算結(jié)合，產(chǎn)生云虛擬主機

2、，大大促進(jìn)了云服務(wù)的應(yīng)用。
　　本文介紹了Xen的虛擬化原理和關(guān)鍵技術(shù)，重點分析了Xen虛擬機中進(jìn)程通信的過程。采用進(jìn)程代數(shù)Pi-演算為通信過程建模，并分別對Xen虛擬機域管理過程、同一個物理機器上域間進(jìn)程通信過程和不同物理機器上虛擬機通信過程建立了Pi-演算模型，并分析了建模過程中的數(shù)據(jù)傳遞和控制傳遞的過程。
　　最后利用MWB工具對上述建模的執(zhí)行步驟和是否存在死鎖進(jìn)行了驗證。驗證結(jié)果表明進(jìn)程通信模型是正確的，為虛擬機進(jìn)程