基于Petri网的虚拟化I/O控制

On Virtulization of I / O Control based on Petri Net

在虚拟化技术中,黑客可利用虚拟化监视器(Virtual Machine Monitor)中存在的隐藏信息流窃取用户信息,并且恶意调用(Input/Output,I/O)资源攻击虚拟化监视器.本文以Petri网为系统逻辑设计工具,建立了一种基于Petri网的虚拟化I/O控制模型.该模型解决多个虚拟机争夺共享I/O资源以及虚拟机监视器在管理虚拟机I/O资源的权限时出现的同步问题.本文进一步通过分析Petri网的可达标识图和S_不变量对模型I/O资源间的同步和互斥进行了验证.

In the virtualization technology,hackers can steal the userinfo hidden in the monitor of a virtual machine,which also maliciously call the resources of I / O to attack Virtual Machine Monitors（ VMM）. Petri nets are suitable to design the system logic of a target system. Hence,this paper proposes a novel virtualization I / O control model by using Petri nets. The competition of limited I / O resources among multiple virtual machines is decided and the synchronization problem appearing in I / O resource permission management for a VMM is solved.This paper further verifies the synchronization and the mutual exclusion of I / O resources by using the reach ability graph,S_ invariant,and flow diagram of Petri nets.