本文選題：云計算　切入點：虛擬機　出處：《西北大學》2013年碩士論文

【摘要】：隨著信息技術(shù)的不斷發(fā)展,云計算作為一種新興計算模型出現(xiàn)在IT產(chǎn)業(yè)。虛擬機遷移技術(shù)的不斷成熟,促進了云計算的發(fā)展。然而,傳統(tǒng)的靜態(tài)資源分配方式存在著資源浪費和資源的非彈性供給等缺點,帶有人工參與的資源調(diào)整分配方式又有明顯的滯后性,以上方法均不能滿足云計算環(huán)境下對資源的要求,所以本論文致力于研究云計算環(huán)境下虛擬機資源的自動調(diào)配,實現(xiàn)資源的動態(tài)切割和分配,在無需人工干預的條件下有彈性地滿足用戶的需求。 本文結(jié)合實驗室承擔的“云計算及其支撐網(wǎng)絡”項目,針對云計算中虛擬機動態(tài)遷移問題展開研究,并使用進程代數(shù)Pi演算形式化方法對虛擬機遷移前后的服務進行建模及性能分析。 首先,在研究了云計算和虛擬機動態(tài)遷移相關(guān)技術(shù)的基礎(chǔ)上,設(shè)計并實現(xiàn)了一套基于云計算平臺的虛擬機動態(tài)遷移框架。該框架使得虛擬機能夠在無人工干預的情況下,靈活、自主、實時地進行遷移,從而解決了云計算中的故障隔離、能量優(yōu)化和負載均衡等問題。 其次,在完成虛擬機動態(tài)遷移實驗之后,使用進程代數(shù)Pi演算形式化方法對虛擬機遷移前后的服務進行了建模,并利用移動工作臺MWB工具對上述建模是否存在死鎖、正確性以及系統(tǒng)執(zhí)行步驟等進行了驗證。然后,對虛擬機遷移前后的服務建模從理論上進行了正確性分析。
[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.

【學位授予單位】：西北大學
【學位級別】：碩士
【學位授予年份】：2013
【分類號】：TP302

【參考文獻】

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

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

2 黃賢明;李長云;梁愛南;;工作流模式的π演算建模研究[J];計算機工程與應用;2007年17期

3 郭小群;郝克剛;;Web服務的Pi演算描述[J];計算機科學;2006年03期

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

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

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

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

8 郝克剛;郭小群;;Pi演算對圖靈機的表達[J];計算機工程與科學;2009年10期

9 廖軍,譚浩,劉錦德;基于Pi-演算的Web服務組合的描述和驗證[J];計算機學報;2005年04期

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

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

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

2 劉鵬程;云計算中虛擬機動態(tài)遷移的研究[D];復旦大學;2009年

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

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

，

本文編號：1662340