A module based analysis for memory reuse in Mercury (2000)
| Venue: | Computational Logic - CL 2000, First International Conference |
| Citations: | 9 - 6 self |
BibTeX
@INPROCEEDINGS{Mazur00amodule,
author = {Nancy Mazur and Gerda Janssens and Maurice Bruynooghe},
title = {A module based analysis for memory reuse in Mercury},
booktitle = {Computational Logic - CL 2000, First International Conference},
year = {2000},
pages = {1255--1269},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. In previous work Bruynooghe, Janssens and K*agedal developed a live-structure analysis for Mercury which detects memory cells available for reuse. Separate compilation of modules is an essential ingredient of a language such as Mercury which supports programming in the large. Hence, to be practical, a live-structure analysis also has to be module based. This paper develops a modular live-structure analysis and extends it with a modular reuse analysis. It also describes preliminary results obtained with a first prototype of the module based analysis. 1 Introduction In declarative languages, the programmer is liberated from the low level details of memory management such as allocation of memory and destructive updates of data structures. The price to pay for this convenience is a loss of performance due to the run-time overhead of garbage collection, due to an increased number of cache misses (caused by the loss of locality of data structures) and due to the overhead of creating new data structures (creating a new version of a data structure is typically more expensive than updating an existing one).
