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

作者：姜军; 肖如良

来源：计算机与数字工程, 2013, (11): 1760-1763.

• 内存泄漏检测
• 虚拟化平台
• 虚拟机
• 虚拟机监控器
• Xen memory leak detection
• virtualizaition platform
• virtual machine
• virtual machine monitor
• Xen

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

• 出版日期2013
• 单位福建师范大学