Advertisement

Towards Region-Based Memory Management for Mercury Programs

Extended Abstract
  • Quan Phan
  • Gerda Janssens
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4079)

Abstract

Logic programming systems build the terms on the heap. Then automatic memory management for the heap relies on backtracking and runtime garbage collection to reclaim space on the heap. While efficient implementations of garbage collectors for logic programming languages can reuse more than 90% of the heap space, they introduce performance overhead to the execution of a program.

Keywords

Logic Programming Memory Management Execution Path Memory Behaviour Region Instruction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Aiken, A., Fahndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: PLDI (1995)Google Scholar
  2. 2.
    Cherem, S., Rugina, R.: Region analysis and Transformation for Java. In: ISMM 2004, pp. 85–96 (2004)Google Scholar
  3. 3.
    Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Region-based memory management in Cyclone. In: PLDI 2002, pp. 282–293 (2002)Google Scholar
  4. 4.
    Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: PPDP 2001, pp. 175–186 (2001)Google Scholar
  5. 5.
    Makholm, H.: A region-based memory manager for Prolog. In: ISMM 2000, pp. 25–34 (2000)Google Scholar
  6. 6.
    Makholm, H., Sagonas, K.: On Enabling the WAM with Region Support. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol. 2401, p. 163. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Mazur, N.: Compile-time garbage collection for the declarative language Mercury. PhD thesis, Computer Science Dept., Katholieke Universiteit Leuven (May 2004)Google Scholar
  8. 8.
    Tofte, M., Talpin, J.-P.: Region-based memory management. Information and Computation 132(2), 109–176 (1997)MATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Quan Phan
    • 1
  • Gerda Janssens
    • 1
  1. 1.Department of Computer ScienceK.U. LeuvenHeverleeBelgium

Personalised recommendations