基於KVM虛擬機器指令層級之狀態同步機制

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士

、以作者查詢全國書目

、勘誤回報

、線上人數：33

、訪客IP：3.15.211.19

姓名

吳藺剛(Wu,Ling-Kang) 查詢紙本館藏

畢業系所

軟體工程研究所

論文名稱

基於KVM虛擬機器指令層級之狀態同步機制
(Instruction-Level State Synchronization Mechanism on KVM Virtual Machine)

相關論文

★ 以伸展樹為基礎的Android Binder Driver	★ 應用增量式學習於多種農作物判釋之研究
★ 應用分類重建學習偵測航照圖幅中的新穎坵塊	★ 一個建立在平行工作系統上的動態全球計算平台
★ 用權重參照計數演算法執行主動物件垃圾收集	★ 一個動態負載平衡之最大可能性估算計算架構
★ 利用多項系統負載資訊進行動態P2P系統重組的策略研究	★ 基於Hadoop系統的雲端應用程式特徵擷取與計算監測架構
★ 適用於大型動態分散式系統的調適性計算模型	★ 一個提供彈性虛擬資料中心的雲端服務平台
★ 雲端彈性虛擬機房服務平台之資源控管中心	★ 一個適用於自動供應雲端系統的動態調適計算架構
★ 線性相關工作與非相關工作的探索式排程策略	★ 適用於大資料集高效率的分散式階層分群演算法
★ 混合雲端環境上的多重代理人動態調適計算管理架構	★ 基於圖形的平行化最小生成樹分群演算法

檔案

[Endnote RIS 格式]

[Bibtex 格式]

[相關文章]

[文章引用]

[完整記錄]

[館藏目錄]

[檢視]

[下載]

本電子論文使用權限為同意立即開放。
已達開放權限電子全文僅授權使用者為學術研究之目的，進行個人非營利性質之檢索、閱讀、列印。
請遵守中華民國著作權法之相關規定，切勿任意重製、散佈、改作、轉貼、播送，以免觸法。

摘要(中)

許多雲端運算平台廣泛使用虛擬機器，但是虛擬機器卻會因各種原因的錯誤而造成服務中斷。雲端服務會因系統各種錯誤中斷服務，進而造成不同程度的損失，因此需要提高可用性，讓服務不會因為系統發生問題而無法使用。容錯系統為高可用性的應用，通常有兩種方法實作，一是透過完整複製Primary VM的狀態到Backup VM來達成同步，稱之為記憶體層級容錯，另一是讓相同初始狀態下Backup VM重現Primary VM所執行的指令來達成同步，稱之為指令層級容錯。然而目前KVM上的開源容錯系統專案均為記憶體層級容錯。本論文因而鎖定在研究指令層級容錯的技術，並在KVM上實作出一個系統雛形。我們透過指令群循序執行機制，讓主虛擬機與備援虛擬機依序執行同樣數目的指令，而主虛擬機在計算過程中產生的Non-deterministic Events也被準確紀錄並在正確的時機於備援虛擬機重現，以達到同步的效果。

摘要(英)

Virtual machines (VMs) have been widely used in many cloud computing platforms, and they may fail for many reasons. Once a VM becomes failed, the cloud services running on it fail consequently and the service providers may suffer deferent levels of property and business losses. To prevent such a failure, one can use the fault tolerance technology to protect a VM. That is, a backup VM is used and its execution state is synchronized with the VM to be protected. When the VM to be protected fails, the backup VM replaces it immediately. There are two approaches to implement a fault tolerance mechanism on VM. The concept of the first one, namely the memory-level fault tolerance, is to synchronize the memory content of the pair of VMs. The concept of the second one, namely the instruction-level synchronization, is to execute the same instructions and events with the same order on the pair of VMs. The first type has been seen in open-source projects, while the second type can only be found in VMWare. In this paper, we aim to develop a prototype of the instruction-level fault tolerance mechanism on KVM. The proposed mechanism creates a backup VM by cloning the state of the VM to be protected in the beginning. Consequently, it records non-deterministic events on the VM to be protected, turns them into deterministic events on the backup VM, and replays them in the right moment. An overhead analysis is provided in the paper, to see how the replay parameters affect the performance of the proposed fault tolerance mechanism.

關鍵字(中)

★ KVM
★ 虛擬機
★ 高可用性
★ 容錯系統

關鍵字(英)

★ KVM
★ virtual machine
★ fault tolerance
★ high availability

論文目次

摘要.................................................i
Abstract............................................ii
目錄................................................iii
圖目錄................................................v
表目錄...............................................vi
第一章緒論.............................................1
1-1 研究背景...........................................1
1-2 研究動機...........................................4
1-3論文主要貢獻........................................5
1-4論文架構............................................5
第二章相關研究..........................................6
2-1 背景知識............................................6
2-1-1 Kermel-based Virtual Machine(KVM)和qemu..........6
2-1-2 Fault-tolerance..................................9
2-1-3 Kemari & Micro-check Point......................10
2-1-4 vSphere.........................................12
2-2相關研究............................................13
2-2-1 vLockstep.......................................13
第三章系統設計.........................................15
3-1 系統架構...........................................15
3-2系統運作細節........................................17
3-2-1 Primary VM......................................18
3-2-2 Backup VM.......................................19
3-3 Record & Replay...................................21
3-3-1 Record..........................................21
3-3-2 Timestamp.......................................22
3-3-3 Replay..........................................22
第四章實驗環境與測量...................................23
4-1實驗環境與架構......................................23
4-2實驗結果與分析......................................24
第五章結論與未來研究方向................................26
參考文獻...............................................27

