Title data
Trancón y Widemann, Baltasar:
A reference-counting garbage collection algorithm for cyclical functional programming.
In:
Jone, Richard (Hrsg.): ISMM '08 : Proceedings of the 7th international symposium on Memory management. -
New York, NY
: ACM
,
2008
. - pp. 71-80
ISBN 978-1-60558-134-7
DOI: https://doi.org/10.1145/1375634.1375645
Abstract in another language
Reference-counting garbage collection is known to have problems with the collection of cyclically connected data. There are two historically significant styles of cycle-aware algorithms: The style of Brownbridge that maintains a subset of marked edges and the invariant that every cycle contains at least one marked edge, and the style of Mart´ınez-Lins-Wachenchauzer (MLW) that involves local mark-and-scan procedures to detect cycles. The former is known to be difficult to design and implement correctly, and the latter to have pathological efficiency for a number of very typical situations.We present a novel algorithm that combines both approaches to obtainreasonably efficient local mark-and-scan phases with a markinginvariant that is rather cheap to maintain. We demonstrate thatthe assumptions of this algorithm about mutator activity patternsmake it well-suited, but not limited, to a functional programming technique for cyclic data. We evaluate the approach in comparison with simple and more sophisticated MLW algorithms using a simple benchmark based on that functional paradigm.
Further data
Item Type: | Article in a book |
---|---|
Refereed: | No |
Additional notes: | BAYCEER113828 |
Institutions of the University: | Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences > Chair Ecological Modelling Research Institutions > Research Centres > Bayreuth Center of Ecology and Environmental Research- BayCEER Faculties Faculties > Faculty of Biology, Chemistry and Earth Sciences Faculties > Faculty of Biology, Chemistry and Earth Sciences > Department of Earth Sciences Research Institutions Research Institutions > Research Centres |
Result of work at the UBT: | Yes |
DDC Subjects: | 500 Science |
Date Deposited: | 06 Jul 2015 10:25 |
Last Modified: | 06 Jul 2015 10:25 |
URI: | https://eref.uni-bayreuth.de/id/eprint/15948 |