LeakChaser: Helping programmers narrow down causes of memory leaks

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2011, Pages 270-282

  Xu, Guoqing ^a   Bond, Michael D ^a   Qin, Feng ^a   Rountev, Atanas ^a  

^a Ohio State University   (United States)

Author keywords

leakchaser; memory leak detection; object lifetime assertions

Indexed keywords

APPLICATION PROGRAMMING INTERFACES (API); COMPUTER SOFTWARE; ITERATIVE METHODS; OBJECT DETECTION;

HIGH LEVEL SEMANTICS; LARGE PROGRAMS; LEAKCHASER; MEMORY BLOATS; MEMORY LEAK DETECTIONS; MEMORY LEAKS; OBJECT LIFETIME ASSERTION; PROPERTY; RUNTIME PERFORMANCE; SEMANTICS INFORMATION;

SEMANTICS;

EID: 79959892905     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1993498.1993530     Document Type: Conference Paper

References (40)

1. The Jikes Research Virtual Machine, 2011. http://jikesrvm.org.
2. JML Reference Manual, 2010. http://www.jmlspecs.org.
3. E. E. Aftandilian and S. Z. Guyer. GC Assertions: Using the garbage collector to check heap properties. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 235-244, 2009.
4. E. Altman, M. Arnold, S. Fink, and N.Mitchell. Performance analysis of idle programs. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 739-753, 2010.
5. M. Arnold, M. Vechev, and E. Yahav. QVM: An efficient runtime for detecting defects in deployed systems. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 143-162, 2008.
6. S. M. Blackburn and K. S. McKinley. Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 22-32, 2008.
7. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B.Moss, A. Phansalkar, D. Stefanović, T. VanDrunen, D. von Dincklage, and B. Wiedermann. The DaCapo benchmarks: Java benchmarking development and analysis. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 169-190, 2006.
8. M. D. Bond and K. S. McKinley. Bell: Bit-encoding online memory leak detection. In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 61-72, 2006.
9. M. D. Bond and K. S. McKinley. Leak pruning. In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 277-288, 2009.
10. M. D. Bond and K. S. McKinley. Tolerating memory leaks. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 109-126, 2008.
11. J. Burnim and K. Sen. Asserting and checking determinism for multithreaded programs. In ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), pages 3-12, 2009.
12. J. Burnim and K. Sen. Determin: Inferring likely deterministic specifications of multithreaded programs. In International Conference on Software Engineering (ICSE), pages 415-424, 2010.
13. CA Technologies. CA Wily Introscope LeakHunter. www.ca.com/us/ application-management.aspx.
14. J. Clause and A. Orso. Leakpoint: pinpointing the causes of memory leaks. In International Conference on Software Engineering (ICSE), pages 515-224, 2010.
15. B. Dufour, B. G. Ryder, and G. Sevitsky. A scalable technique for characterizing the usage of temporaries in framework-intensive Java applications. In ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), pages 59-70, 2008.
16. ej-technologies GmbH. JProfiler. www.ej-technologies.com.
17. R. Hastings and B. Joyce. Purify: A tool for detecting memory leaks and access errors in C and C++ programs. In Winter 1992 USENIX Conference, pages 125-138, 1992.
18. M. Hauswirth and T.M. Chilimbi. Low-overhead memory leak detection using adaptive statistical profiling. In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 156-164, 2004.
19. M. Hertz, S. M. Blackburn, J. E. B. Moss, K. S. McKinley, and D. Stefanović. Generating object lifetime traces with Merlin. ACM Transactions on Programming Languages and Systems (TOPLAS), 28 (3):476-516, 2006.
20. M. Jump and K. S. McKinley. Cork: Dynamic memory leak detection for garbage-collected languages. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 31-38, 2007.
21. N. Mitchell. The runtime structure of object ownership. In European Conference on Object-Oriented Programming (ECOOP), pages 74-98, 2006.
22. N. Mitchell and G. Sevitsky. The causes of bloat, the limits of health. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 245-260, 2007.
23. N. Mitchell and G. Sevitsky. Leakbot: An automated and lightweight tool for diagnosing memory leaks in large Java applications. In European Conference on Object-Oriented Programming (ECOOP), pages 351-377, 2003.
24. N. Mitchell, G. Sevitsky, and H. Srinivasan. Modeling runtime behavior in framework-based applications. In European Conference on Object-Oriented Programming (ECOOP), pages 429-451, 2006.
25. N. Mitchell, E. Schonberg, and G. Sevitsky. Making sense of large heaps. In European Conference on Object-Oriented Programming (ECOOP), pages 77-97, 2009.
26. N. Mitchell, E. Schonberg, and G. Sevitsky. Four trends leading to Java runtime bloat. IEEE Software, 27(1):56-63, 2010.
27. G. Novark, E. D. Berger, and B. G. Zorn. Efficiently and precisely locating memory leaks and bloat. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 397-407, 2009.
28. Quest Software. JProbe. www.quest.com/jprobe.
29. D. Rayside and L. Mendel. Object ownership profiling: A technique for finding and fixing memory leaks. In International Conference on Automated Software Engineering (ASE), pages 194-203, 2007.
30. C. Reichenbach, N. Immerman, Y. Smaragdakis, E. Aftandilian, and S. Z. Guyer. What can the GC compute efficiently? A language for heap assertions at GC time. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 256-269, 2010.
31. O. Shacham, M. Vechev, and E. Yahav. Chameleon: Adaptive selection of collections. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 408-418, 2009.
32. A. Shankar, M. Arnold, and R. Bodik. Jolt: Lightweight dynamic analysis and removal of object churn. In ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), pages 127-142, 2008.
33. Y. Tang, Q. Gao, and F. Qin. LeakSurvivor: Towards safely tolerating memory leaks for garbage-collected languages. In The USENIX Anual Technical Conference (USENIX), pages 307-320, 2008.
34. The Standard Performance Evaluation Corporation. SPECjvm98 Benchmark Set. http://www.spec.org/jvm98/.
35. M. Vechev, E. Yahav, and G. Yorsh. PHALANX: Parallel checking of expressive heap assertions. In International Symposium on Memory Management (ISMM), pages 41-50, 2010.
36. G. Xu and A. Rountev. Precise memory leak detection for Java software using container profiling. In International Conference on Software Engineering (ICSE), pages 151-160, 2008.
37. G. Xu and A. Rountev. Detecting inefficiently-used containers to avoid bloat. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 160-173, 2010.
38. G. Xu, M. Arnold, N. Mitchell, A. Rountev, and G. Sevitsky. Go with the flow: Profiling copies to find runtime bloat. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 419-430, 2009.
39. G. Xu, N. Mitchell, M. Arnold, A. Rountev, E. Schonberg, and G. Sevitsky. Finding low-utility data structures. In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 174-186, 2010.
40. G. Xu, N. Mitchell, M. Arnold, A. Rountev, and G. Sevitsky. Software bloat analysis: Finding, removing, and preventing performance problems in modern large-scale object-oriented applications. In ACM SIGSOFT FSE/SDP Workshop on the Future of Software Engineering Research, 2010.