Virtualization Platform Memory Leak Detecting System Based on CSP Modeled
Jiang Ju · Computer and Digital Engineering · 2013
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 leaking 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.Finally,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.