On the usefulness of liveness for garbage collection and leak detection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2072 LNCS, Issue , 2001, Pages 181-206

  Hirzel, Martin ^a   Diwan, Amer ^a   Hosking, Antony ^b  

^a UNIVERSITY OF COLORADO   (United States)

^b PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LEAK DETECTION; OBJECT DETECTION; REFUSE COLLECTION;

GARBAGE COLLECTION; GARBAGE COLLECTORS; INTER-PROCEDURAL ANALYSIS; LIVENESS; MEMORY LOCATIONS; REACHABILITY;

OBJECT ORIENTED PROGRAMMING;

EID: 84881380766     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45337-7_11     Document Type: Conference Paper

References (17)

1. Ole Agesen, David Detlefs, and J. Eliot B. Moss. Garbage collection and local variable type-precision and liveness in Java virtual machines. In ACM conference on programming language design and implementation, pages 269-279, Montreal, Canada, June 1998.
2. Bowen Alpern et al. The Jalapeño virtual machine. IBM Systems Journal, 39(1):211-238, February 2000.
3. Andrew W. Appel. A Runtime System. Lisp and Symbolic Computation, 3(4):343-380, November 1990.
4. Joel F. Bartlett. Compacting garbage collection with ambiguous roots. Technical Report 88/2, DEC Western Research Laboratory, Palo Alto, CA, February 1988. Also in Lisp Pointers 1(6):2-12, April-June 1988.
5. Joel F. Bartlett. Mostly-copying garbage collection picks up generations and C++. Technical report, DEC Western Research Laboratory, Palo Alto, CA, October 1989.
6. Hans Boehm, Alan Demers, and Scott Shenker. Mostly parallel garbage collection. In ACM conference on programming language design and implementation, pages 157-164, Minneapolis, MN, November 1991.
7. Hans Boehm, Alan Demers, and Mark Weiser. A garbage collector for C and C++. http://www.hpl.hp.com/personal/Hans-Boehm/gc/.
8. Hans Boehm and Zhong Shao. Inferring type maps during garbage collection. In OOPSLA '93 Workshop on Memory Management and Garbage Collection, September 1993.
9. Hans Boehm and Mark Weiser. Garbage collection in an uncooperative environment. Software - Practice and experience, pages 807-820, September 1988.
10. Dominique Colnet, Philippe Coucaud, and Olivier Zendra. Compiler support to customize the mark and sweep algorithm. In Proceedings of the International Symposium on Memory Management, pages 154-165, Vancouver, October 1998.
11. Jeremy Dion and Louis Monier. Third degree. http://research.compaq.com/ wrl/projects/om/third.html.
12. Amer Diwan, J. Eliot B. Moss, and Richard L. Hudson. Compiler support for garbage collection in a statically typed language. In ACM conference on programming language design and implementation, pages 273-282, San Francisco, CA, July 1992.
13. Great Circle - Real-time error detection and code diagnosis for developers. http://www.geodesic.com/products/greatcircle.html.
14. James Gosling, Bill Joy, and Guy Steele. The Java language specification. Addison-Wesley, 1996.
15. Reed Hastings and Bob Joyce. Fast detection of memory leaks and access errors. In Proceedings of the Winter '92 USENIX conference, pages 125-136, 1992.
16. Michael Hicks, Jonathan Moore, and Scott Nettles. The measured cost of copying garbage collection mechanisms. In Functional Programming, pages 292-305, June 1997.
17. Martin Hirzel and Amer Diwan. On the type accuracy of garbage collection. In Proceedings of the International Symposium on Memory Management, pages 1-12, Minneapolis, MN, October 2000.