期刊文章详细信息
一种基于Petri网的虚拟机性能分析方法
A Method of Performance Analysis for Loader in Virtual Machine Based on Petri-net
文献类型：期刊文章
机构地区：[1]北京信息科技大学计算机学院,北京100101 [2]广西师范大学历史文化与旅游学院,广西桂林541004 [3]江西省电子信息产品监督检验院,江西南昌330077
年 份：2011
期 号：10
起止页码：193-195
语 种：中文
收录情况：IC、ZGKJHX、普通刊
摘 要：虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估。使用CPN-Tools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较。
关 键 词：PETRI网 虚拟机 加载器
分 类 号：TP319]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
