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

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

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