|
|||||
|
|
| 基于Petri网的虚拟化I/O控制 | |
| 作者单位： | ;1.西华大学计算机与软件工程学院 |
| 摘 要： | 在虚拟化技术中,黑客可利用虚拟化监视器(Virtual Machine Monitor)中存在的隐藏信息流窃取用户信息,并且恶意调用(Input/Output,I/O)资源攻击虚拟化监视器.本文以Petri网为系统逻辑设计工具,建立了一种基于Petri网的虚拟化I/O控制模型.该模型解决多个虚拟机争夺共享I/O资源以及虚拟机监视器在管理虚拟机I/O资源的权限时出现的同步问题.本文进一步通过分析Petri网的可达标识图和S_不变量对模型I/O资源间的同步和互斥进行了验证. |
| 关 键 词： | Petri网 虚拟化技术 虚拟化I/O S_不变 |
On Virtulization of I / O Control based on Petri Net |
|
| Abstract: | |
| Keywords: | |