Loading...
Please wait, while we are loading the content...
Similar Documents
A principled approach to nondeferred referencecounting garbage collection (2008)
| Content Provider | CiteSeerX |
|---|---|
| Author | Joisha, Pramod G. |
| Description | Nondeferred reference-counting (RC) garbage collection is among the oldest mem-ory-management methods. Despite offering unique advantages, little attention has been paid on how to correctly implement it for modern programming languages. This paper revisits this collection method and describes how to implement it for a modern object-oriented language in an optimizing compiler. The main contribution is a general algorithm that realizes one form of nondeferred RC collection for an object-oriented language having features such as exceptions, interior pointers, and object pinning. The algorithm abstracts the pertinent characteristics of instructions using concepts from data-flow analysis, such as def/use information, so that instruc-tions are handled in a uniform manner, instead of in an ad hoc or special-case way. The abstracted information is used to systematically compute what increments and decrements to do, even in the presence of subtle conditions such as exceptional con-trol flow. These techniques enabled us to compile a large suite of programs to use nondeferred RC collection. The paper also discusses the modifications that were necessary in the compiler for supporting the inserted RC operations, and reports measurements from a reference implementation. In VEE |
| File Format | |
| Language | English |
| Publisher Date | 2008-01-01 |
| Access Restriction | Open |
| Subject Keyword | Main Contribution Unique Advantage Nondeferred Rc Collection Ad Hoc Def Use Information Inserted Rc Operation Interior Pointer Optimizing Compiler Mem-ory-management Method Modern Programming Language Data-flow Analysis General Algorithm Garbage Collection Reference Implementation Large Suite Nondeferred Referencecounting Garbage Collection Pertinent Characteristic Subtle Condition Exceptional Con-trol Flow Little Attention Object-oriented Language Report Measurement Modern Object-oriented Language Uniform Manner Special-case Way Collection Method Object Pinning Abstracted Information Principled Approach |
| Content Type | Text |
| Resource Type | Article |