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

Virtualization Platform Memory Leak Detecting System Based on CSP Modeled

作　　者：姜军[1] 肖如良[1] 

机构地区：[1]福建师范大学软件学院,福州350108

出　　处：《计算机与数字工程》2013年第11期1760-1763,共4页Computer & Digital Engineering

基　　金：福建省科技计划重大项目(编号:2011H6006)资助

摘　　要：针对7×24小时运行的服务器应用程序的内存泄露问题,基于CSP理论构建了一种基于Xen虚拟化平台的内存泄漏检测模型,并给出了其实现方法。讨论了模型内系统成员之间的交互,并基于CSP进行了正确性证明;也给出了抓取反映程序行为数据的实现方法,并给出可视化展示。Aiming at the problem of memory leaking in server application which required running 7 ×24 hours, a system for memory leak detecting based on Xen is introduced. The method how to collect the essential information to discover the behavior causing memory lea king is discussed in this paper. Using virtualization platform, a CSP model is built to trace all these allocation and deallocation behaviors of a process running on it. And by formal method, it is proved that processes operate correctly at no writing conflict when transferring data. Fi- nally, a demo system is given which implements the mechanism of memory leaking detection on virtualization platform. The experiment shows that the system framework is simple and flexible.

关 键 词：内存泄漏检测 虚拟化平台 虚拟机 虚拟机监控器 XEN 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]