GC assertions: Using the garbage collector to check heap properties

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

Volumn , Issue , 2009, Pages 235-244

  Aftandilian, Edward E ^a   Guyer, Samuel Z ^a  

^a Tufts University   (United States)

Author keywords

Garbage collection; Managed languages; Memory leaks

Indexed keywords

EXECUTION TIME; GARBAGE COLLECTION; GARBAGE COLLECTORS; LOW OVERHEAD; MEMORY LEAKS; PERFORMANCE PROBLEMS; REAL-WORLD; SYSTEM INTERFACES;

C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE; DATA STRUCTURES; ERRORS; LINGUISTICS; QUERY LANGUAGES; REFUSE COLLECTION; WASTE DISPOSAL;

JAVA PROGRAMMING LANGUAGE;

EID: 70450265482     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1542476.1542503     Document Type: Conference Paper

References (42)

1. M. Arnold, M. Vechev, and E. Yahav. Qvm: an efficient runtime for detecting defects in deployed systems. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, pages 143-162, New York, NY, USA, 2008. ACM.
2. M. Barnett, K. Rustan, M. Leino, and W. Schulte. The spec# programming system: An overview. http://research.microsoft.com/-users/leino/papers/krml136. pdf.
3. BEA. JRockit Mission Control. http://dev2dev.bea.com/jrockit/-tools.html.
4. E. D. Berger, B. G. Zorn, and K. S. McKinley. Reconsidering custom memory allocation. In Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 1-12, 2002.
5. M. Berndl, O. Lhoták, F. Qian, L. Hendren, and N. Umanee. Points-to analysis using bdds. In ACM Conference on Programming Languages Design and Implementation, pages 103-114, New York, NY, USA, 2003. ACM.
6. S. M. e. a. Blackburn. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2006.
7. 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, 2006.
8. M. D. Bond and K. S. McKinley. Tolerating memory leaks. In OOPSLA '08: Proceedings of the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, pages 109-126, 2008.
9. C. Boyapati, B. Liskov, and L. Shrira. Ownership types for object encapsulation. In ACM Symposium on the Principles of Programming Languages, pages 213-223, 2003.
10. N. R. Cameron, S. Drossopoulou, J. Noble, and M. J. Smith. Multiple ownership. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 441-460, 2007.
11. D. R. Chase, M. Wegman, and F. K. Zadeck. Analysis of pointers and structures. In ACM Conference on Programming Languages Design and Implementation, pages 296-310, 1990.
12. Y. Cheon and G. T. Leavens. A runtime assertion checker for the java modeling language (jml). Technical Report TR 03-09, Iowa State University, 2003.
13. T. M. Chilimbi and V. Ganapathy. HeapMD: Identifying Heap-based Bugs using Anomaly Detection. In International Conference on Architectural Support for Programming Languages and Operating Systems, 2006.
14. T. M. Chilimbi and M. Hauswirth. Low-Overhead Memory Leak Detection Using Adaptive Statistical Profiling. In Conference on Architectural Support for Programming Languages and Operating Systems, pages 156-164, 2004.
15. D. G. Clarke, J. M. Potter, and J. Noble. Ownership types for flexible alias protection. SIGPLAN Notices, 33(10):48-64, 1998.
16. P. T. Darga and C. Boyapati. Efficient software model checking of data structure properties. In ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, pages 363-382, 2006.
17. S. D. N. Forum. Java programming [archive] - garbage collection dilema (sic). http://forums.sun.com/thread.jspa?threadID=446934.
18. A. S. Foundation. Apache http server project. http://httpd.apache.org/.
19. A. S. Foundation. Apache lucene - overview. http://lucene.apache.-org/ java/docs/index.html.
20. A. S. Foundation. Apache portable runtime project. http://apr.-apache. org/.
21. A. S. Foundation. Indexsearcher (lucene 1.9.1 api). http://lucene.- apache.org/java/1-9-1/api/org/apache/lucene/search/IndexSearcher.-html.
22. J. Fox. When is a singleton not a singleton? http://java.sun.com/- developer/technicalArticles/Programming/singletons/.
23. P. Fradet and D. L. Métayer. Shape types. In ACM Symposium on the Principles of Programming Languages, pages 27-39, 1997.
24. R. Ghiya and L. J. Hendren. Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C. In ACM Symposium on the Principles of Programming Languages, pages 1-15, 1996.
25. M. Gorbovitski, T. Rothamel, Y. A. Liu, and S. D. Stoller. Efficient runtime invariant checking: a framework and case study. In WODA '08: Proceedings of the 2008 international workshop on dynamic analysis, pages 43-49, 2008.
26. B. Hackett and R. Rugina. Region-based shape analysis with tracked locations. In ACM Symposium on the Principles of Programming Languages, pages 310-323, 2005.
27. M. Jump and K. S. McKinley. Cork: dynamic memory leak detection for garbage-collected languages. In Symposium on Principles of Programming Languages, pages 31-38, 2007.
28. M. Jump and K. S. McKinley. Dynamic shape analysis. In ACM International Symposium on Memory Management, 2009.
29. Jvm tool interface. http://java.sun.com/javase/6/docs/platform/jvmti/- jvmti.html.
30. W. Landi, B. G. Ryder, and S. Zhang. Interprocedural modification side effect analysis with pointer aliasing. In ACM Conference on Programming Languages Design and Implementation, pages 56-67, 1993.
31. S. McPeak and G. Necula. Data structure specifications via local equality axioms. In Computer Aided Verification, pages 476-490, 2005.
32. 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, pages 351-377, 2003.
33. G. Novark, T. Strohman, and E. D. Berger. Custom object layout for garbage-collected languages. Technical Report UM-CS-2006-06, UMass Amherst, 2006.
34. M. E. O'Neill and F. W. Burton. Smarter garbage collection with simplifiers. In Workshop on Memory System Performance and Correctness, pages 19-30, 2006.
35. Quest. JProbe Memory Debugger. http://www.quest.com/jprobe/-debugger.asp.
36. M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In ACM Symposium on the Principles of Programming Languages, pages 105-118, 1999.
37. SciTech Software. NET Memory Profiler. http://www.scitech.se/- memprofiler/.
38. A. Shankar and R. Bodík. Ditto: automatic incrementalization of data structure invariant checks (in java). In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pages 310-319, New York, NY, USA, 2007. ACM.
39. Standard Performance Evaluation Corporation. SPECjvm98 Documentation, release 1.03 edition, 1999.
40. Standard Performance Evaluation Corporation. SPECjbb2000 Documentation, release 1.01 edition, 2001.
41. X. Wang, Z. Xu, X. Liu, Z. Guo, X. Wang, and Z. Zhang. Conditional correlation analysis for safe region-based memory management. In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation, pages 45-55, New York, NY, USA, 2008. ACM.
42. K. Zee, V. Kuncak, and M. Rinard. Full functional verification of linked data structures. In ACM Conference on Programming Languages Design and Implementation, pages 349-361, 2008.