本文選題：云計(jì)算　切入點(diǎn)：虛擬機(jī)　出處：《西北大學(xué)》2013年碩士論文

【摘要】：隨著信息技術(shù)的不斷發(fā)展,云計(jì)算作為一種新興計(jì)算模型出現(xiàn)在IT產(chǎn)業(yè)。虛擬機(jī)遷移技術(shù)的不斷成熟,促進(jìn)了云計(jì)算的發(fā)展。然而,傳統(tǒng)的靜態(tài)資源分配方式存在著資源浪費(fèi)和資源的非彈性供給等缺點(diǎn),帶有人工參與的資源調(diào)整分配方式又有明顯的滯后性,以上方法均不能滿足云計(jì)算環(huán)境下對(duì)資源的要求,所以本論文致力于研究云計(jì)算環(huán)境下虛擬機(jī)資源的自動(dòng)調(diào)配,實(shí)現(xiàn)資源的動(dòng)態(tài)切割和分配,在無(wú)需人工干預(yù)的條件下有彈性地滿足用戶的需求。 本文結(jié)合實(shí)驗(yàn)室承擔(dān)的“云計(jì)算及其支撐網(wǎng)絡(luò)”項(xiàng)目,針對(duì)云計(jì)算中虛擬機(jī)動(dòng)態(tài)遷移問(wèn)題展開(kāi)研究,并使用進(jìn)程代數(shù)Pi演算形式化方法對(duì)虛擬機(jī)遷移前后的服務(wù)進(jìn)行建模及性能分析。 首先,在研究了云計(jì)算和虛擬機(jī)動(dòng)態(tài)遷移相關(guān)技術(shù)的基礎(chǔ)上,設(shè)計(jì)并實(shí)現(xiàn)了一套基于云計(jì)算平臺(tái)的虛擬機(jī)動(dòng)態(tài)遷移框架。該框架使得虛擬機(jī)能夠在無(wú)人工干預(yù)的情況下,靈活、自主、實(shí)時(shí)地進(jìn)行遷移,從而解決了云計(jì)算中的故障隔離、能量?jī)?yōu)化和負(fù)載均衡等問(wèn)題。 其次,在完成虛擬機(jī)動(dòng)態(tài)遷移實(shí)驗(yàn)之后,使用進(jìn)程代數(shù)Pi演算形式化方法對(duì)虛擬機(jī)遷移前后的服務(wù)進(jìn)行了建模,并利用移動(dòng)工作臺(tái)MWB工具對(duì)上述建模是否存在死鎖、正確性以及系統(tǒng)執(zhí)行步驟等進(jìn)行了驗(yàn)證。然后,對(duì)虛擬機(jī)遷移前后的服務(wù)建模從理論上進(jìn)行了正確性分析。
[Abstract]:With the continuous development of information technology, cloud computing as a new computing model in IT industry. Migration of virtual machine technology continues to mature, to promote the development of cloud computing. However, the static resource allocation in traditional resources wastage and inelastic supply shortcomings, with resource distribution in artificial adjustment there is an obvious lag, the above methods can not meet the requirements for resources in cloud computing environment, so this thesis aims to study the automatic deployment of cloud computing resources of virtual machine environment, realize resource allocation and dynamic cutting, have the flexibility to meet the needs of users in without manual intervention.
Based on the cloud computing and supporting network project undertaken by our lab, this paper studies the dynamic migration of virtual machine in cloud computing, and uses process algebra Pi calculus formalization method to model and analyze the service of virtual machine before and after migration.
First of all, based on the cloud computing and virtual machine migration related technology, designs and implements a cloud computing platform based on virtual machine dynamic migration framework. This framework enables virtual machines to without manual intervention, flexible, independent, real-time transfer, so as to solve the fault isolation cloud in the calculation, energy optimization and load balancing problems.
Secondly, after the completion of the virtual machine migration experiment, service using process algebra Pi calculus of virtual machine migration was modeled, and the use of mobile platform MWB tools for the modeling deadlocks, correctness and system implementation steps were verified. Then, the modeling of virtual machine before and after service the migration of the validity of theoretical analysis.

【學(xué)位授予單位】：西北大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類(lèi)號(hào)】：TP302

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 張彬彬;羅英偉;汪小林;王振林;孫逸峰;陳昊罡;許卓群;李曉明;;虛擬機(jī)全系統(tǒng)在線遷移[J];電子學(xué)報(bào);2009年04期

2 黃賢明;李長(zhǎng)云;梁愛(ài)南;;工作流模式的π演算建模研究[J];計(jì)算機(jī)工程與應(yīng)用;2007年17期

3 郭小群;郝克剛;;Web服務(wù)的Pi演算描述[J];計(jì)算機(jī)科學(xué);2006年03期

4 郭小群;郝克剛;侯紅;丁劍潔;;用Pi演算為業(yè)務(wù)過(guò)程建模的生命周期[J];計(jì)算機(jī)科學(xué);2009年11期

5 劉媛媛;高慶一;陳陽(yáng);;虛擬計(jì)算環(huán)境下虛擬機(jī)資源負(fù)載均衡方法[J];計(jì)算機(jī)工程;2010年16期

6 孫國(guó)飛;谷建華;胡金華;趙天海;;基于預(yù)拷貝的虛擬機(jī)動(dòng)態(tài)內(nèi)存遷移機(jī)制改進(jìn)[J];計(jì)算機(jī)工程;2011年13期

7 徐志紅;劉進(jìn)軍;趙生慧;;基于同步機(jī)制的虛擬機(jī)磁盤(pán)在線遷移策略[J];計(jì)算機(jī)工程;2012年09期

8 郝克剛;郭小群;;Pi演算對(duì)圖靈機(jī)的表達(dá)[J];計(jì)算機(jī)工程與科學(xué);2009年10期

9 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務(wù)組合的描述和驗(yàn)證[J];計(jì)算機(jī)學(xué)報(bào);2005年04期

10 江雪;李小勇;;虛擬機(jī)動(dòng)態(tài)遷移的研究[J];計(jì)算機(jī)應(yīng)用;2008年09期

相關(guān)碩士學(xué)位論文 前4條

1 高清華;基于Intel VT技術(shù)的虛擬化系統(tǒng)性能測(cè)試研究[D];浙江大學(xué);2008年

2 劉鵬程;云計(jì)算中虛擬機(jī)動(dòng)態(tài)遷移的研究[D];復(fù)旦大學(xué);2009年

3 李莼蒲;基于Intel VT技術(shù)的PC虛擬化平臺(tái)研究與測(cè)試[D];北京郵電大學(xué);2009年

4 李慧;基于進(jìn)程代數(shù)的面向服務(wù)軟件體系結(jié)構(gòu)建模[D];東北大學(xué);2008年

，

本文編號(hào)：1662340