LeakSurvivor: Towards safely tolerating memory leaks for garbage-collected languages

Proceedings of the 2008 USENIX Annual Technical Conference, USENIX 2008

Volumn , Issue , 2008, Pages 307-320

  Tang, Yan ^a   Gao, Qi ^a   Qin, Feng ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; AVAILABILITY; OBJECT DETECTION;

GARBAGE COLLECTORS; JAVA APPLICATIONS; JAVA VIRTUAL MACHINES; PERFORMANCE DEGRADATION; PROGRAM EXECUTION; PROGRAM PERFORMANCE; RUNTIME OVERHEADS; SOFTWARE AVAILABILITY;

JAVA PROGRAMMING LANGUAGE;

EID: 63549096374     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (45)

1. ab - Apache HTTP Server Benchmarking Tool. http://httpd.apache.org/docs/2.0/programs/ab.html.
2. Eclipse - An Open Development Platform. http://www.eclipse.org.
3. Java 2 Platform, Enterprise Edition. http://java.sun.com/j2ee/reference/whitepapers/j2ee guide.pdf.
4. Jigsaw - W3C’s Server. http://www.w3.org/Jigsaw/.
5. JProbe. http://www.javaperformancetuning.com/tools/jprobe/.
6. SPECjbb2000, A Java Business Benchmark. http://www.spec.org/osg/jbb2000.
7. B. Alpern, S. Augart, S. M. Blackburn, and et al. The Jikes Research Virtual Machine Project: Building An Open-source Research Community. IBM Syst. J., 44(2):399–417, 2005.
8. C. Amza, Armando Cox, and W. Zwaenepoel. Data Replication Strategies for Fault Tolerance and Availability on Commodity Clusters. In Proceedings of the 2000 International Conference on Dependable Systems and Networks, Jun 2000.
9. Emery D. Berger and Benjamin G. Zorn. DieHard: Probabilistic Memory Safety for Unsafe Languages. In ACM conf. on Programming language design and implementation(PLDI’06), 2006.
10. S. M. Blackburn, R. Garner, and et al. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In ACM conf. on Object-Oriented Programing, Systems, Languages, and Applications (OOPSLA’06), New York, NY, USA, October 2006.
11. Andrea Bobbio and Matteo Sereno. Fine Grained Software Rejuvenation Models. In International Computer Performance and Dependability Symposium, Sep 1998.
12. Michael D. Bond and Kathryn S. McKinley. Bell: Bit-encoding Online Memory Leak Detection. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS’06), Oct 2006.
13. Michael D. Bond and Kathryn S. McKinley. Tolerating Memory Leaks. Technical report, UT Austin Technical Report TR-07-64, Dec 2007.
14. George Candea, James Cutler, Armando Fox, Rushabh Doshi, Priyank Garg, and Rakesh Gowda. Reducing Recovery Time in A Small Recursively Restartable System. In Intl. Conf. on Dependable Systems and Networks, Jun 2002.
15. George Candea, Shinichi Kawamoto, Yuichi Fujiki, Greg Friedman, and Armando Fox. Microreboot – A Technique for Cheap Recovery. In Proceedings of the 6th Symposium on Operating System Design and Implementation, Dec 2004.
16. Y. Chen, James S. Plank, and Kai Li. CLIP: A Checkpointing Tool for Message-passing Parallel Programs. In ACM/IEEE Supercomputing Conference (SC’97), Nov 1997.
17. C. J. Cheney. A Non-recursive List Compacting Algorithm. Communications of the ACM, 13(11):677, November 1970.
18. Trishul M. Chilimbi and Matthias Hauswirth. Low-overhead Memory Leak Detection Using Adaptive Statistical Profiling. In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS’04), Oct 2004.
19. Trishul M. Chilimbi, Mark D. Hill, and James R. Larus. Cache-conscious Structure Layout. In SIGPLAN Conference on Programming Language Design and Implementation, pages 1–12, 1999.
20. A. Diwan, E. Moss, and R. Hudson. Compiler Support for Garbage Collection in A Statically Typed Language. In ACM Conf. on Programming Language Design and Implementation (PLDI’92), June 1992.
21. Robert R. Fenichel and Jerome C. Yochelson. A Lisp Garbage Collector for Virtual Memory Computer Systems. Communications of the ACM, 12(11):611–612, November 1969.
22. S. Garg, A. Puliafito, M. Telek, and K. S. Trivedi. On The Analysis of Software Rejuvenation Policies. In Proceedings of the Annual Conference on Computer Assurance, Jun 1997.
23. Richard Gillam. An Introduction to Garbage Collection. http://oss.software.ibm.com/icu/docs/papers/ cpp report/an introduction to garbage collection part i.html.
24. Maayan Goldstein, Onn Shehory, and Yaron Weinsberg. Can Self-healing Software Cope with Loitering? In SOQUA’07: Fourth international workshop on Software quality assurance, pages 1–8, New York, NY, USA, 2007. ACM.
25. James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification Second Edition. Addison-Wesley, Boston, Mass., 2000.
26. E. Grochowski and R. D. Halem. Technological Impact of Magnetic Hard Disk Drives on Storage Systems. IBM Syst. J., 42(2):338–346, 2003.
27. R. Hasting and B. Joyce. Purify: Fast Detection of Memory Leaks and Access Errors. In Proceedings of the USENIX Winter 1992 Technical Conference, Dec 1992.
28. David L. Heine and Monica S. Lam. A Practical Flow-sensitive and Context-sensitive C And C++ Memory Leak Detector. In ACM conf. on Programming language design and implementation (PLDI’03), 2003.
29. Matthew Hertz, Yi Feng, and Emery D. Berger. Garbage Collection without Paging. SIGPLAN Not., 40(6):143–153, 2005.
30. Yennun Huang, Chandra Kintala, Nick Kolettis, and N. Dudley Fulton. Software Rejuvenation: Analysis, Module and Applications. In Proceedings of the 25th Annual International Symposium on Fault-Tolerant Computing, Jun 1995.
31. Maria Jump and Kathryn S. McKinley. Cork: Dynamic Memory Leak Detection for Java. In Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2007.
32. David E. Lowell and Peter M. Chen. Discount Checking: Transparent, Low-Overhead Recovery for General Applications. Technical report, CSE-TR-410-99, Univ. of Michigan, 1998.
33. Nick Mitchell and Gary Sevitsky. LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications. In European Conference on Object-Oriented Programming, (ECOOP’03), 2003.
34. Huu Hai Nguyen and Martin Rinard. Detecting and Eliminating Memory Leaks Using Cyclic Memory Allocation. In ISMM ’07: Proceedings of the 6th international symposium on Memory management, pages 15–30, New York, NY, USA, 2007. ACM.
35. Gene Novark, Emery D. Berger, and Benjamin G. Zorn. Plug: Automatically Tolerating Memory Leaks in C and C++ Applications. Technical report, UMass CS Technical Report 08-09, April 2008.
36. Feng Qin, Shan Lu, and Yuanyuan Zhou. SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. In Intl. Symposium on High-Performance Computer Architecture, Feb 2005.
37. Feng Qin, Joe Tucek, Jagadeesan Sundaresan, and Yuanyuan Zhou. Rx: Treating Bugs as Allergies – A Safe Method to Survive Software Failure. In Proceedings of the 20th ACM Symposium on Operating System Principles, Oct 2005.
38. Mendel Rosenblum and John K. Ousterhout. The Design and Implementation of A Log-structured File System. ACM Trans. Comput. Syst., 10(1):26–52, 1992.
39. J. Seward. Valgrind, An Open-source Memory Debugger for x86-GNU/Linux. available at URL http://developer.kde.org/ sewardj/.
40. SciTech Software. .NET Memory Profiler. http://www.scitech.se/-memprofiler/.
41. Andrew S. Tanenbaum. Modern Operating Systems. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1992.
42. US-CERT. US-CERT Vulnerability Notes Database. http://www.kb.cert.org/vuls.
43. BEA WebLogic. JRockit: Java for The Enterprise. http://www.bea.com/content/news events/white papers/ BEA Rockit wp.pdf.
44. Ting Yang, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss, and B. Moss. CRAMM: virtual Memory Support for Garbage-collected Applications. In USENIX Symposium on Operating Systems Design and Implementation, 2006.
45. Yuanyuan Zhou, Peter M. Chen, and Kai Li. Fast Cluster Failover Using Virtual Memory-Mapped Communication. In Proceedings of the 1999 ACM International Conference on Supercomputing, Jun 1999.