Sciweavers

743 search results - page 29 / 149
» Realtime garbage collection
Sort
View
BIRTHDAY
2003
Springer
14 years 27 days ago
Colimits for Concurrent Collectors
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
JTRES
2009
ACM
14 years 2 months ago
Replicating real-time garbage collector for Java
Real-time Java is becoming a viable platform for real-time applications, bringing new challenges to a garbage collector. A real-time collector has to be incremental as not to caus...
Tomás Kalibera
IWMM
1998
Springer
130views Hardware» more  IWMM 1998»
13 years 12 months ago
Comparing Mostly-Copying and Mark-Sweep Conservative Collection
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
Frederick Smith, J. Gregory Morrisett
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
14 years 14 days ago
Formal Derivation of Concurrent Garbage Collectors
Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and...
Dusko Pavlovic, Peter Pepper, Douglas R. Smith
IWMM
2010
Springer
137views Hardware» more  IWMM 2010»
13 years 11 months ago
The locality of concurrent write barriers
Concurrent and incremental collectors require barriers to ensure correct synchronisation between mutator and collector. The overheads imposed by particular barriers on particular ...
Laurence Hellyer, Richard Jones, Antony L. Hosking