A Novel Framework for Hypervisor Design

详细信息    查看全文

• 作者：M. Ambika ; Research Scholar^a ; ^{ambica.mangalagiri@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Kolasani Ramchand H. Rao ; Dr.^b
• 关键词：hypervisor ; VMM ; OS and Guest
• 刊名：Procedia Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：79
• 期：Complete
• 页码：190-198
• 全文大小：604 K

文摘

The paper discusses the constructive framework for writing hypervisor on the top of the VM. Hypervisor plays a vital role in monitoring VM in cloud. Hypervisors are system programs that virtualizes the running of the architecture. These are critical, safe, small and hard program to write and debug or evaluate. Hypervisors are system software programs that virtualize the architecture they run on. They are typically small, safety-critical, and hard to debug, which makes them a feasible and interesting target for formal verification. Previous functional verifications of system software were all based on interactive theorem proving, requiring substantial human effort complemented by expert proven knowledge. In this paper we present the frame work of a hypervisor and basic implementation module of hypervisor and simulator module of hypervisor.

The virtual environment is controlled and managed by software known as the hypervisor. The hypervisor executes at a higher privilege level than the “guest” operating systems; the hypervisor can access any memory assigned to any guest operating system. Furthermore, a guest operating system cannot access resources in the system unless permitted to do so by the hypervisor.