Abstract | ||
---|---|---|
We describe and prove the correctness of a new concurrent mark-and-sweep garbage collection algorithm. This algorithm derives from the classical on-the-fly algorithm from Dijkstra et al. [9]. A distinguishing feature of our algorithm is that it supports multiprocessor environments where the registers of running processes are not readily accessible, without imposing any overhead on the elementary operations of loading a register or reading or initializing a field. Furthermore our collector never blocks running mutator processes except possibly on requests for free memory; in particular, updating a field or creating or marking or sweeping a heap object does not involve system-dependent synchronization primitives such as locks. We also provide support for process creation and deletion, and for managing an extensible heap of variable-sized objects. |
Year | DOI | Venue |
---|---|---|
1994 | 10.1145/174675.174673 | POPL |
Keywords | Field | DocType |
unobtrusive garbage collection,distinguishing feature,classical on-the-fly algorithm,multiprocessor system,multiprocessor environment,free memory,collection algorithm,heap object,new concurrent mark-and-sweep garbage,elementary operation,mutator process,extensible heap,garbage collection | Synchronization,Garbage,Programming language,Computer science,Mark-compact algorithm,Correctness,Parallel computing,Multiprocessing,Heap (data structure),Garbage collection,Dijkstra's algorithm | Conference |
ISBN | Citations | PageRank |
0-89791-636-0 | 75 | 3.96 |
References | Authors | |
13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Damien Doligez | 1 | 296 | 23.48 |
Georges Gonthier | 2 | 2275 | 195.06 |