Loading...
Please wait, while we are loading the content...
Similar Documents
GC assertions: Using the garbage collector to check heap properties
| Content Provider | CiteSeerX |
|---|---|
| Author | Aftandilian, Edward E. Guyer, Samuel Z. |
| Description | 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. By piggybacking on existing garbage collector computations, our system is able to check heap properties with very low overhead – around 3% of total execution time – low enough for use in a deployed setting. We introduce several kinds of GC assertions and 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 report results on both the performance of our system and the experience of using our assertions to find and repair errors in real-world programs. Categories and Subject Descriptors D.2.4 [Software Engineering]: |
| File Format | |
| Language | English |
| Publisher Institution | In MSPC (2008), ACM |
| Access Restriction | Open |
| Subject Keyword | Answer Question System Interface Low Overhead Reporting Mechanism Heap Property Deployed Setting Performance Problem Garbage Collector Computation Gc Assertion Unique Position Complete Path Memory Leak Subject Descriptor Software Engineering Total Execution Time Garbage Collector Several Kind Real-world Program Data Structure Invariant Violation Offending Object |
| Content Type | Text |
| Resource Type | Article |
