Sciweavers

743 search results - page 29 / 149
» Realtime garbage collection
Sort
View
89
Voted
BIRTHDAY
2003
Springer
15 years 2 months 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
15 years 4 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»
15 years 1 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»
15 years 2 months 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
81
Voted
IWMM
2010
Springer
137views Hardware» more  IWMM 2010»
15 years 1 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