Accurate Garbage Collection in an Uncooperative Environment (2002)
| Venue: | In Proceedings of the Third International Symposium on Memory Management |
| Citations: | 13 - 0 self |
BibTeX
@INPROCEEDINGS{Henderson02accurategarbage,
author = {Fergus Henderson},
title = {Accurate Garbage Collection in an Uncooperative Environment},
booktitle = {In Proceedings of the Third International Symposium on Memory Management},
year = {2002},
pages = {150--156},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Previous attempts at garbage collection in uncooperative environments have generally used conservative or mostly conservative approaches. We describe a technique for doing fully type-accurate garbage collection in an uncooperative environment, using a "shadow stack" to link structs of pointer-containing variables, together with the data or code needed to trace them. We have implemented this in the Mercury compiler, which generates C code, and present preliminary performance data on the overheads of this technique. We also show how this technique can be extended to handle multithreaded applications.
