Sciweavers

26 search results - page 1 / 6
» Derivation and Evaluation of Concurrent Collectors
Sort
View
ECOOP
2005
Springer
14 years 14 days ago
Derivation and Evaluation of Concurrent Collectors
There are many algorithms for concurrent garbage collection, but they are complex to describe, verify, and implement. This has resulted in a poor understanding of the relationships...
Martin T. Vechev, David F. Bacon, Perry Cheng, Dav...
MPC
2010
Springer
157views Mathematics» more  MPC 2010»
13 years 11 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
JVM
2004
184views Education» more  JVM 2004»
13 years 8 months ago
A Real-Time Garbage Collector for Embedded Applications in CLI
We are working on scheduling of garbage collector as a concurrent thread for time-constrained applications in Common Language Infrastructure (CLI). We have implemented an increment...
Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott R...
IWMM
2004
Springer
82views Hardware» more  IWMM 2004»
14 years 8 days ago
Write barrier elision for concurrent garbage collectors
Concurrent garbage collectors require write barriers to preserve consistency, but these barriers impose significant direct and indirect costs. While there has been a lot of work ...
Martin T. Vechev, David F. Bacon
PLDI
2006
ACM
14 years 26 days 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