Skip to Main content Skip to Navigation
Journal articles

GC2: 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
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 2 , 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.
Complete list of metadata

Cited literature [36 references]  Display  Hide  Download

https://hal.inria.fr/hal-02314741
Contributor : Olivier Zendra <>
Submitted on : Tuesday, October 22, 2019 - 1:00:11 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM
Long-term archiving on: : Thursday, January 23, 2020 - 1:07:15 PM

File

article_proof_01_2004.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Pierre-Etienne Moreau, Olivier Zendra. GC2: a generational conservative garbage collector for the ATerm library. Journal of Logic and Algebraic Programming, Elsevier, 2004, 59 (1-2), pp.5-34. ⟨10.1016/j.jlap.2003.12.003⟩. ⟨hal-02314741⟩

Share

Metrics

Record views

112

Files downloads

219