基于CSP建模的虚拟化平台内存泄漏检测
姜军
肖如良
1.福建师范大学软件学院 福州 3501082.福建师范大学软件学院 福州 350108
摘要：针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法.讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的实现方法,并给出可视化展示.
关键词：内存泄漏检测虚拟化平台虚拟机虚拟机监控器Xen
分类号：TP391(计算技术、计算机技术)
资助基金：福建省科技计划重大项目(2011H6006)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 1760-1763 )
英文信息