Sciweavers

3671 search results - page 14 / 735
» On Garbage and Program Logic
Sort
View
PLDI
1993
ACM
14 years 16 days ago
Guardians in a Generation-Based Garbage Collector
This paper describes a new language feature that allows dynamically allocated objects to be saved from deallocation by an automatic storage management system so that clean-up or o...
R. Kent Dybvig, Carl Bruggeman, David Eby
PLDI
2006
ACM
14 years 2 months ago
Correctness-preserving derivation of concurrent garbage collection algorithms
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...
Martin T. Vechev, Eran Yahav, David F. Bacon
IWMM
2010
Springer
214views Hardware» more  IWMM 2010»
14 years 1 months ago
The economics of garbage collection
This paper argues that economic theory can improve our understanding of memory management. We introduce the allocation curve, as an analogue of the demand curve from microeconomic...
Jeremy Singer, Richard E. Jones, Gavin Brown, Mike...
PLDI
2005
ACM
14 years 2 months ago
Garbage collection without paging
Garbage collection offers numerous software engineering advantages, but interacts poorly with virtual memory managers. Existing garbage collectors require far more pages than the ...
Matthew Hertz, Yi Feng, Emery D. Berger
CC
2007
Springer
143views System Software» more  CC 2007»
14 years 2 months ago
Accurate Garbage Collection in Uncooperative Environments with Lazy Pointer Stacks
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
Jason Baker, Antonio Cunei, Filip Pizlo, Jan Vitek