GC assertions: using the garbage collector to check heap properties

This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance problems, such as memory leaks. GC assertions are checked by the garbage collector, which is in a unique position to gather information and answer questions about the lifetime and connectivity of objects in the heap. We introduce several kinds of GC assertions, and we describe how they are implemented in the collector. We also describe our reporting mechanism, which provides a complete path through the heap to the offending objects. We show results for one type of assertion that allows the programmer to indicate that an object should be reclaimed at the next GC. We find that using this assertion we can quickly identify a memory leak and its cause with negligible overhead. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification— Reliability, Statistical Methods General Te...

• Type: Conference
• Year: 2009
• Where: PLDI
• Authors: Edward Aftandilian, Samuel Z. Guyer
• Keywords: GC Assertions, Memory Leaks, Paper Introduces Gc, PLDI 2009, Programming Languages