On the Usefulness of Liveness for Garbage Collection and Leak Detection

  • Martin Hirzel
  • Amer Diwan
  • Antony Hosking
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2072)

Abstract

The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two orthogonal dimensions: (i) whether the reachability traversal can distinguish between pointers and non-pointers (type accuracy), and (ii) whether the reachability traversal can identify memory locations that will be dereferenced in the future (liveness accuracy). While prior work has investigated the importance of type accuracy, there has been little work investigating the importance of liveness accuracy for garbage collection or leak detection. This paper presents an experimental study of the importance of liveness on the accuracy of the reachability traversal. We show that while liveness can significantly improve the effectiveness of a garbage collector or leak detector, the simpler liveness schemes are largely ineffective. One must analyze globals using an interprocedural analysis to get significant benefit.0

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Martin Hirzel
    • 1
  • Amer Diwan
    • 1
  • Antony Hosking
    • 2
  1. 1.Purdue University West LafayetteLafayette
  2. 2.University of Colorado Boulder

Personalised recommendations