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

• 作 者: 王开建 周鑫 宋文 唐明伟
• 机 构: 西华大学计算机与软件工程学院
• 出 处: 绵阳师范学院学报
• 发表日期: 2016年2期
• 关键词: PETRI网 虚拟化技术 虚拟化I/O S_不变 Petri Nets Virtualization Technology Virtualization I /

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