On the Usefulness of Liveness for Garbage Collection and Leak Detection
作者： Martin Hirzel , Amer Diwan , Antony Hosking
关键词: Real-time computing 、 Tree traversal 、 Leak detector 、 Liveness 、 Garbage collection 、 Computer engineering 、 Computer science 、 Type theory 、 Leak detection 、 Garbage 、 Reachability
摘要: The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the "accuracy" their reachability traversal. Accuracy has two orthogonal dimensions: (i) whether traversal can distinguish between pointers non-pointers (type accuracy), (ii) identify memory locations that will be dereferenced future (liveness accuracy). While prior work investigated importance type accuracy, there been little investigating liveness accuracy for collection or detection. This paper presents an experimental study We show while significantly improve a collector detector, simpler schemes are largely ineffective. One must analyze globals using interprocedural analysis to get significant benefit.
springer.com
core.ac.uk
hirzels.com 
researchgate.net 参考文章(30)
Joel F. Bartlett, Mostly-Copying Garbage Collection Picks Up Generations and C++ ,(1999)
Amer Diwan, Richard L. Hudson, Christopher F. Weight, J. E Moss, A Language-Independent Garbage Collector Toolkit University of Massachusetts. ,(1991)
Benjamin Zorn, The Effect of Garbage Collection on Cache Performance Defense Technical Information Center. ,(1991) , 10.21236/ADA444548
Todd A. Proebsting, Scott A. Watterson, Gregg Townsend, John H. Hartman, Patrick Bridges, Tim Newsham, Toba: Java For Applications: A Way Ahead of Time (WAT) Compiler usenix conference on object oriented technologies and systems. pp. 3- 3 ,(1997)
Rafael Lins, Richard Jones, Garbage collection: algorithms for automatic dynamic memory management John Wiley & Sons, Inc.. ,(1996)
Bill Joy, Guy Steele, James Gosling, Gilad Bracha, None, The Java Language Specification ,(1996)
Mads Tofte, Mads Tofte, Robert Harper, Robin Milner, The Definition of Standard ML ,(1990)
Benjamin Zorn, The measured cost of conservative garbage collection Software - Practice and Experience. ,vol. 23, pp. 733- 756 ,(1993) , 10.1002/SPE.4380230704
Amer Diwan, Eliot Moss, Richard Hudson, Compiler support for garbage collection in a statically typed language programming language design and implementation. ,vol. 27, pp. 273- 282 ,(1992) , 10.1145/143095.143140
Andrew W. Appel, A runtime system Lisp and Symbolic Computation archive. ,vol. 3, pp. 343- 380 ,(1990) , 10.1007/BF01807697