What Can the GC Compute Efficiently? a Language for Heap Assertions at GC Time

Free registration required

Executive Summary

Garbage Collection (GC) is a widely popular mechanism in modern programming languages, employed in representatives of virtually all language classes, from mainstream managed languages (e.g., Java, C#), to dynamic languages (e.g., Perl, Python), and to the language avant-garde (e.g., Haskell, OCaml). The traditional view on GC considers it a necessary cost. The authors' work is based on the observation that GC also represents a unique opportunity. GC necessitates an occasional traversal of all live program objects. If all objects are going to be traversed anyway, it is natural to consider using this traversal for more than computing liveness.

  • Format: PDF
  • Size: 232.67 KB