Practical Aspects for a Working Compile Time Garbage Collection System for Mercury
Abstract
Compile-time garbage collection (CTGC) is still a very uncommon feature within compilers. In previous work we have developed a compile-time structure reuse system for Mercury, a logic programming language. This system indicates which datastructures can safely be reused at run-time. As preliminary experiments were promising, we have continued this work and have now a working and well performing near-to-ship CTGC-system built into the Melbourne Mercury Compiler (MMC). In this paper we present the multiple design decisions leading to this system, we report the results of using CTGC for a set of benchmarks, including a real-world program, and finally we discuss further possible improvements. Benchmarks show substantial memory savings and a noticeable reduction in execution time.
Keywords
Cite
@article{arxiv.cs/0110037,
title = {Practical Aspects for a Working Compile Time Garbage Collection System for Mercury},
author = {Nancy Mazur and Peter Ross and Gerda Janssens and Maurice Bruynooghe},
journal= {arXiv preprint arXiv:cs/0110037},
year = {2007}
}
Comments
15 pages. A version of this paper will appear in Proceeding of the Seventeenth International Conference on Logic Programming (ICLP2001)