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

1、近年來，由于計(jì)算機(jī)技術(shù)的推動，以虛擬機(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í)時遷移，從而解決服務(wù)器負(fù)載均衡問題，也能夠完成服務(wù)器的在線維護(hù)和升級，輔助構(gòu)建高可靠性的系統(tǒng)；將虛擬技術(shù)與云計(jì)算結(jié)合，產(chǎn)生云虛擬主機(jī)

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