參考文獻

[1] Michael Armbrust, Arnabdo Fox, Rean Griffith, Anthony D. Josepf, Randy H. Katz, Andrew Konwinski, Gunho Lee, David A. Patterson, Ariel Rabkin, Ion Stoica, Matei Zaharia, Above the Clouds: A Berkeley View of Cloud Computing, UC Berkeley Reliable Adaptive Distributed Systems Laboratory, 2009 February
[2] 英特爾開源軟體技術中心, 復旦大學並行處理研究所, 系統虛擬化-原理與實現, 一版, 清華大學出版社, 北京, 2009 March
[3] Popek Gerald J., Goldberg Robert P, Formal Requirements for Virtualizable Third Generation Architecures, Volume 17, p412-421, Association for Computing Machinery, Inc, 1974 July
[4] Michael Warrilow, Market Trends: x86 Server Virtualiztion, Worldwide, 2013 Gartner, 2014 January
[5] Kevin Dooley, Designing Large Scale LANs, O′Reilly Media, Inc, 2001, November
[6] Business Continuity and Disaster Recovery Workbook: How to Assess the Financial Impact of Downtime, Vision Solutions, Inc, 2008
[7] Jim Gray, Daniel P. Siewiorek, “High- Availability Computer Systems”, IEEE, Vol 24, pp. 39-48, September 1991
[8] Maohua Lu, Tzi-cker Chiueh, “Fast Memory State Synchronizatiion for Virtualization-based Fault Tolerance”, IEEE/IFIP, pp.534-543, July 2009
[9] KVM – KERNEL BASED VIRTUAL MACHINE, Red Hat, Inc, 2009
[10] 廣小明，虛擬化技術原理與實現，電子工業出版社，大陸，民國一零一年十月
[11] WANG Xiao-rui, GUO Yu-dong, SHI Gung, LI Yong, “Study of processor modetransform mechanism based on VT-x”, Computer Engineering and Design, Vol 31(9), pp. 2065-2069, 2010
[12] Intel® 64 and IA-32 Architectures Software Developer’s Manual Volume 3B: System Programming Guide, Part 2, Intel Inc, 2011 May
[13] Danniel J. Scales, Mike Nelson, Ganesh Venkitachalam, The Design and Evaluation of a Pratical System for Fault-Toleant Virtual Machines, Technical Report VMware-TR-2010-001, VMware, Inc, 2010 May 11
[14] Casey M. Jeffery and Renato J.O. Figueiredo, “A Flexible Approach to Improving
System Reliability with Virtual Lockstep”, IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOL. 9, NO. 1, 2012 JANUARY/FEBRUARY
[15] Y. Tamura, K. Sato, S. Kihara, and S. Moriai, “Kemari: Virtual machine synchronization for fault tolerance,” in Proc. USENIX Annu. Tech. Conf.(Poster Session), 2008.
[16] Ron J Patton, “Fault-Tolerant Control Systems: The 1997 Situation”, Hull HU6 7RX, UK, pp. 1034-1054
[17] Michael R. Hines , Micro-Checkpointing, IBM
[18] VMWare vSphere basic, VMWare Inco, 2009
[19] C. Clark, K. Fraser, S. Hand, J. G. Hansen, E. Jul, C. Limpach, I. Pratt, and A. Warfield, “Live migration of virtual machines,” in Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation-Volume 2, pp. 273–286, 2005.
[20] M. X. V. M. J. Sheldon and G. V. B. Weissman, “Retrace: Collecting execution trace with virtual machine deterministic replay,” in Proceedings of the Third Annual Workshop on Modeling, Benchmarking and Simulation (MoBS 2007), 2007.
[21] VMWare vSphere 4 Fault Tolerance: Architecture and Performance, Chapter 1-Chapter 2, VMware Inco, 2009
[22]J.Abergstra, C.A.Middelburg, Instruction Sequences For Computer Science, Atlantis Publishing Corporation, 2012
[23] Julian B. Grizzard and Ryan W. Gardner, “Analysis of Virtual Machine Record and Replay for Trustworthy Computing”, JOHNS HOPKINS APL TECHNICAL DIGEST, VOLUME 32, NUMBER 2 , pp. 528-535, 2013
[24] Kurt E. Kiefer, and Louise E. Moser, “Replay debugging of non-deterministic executions in the Kernel-based Virtual Machine”, Softw. Pract. Exper. 43:1261–1281, 2011 May

指導教授

王尉任(Wei-Jen Wang)

審核日期

2015-8-25

推文