一种基于Petri网的虚拟机性能分析方法

• 作者: 焦健 王超 肖庆
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: Petri网 虚拟机 加载器
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 应用与开发
• 页码范围: 193-195,198
• 分类号: TP319
• 字数: 3286字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2011.10.056

摘要

虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率.本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估.使用CPNTools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	焦健	北京信息科技大学计算机学院	21	52	4.0	6.0
2	肖庆	广西师范大学历史文化与旅游学院	8	16	3.0	4.0
3	王超		2	0	0.0	0.0