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

作     者：焦健 肖庆 王超 JIAO Jian;XIAO Qing;WANG Chao

作者机构：北京信息科技大学计算机学院北京100101 广西师范大学历史文化与旅游学院广西桂林541004 江西省电子信息产品监督检验院江西南昌330077 

出 版 物：《计算机与现代化》 (Computer and Modernization)

年 卷 期：2011年第10期

页      码：193-195,198页

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

主 题 词：Petri网 虚拟机 加载器 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1006-2475.2011.10.056

馆 藏 号：203180174...