GC2: a generational conservative garbage collector for the ATerm library - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Algebraic Programming Année : 2004

GC2: a generational conservative garbage collector for the ATerm library

Résumé

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.
Fichier principal
Vignette du fichier
article_proof_01_2004.pdf (466.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02314741 , version 1 (22-10-2019)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More