论文部分内容阅读
针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法.讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的实现方法,并给出可视化展示.
基于CSP建模的虚拟化平台内存泄漏检测
【摘 要】
：
针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法.讨论了模型内系统成员之间的交互,
【机 构】
：
福建师范大学软件学院
【出 处】
：
计算机与数字工程
【发表日期】
：
2013年11期
【基金项目】
：
福建省科技计划重大项目（编号：2011H6006）资助.
其他文献
新课标确立了新世纪新的教育观，不再以传授音乐知识、音乐技能为主要目的，而代之以情感教育、审美教育为核心，在音乐创作、表演、欣赏教学活动中培养学生的创新意识和实践能力。
在阅读有关血迹陈旧度检验方法资料的基础上,笔者对凶杀案中血迹存留时间的检验方法进行了综述,血迹陈旧度检验主要有物理与化学两类方法,即无损与有损检验,到目前为止还不存
区域经济开放度主要是指一个地区对外经济活动的程度,但随着时代的发展,对区域经济开放度的研究也需从对外开放逐渐演变为对外开放与对内开放相结合。在改革开放大潮下,如何正确认识区域经济开放、如何摸清区域经济开放程度,对有效制定区域开放发展政策至关重要。本文先介绍目前所研究的区域经济开放评价指标体系以及市场化指标体系,结合对内开放与对外开放的关系,对国内外已有的研究成果进行相关的文献综述。其次针对传统指标
军用PDA是信息化战争必不可缺的单兵装备,研发军用PDA的关键技术之一就是嵌入式实时操作系统vxWorks映像在军用PDA中的注入技术。分析了系统引导的作用与实现过程,提出了vxWo
本文研究的是部编版与人教版初中语文教材中相同篇目文言文的注释异同问题,部编版语文教材是指由教育部组织编写,人民教育出版社出版并于二零一七年开始在全国推行使用的教材
今年以来，面对复杂多变的国内外形势，中国经济总体保持稳中向好态势，但也面临不少困难和挑战。$$保持中国经济列车行稳致远，一个重要前提是营造稳定可预期的宏观环境。当前，积极的
报纸
文章针对BP算法收敛速度慢的问题，提出一种基于局部权值阈值调整的BP算法。该算法结合生物神经元学习与记忆形成的特点，针对特定的训练样本，只激发网络中的部分神经元以产生相应
越来越多的云服务为消费者提供了广泛的选择,使云服务选择成为一个具有挑战性的决策问题,这需要使用恰当的决策方法,协助决策者选择最好的服务以满足用户的需求。论文提出一
龙生型花生（Arachis hypogaea var.hirsute）是中国引进最早、种植最早的花生类型。经过不断地自然选择和人工选择,形成了许多各具特色的地方品种,并逐渐形成了次生中心。本实验
镉胁迫会造成烟草悬浮细胞大规模死亡。通过TUNEL技术和琼脂糖凝胶电泳技术的检测发现，这种细胞死亡伴随有典型的DNA“梯形带”出现，表明这种由Cd胁迫引起的细胞死亡是一种程序