Skip to Main content Skip to Navigation

GC^2: A Generational Conservative Garbage Collector for the ATerm Library

Pierre-Etienne Moreau 1 Olivier Zendra 2
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
2 MIRHO - Objects, types and prototypes : semantics and validation
CRISAM - Inria Sophia Antipolis - Méditerranée , UHP - Université Henri Poincaré - Nancy 1, Université Nancy 2, INPL - Institut National Polytechnique de Lorraine, CNRS - Centre National de la Recherche Scientifique : UMR7503
Abstract : The ATerm library is a well-designed and well-known library in the term rewriting community. In this paper, we discuss the current garbage collector provided with the library and stress the fact that some peculiarities of this functional library could be taken advantage of by the memory management system. We explain how we designed and implemented GC², a new mark-and-sweep generational garbage collector for the ATerm library that builds upon these peculiarities. Experimental results on various programs validate our approach, and show that the performance of our new algorithm is very good.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 7:37:08 PM
Last modification on : Friday, February 4, 2022 - 3:34:12 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:50:23 PM


  • HAL Id : inria-00072040, version 1



Pierre-Etienne Moreau, Olivier Zendra. GC^2: A Generational Conservative Garbage Collector for the ATerm Library. [Research Report] RR-4548, INRIA. 2002, pp.28. ⟨inria-00072040⟩



Record views


Files downloads