首页> 中文期刊>计算机与数字工程 >基于CSP建模的虚拟化平台内存泄漏检测

基于CSP建模的虚拟化平台内存泄漏检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法.讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的实现方法,并给出可视化展示.

著录项

来源
《计算机与数字工程》|2013年第11期|1760-1763|共4页
作者
姜军; 肖如良;
展开▼
作者单位

福建师范大学软件学院福州 350108;

福建师范大学软件学院福州 350108;

展开▼
原文格式 PDF
正文语种 chi
中图分类信息处理（信息加工）;
关键词
内存泄漏检测; 虚拟化平台; 虚拟机; 虚拟机监控器; Xen;

相似文献

中文文献
外文文献
专利

1. 基于CSP的多线程自动建模及死锁检测研究 [J] . 高飞 ,武淑红 ,王耀力 . 现代电子技术 . 2019,第012期
2. 基于图像和机器学习的虚拟化平台异常检测 [J] . 王湘懿 ,张健 . 信息网络安全 . 2020,第009期
3. 基于静态分析方法的Android应用内存泄漏检测模型 [J] . 沙有闯 ,胡学钢 ,付贤政 . 吉林师范大学学报（自然科学版） . 2021,第002期
4. 基于Qt的软件内存泄漏静态检测技术研究 [J] . 匡海燕 ,张玉中 ,刘仁千 . 计算机测量与控制 . 2019,第007期
5. 基于复杂控制流的源代码内存泄漏静态检测 [J] . 姬秀娟 ,孙晓卉 ,许静 . 计算机科学 . 2019,第0z2期
6. 虚拟化技术中动态迁移的内存泄漏安全问题研究 [C] . 范伟 ,黄伟庆 ,姜放 . 第二十四届全国信息保密学术会议（IS2014） . 2014
7. 基于扩展CSP多线程形式化建模与死锁检测研究 [A] . 高飞 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号