Sciweavers

42 search results - page 2 / 9
» A Generational Mostly-Concurrent Garbage Collector
Sort
View
CC
2005
Springer
134views System Software» more  CC 2005»
13 years 11 months ago
Age-Oriented Concurrent Garbage Collection
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
Harel Paz, Erez Petrank, Stephen M. Blackburn
POPL
2009
ACM
14 years 6 months ago
Automated verification of practical garbage collectors
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
Chris Hawblitzel, Erez Petrank
ICFP
2002
ACM
14 years 5 months ago
An experimental study of renewal-older-first garbage collection
Generational collection has improved the efficiency of garbage collection in fast-allocating programs by focusing on collecting young garbage, but has done little to reduce the co...
Lars Thomas Hansen, William D. Clinger
IFL
1997
Springer
158views Formal Methods» more  IFL 1997»
13 years 10 months ago
A Compacting Garbage Collector for Unidirectional Heaps
A unidirectional heap is a heap where all pointers go in one direction, e.g. from newer to older objects. For a strict functional language, such as Erlang, the heap may be arranged...
Kent Boortz, Dan Sahlin
LCPC
2001
Springer
13 years 10 months ago
A Comparative Evaluation of Parallel Garbage Collector Implementations
While uniprocessor garbage collection is relatively well understood, experience with collectors for large multiprocessor servers is limited and it is unknown which techniques best ...
C. Richard Attanasio, David F. Bacon, Anthony Cocc...