摘要
针对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.
出处
《计算机与数字工程》
2013年第11期1760-1763,共4页
Computer & Digital Engineering
基金
福建省科技计划重大项目(编号:2011H6006)资助
关键词
内存泄漏检测
虚拟化平台
虚拟机
虚拟机监控器
XEN
memory leak detection, virtualizaition platform, virtual machine, virtual machine monitor, Xen
