基于進(jìn)程遷移的語言虛擬機(jī)研究.pdf

1、隨著計(jì)算機(jī)硬件性能的日益增強(qiáng)和萬維網(wǎng)的迅速發(fā)展，計(jì)算能力的遷移將會(huì)發(fā)揮更加重要的作用并最終被廣泛采用。利用虛擬技術(shù)進(jìn)行進(jìn)程遷移一直是計(jì)算能力遷移的研究熱點(diǎn)，但是，這些技術(shù)往往存在以下不足：依賴于特定的操作系統(tǒng)；需要修改內(nèi)核；遷移的粒度太大。而語言虛擬機(jī)可以在編譯時(shí)期將進(jìn)程的物理狀態(tài)轉(zhuǎn)化為邏輯狀態(tài)，便于控制進(jìn)程遷移的粒度并實(shí)現(xiàn)跨平臺(tái)遷移，因此，研究基于進(jìn)程遷移的語言虛擬機(jī)具有重要意義。 本研究基于進(jìn)程遷移的語言虛擬機(jī)LAOVM實(shí)現(xiàn)

2、了應(yīng)用程序在不同平臺(tái)上的透明移植性。LAOVM的主要功能模塊包括前端匯編器，后端執(zhí)行器和進(jìn)程遷移機(jī)制。LAOVM通過自定義的虛擬指令集，一方面可以盡量貼近不同體系機(jī)構(gòu)的指令集，提供映射到本地代碼的基礎(chǔ)；另一方面為前端支持不同程序語言提供了中間表達(dá)形式。LAOVM的前端匯編器將虛擬指令匯編成可執(zhí)行目標(biāo)代碼，進(jìn)程的物理狀態(tài)轉(zhuǎn)化為獨(dú)立于操作系統(tǒng)的邏輯狀態(tài)，便于實(shí)現(xiàn)進(jìn)程遷移的平臺(tái)無關(guān)性。LAOVM的后端執(zhí)行器模擬系統(tǒng)調(diào)用，為目標(biāo)代碼提供執(zhí)行環(huán)境

3、，通過跟蹤調(diào)試監(jiān)控和分析目標(biāo)代碼的執(zhí)行狀況。由于LAOVM中遷移進(jìn)程的粒度比系統(tǒng)級(jí)的遷移粒度小，其進(jìn)程遷移機(jī)制采用stop-and-copy策略，在生成進(jìn)程檢查點(diǎn)之后，可以保存程序執(zhí)行狀態(tài)或者遷移到其他主機(jī)上，然后在本地或者其他主機(jī)上恢復(fù)程序執(zhí)行狀態(tài)?？傊?，LAOVM的目標(biāo)是通過前端編譯支持、后端虛擬機(jī)支持以及進(jìn)程遷移策略，實(shí)現(xiàn)跨平臺(tái)的、支持不同程序語言的細(xì)粒度進(jìn)程遷移?；赪indows操作系統(tǒng)和Visual Studio平臺(tái)，采用C