45 search results - page 5 / 9 » Age-Oriented Concurrent Garbage Collection |
100
click to vote
MPC
2010
Springer
15 years 4 months ago
2010
Springer
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...
111
click to vote
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
101
Voted
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
ECOOP
2005
Springer
15 years 5 months ago
2005
Springer
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...
78
Voted
IWMM
2004
Springer
15 years 5 months ago
2004
Springer
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 ...