Leak pruning

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2009, Pages 277-288

  Bond, Michael D ^a   McKinley, Kathryn S ^a  

^a University of Texas at Austin   (United States)

Author keywords

Experimentation; Performance; Reliability

Indexed keywords

EMBEDDED SYSTEMS; ERRORS; REFUSE COLLECTION; RELIABILITY; SEMANTICS;

BUFFER OVERFLOWS; DANGLING POINTERS; EXPERIMENTATION; GARBAGE COLLECTION; MEMORY ERROR; PERFORMANCE; PROGRAMMER PRODUCTIVITY; USAGE PATTERNS;

VIRTUAL MACHINE;

EID: 67650067300     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1508244.1508277     Document Type: Conference Paper

References (37)

1. ALPERN, B., ATTANASIO, C. R., BARTON, J. J., BURKE, M. G., CHENG, P., CHOI, J.-D., COCCHI, A., FINK, S. J., GROVE, D., HIND, M., HUMMEL, S. F., LIEBER, D., LITVINOV, V., MERGEN, M., NGO, T., RUSSELL, J. R., SARKAR, V., SERRANO, M. J., SHEPHERD, J., SMITH, S., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. The Jalapẽno Virtual Machine. IBM Systems Journal 39, 1 (2000), 211-238.
2. ARNOLD, M., FINK, S. J., GROVE, D., HIND, M., AND SWEENEY, P. F. Adaptive Optimization in the Jalapẽno JVM. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2000), pp. 47-65. (Pubitemid 32396351)
3. BERGER, E. D., AND ZORN, B. G. DieHard: Probabilistic Memory Safety for Unsafe Languages. In ACMConference on Programming Language Design and Implementation (2006), pp. 158-168. (Pubitemid 44074929)
4. BLACKBURN, S. M., CHENG, P., AND MCKINLEY, K. S. Oil and Water? High Performance Garbage Collection in Java with MMTk. In ACM International Conference on Software Engineering (2004), pp. 137-146.
5. BLACKBURN, S. M., GARNER, R., HOFFMAN, C., KHAN, A. M., MCKINLEY, K. S., BENTZUR, R., DIWAN, A., FEINBERG, D., FRAMPTON, D., GUYER, S. Z., HIRZEL, M., HOSKING, A., JUMP, M., LEE, H., MOSS, J. E. B., PHANSALKAR, A., STEFANOVÍC, D., VANDRUNEN, T., VON DINCKLAGE, D., AND WIEDERMANN, B. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2006), pp. 169-190. (Pubitemid 44643673)
6. BLACKBURN, S. M., AND HOSKING, A. L. Barriers: Friend or Foe? In ACM International Symposium on Memory Management (2004), pp. 143-151.
7. BOND, M. D., AND MCKINLEY, K. S. Bell: Bit-Encoding Online Memory Leak Detection. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems (2006), pp. 61-72. (Pubitemid 47179529)
8. BOND, M. D., AND MCKINLEY, K. S. Tolerating Memory Leaks. In ACMConference on Object-Oriented Programming, Systems, Languages, and Applications (2008), pp. 109-126.
9. BREITGAND, D., GOLDSTEIN, M., HENIS, E., SHEHORY, O., AND WEINSBERG, Y. PANACEA-Towards a Self- Healing Development Framework. In Integrated Network Management (2007), pp. 169-178.
10. CHEREM, S., PRINCEHOUSE, L., AND RUGINA, R. Practical Memory Leak Detection using Guarded Value-Flow Analysis. In ACM Conference on Programming Language Design and Implementation (2007), pp. 480-491. (Pubitemid 47630714)
11. CHILIMBI, T. M., AND HAUSWIRTH, M. Low-Overhead Memory Leak Detection Using Adaptive Statistical Profiling. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems (2004), pp. 156-164. (Pubitemid 40163696)
12. CLICK, C., TENE, G., AND WOLF, M. The Pauseless GC Algorithm. In ACM/USENIX International Conference on Virtual Execution Environments (2005), pp. 46-56. (Pubitemid 43195500)
13. CORMEN, T. H., LEISERSON, C. E., RIVEST, R. L., AND STEIN, C. Introduction to Algorithms, 2nd ed. The MIT Press, McGraw-Hill Book Company, 2001, ch. 11.
14. GEORGES, A., EECKHOUT, L., AND BUYTAERT, D. Java Performance Evaluation through Rigorous Replay Compilation. In ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2008), pp. 367-384.
15. GOLDSTEIN, M., SHEHORY, O., AND WEINSBERG, Y. Can Self-Healing Software Cope With Loitering? In International Workshop on Software Quality Assurance (2007), pp. 1-8.
16. HASTINGS, R., AND JOYCE, B. Purify: Fast Detection of Memory Leaks and Access Errors. In Winter USENIX Conference (1992), pp. 125-136.
17. HEINE, D. L., AND LAM, M. S. A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector. In ACM Conference on Programming Language Design and Implementation (2003), pp. 168-181.
18. HERTZ, M., FENG, Y., AND BERGER, E. D. Garbage Collection without Paging. In ACM Conference on Programming Language Design and Implementation (2005), pp. 143-153. (Pubitemid 43182896)
19. JUMP, M., AND MCKINLEY, K. S. Cork: Dynamic Memory Leak Detection for Garbage-Collected Languages. In ACM Symposium on Principles of Programming Languages (2007), pp. 31-38. (Pubitemid 47326529)
20. LINDHOLM, T., AND YELLIN, F. The Java Virtual Machine Specification, 2nd ed. Prentice Hall PTR, 1999.
21. MAEBE, J., RONSSE, M., AND BOSSCHERE, K. D. Precise Detection of Memory Leaks. In International Workshop on Dynamic Analysis (2004), pp. 25-31.
22. MITCHELL, N., AND SEVITSKY, G. LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications. In European Conference on Object- Oriented Programming (2003), pp. 351-377. (Pubitemid 137632842)
23. MOON, D. A. Garbage Collection in a Large Lisp System. In ACM Conference on LISP and Functional Programming (1984), pp. 235-246. (Pubitemid 16563839)
24. NETHERCOTE, N., AND SEWARD, J. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. In ACM Conference on Programming Language Design and Implementation (2007), pp. 89-100. (Pubitemid 47630678)
25. NGUYEN, H. H., AND RINARD, M. Detecting and Eliminating Memory Leaks Using CyclicMemory Allocation. In ACM International Symposium on Memory Management (2007), pp. 15-29.
26. NOVARK, G., BERGER, E. D., AND ZORN, B. G. Plug: Automatically Tolerating Memory Leaks in C and C++ Applications. Tech. Rep. UM-CS-2008-2009, University of Massachusetts, 2008.
27. ORACLE. JRockit Mission Control. http://www.oracle.com/technology/ products/jrockit/missioncontrol/.
28. QIN, F., LU, S., AND ZHOU, Y. SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs. In International Symposium on High-Performance Computer Architecture (2005), pp. 291-302.
29. QIN, F., TUCEK, J., SUNDARESAN, J., AND ZHOU, Y. Rx: Treating Bugs as Allergies-A Safe Method to Survive Software Failures. In ACM Symposium on Operating Systems Principles (2005), pp. 235-248. (Pubitemid 44892216)
30. QUEST. JProbe Memory Debugger.http://www.quest.com/jprobe/debugger.asp.
31. RINARD, M., CADAR, C., DUMITRAN, D., ROY, D., LEU, T., AND BEEBEE, W. Enhancing Server Availability and Security through Failure-Oblivious Computing. In USENIX Symposium on Operating Systems Design and Implementation (2004), pp. 303-316.
32. SCITECH SOFTWARE..NET Memory Profiler. http://www.scitech.se/memprofiler/ .
33. STANDARD PERFORMANCE EVALUATION CORPORATION. SPECjvm98 Documentation, release 1.03 ed., 1999.
34. STANDARD PERFORMANCE EVALUATION CORPORATION. SPECjbb2000 Documentation, release 1.01 ed., 2001.
35. TANG, Y., GAO, Q., AND QIN, F. LeakSurvivor: Towards Safely Tolerating Memory Leaks for Garbage-Collected Languages. In USENIX Annual Technical Conference (2008), pp. 307-320.
36. WHITE, J. L. Address/Memory Management For A Gigantic LISP Environment or, GC Considered Harmful. In ACM Conference on LISP and Functional Programming (1980), pp. 119-127.
37. YANG, T., BERGER, E. D., KAPLAN, S. F., AND MOSS, J. E. B. CRAMM: Virtual Memory Support for Garbage- Collected Applications. In USENIX Symposium on Operating Systems Design and Implementation (2006), pp. 103-116.