Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Static Region Analysis for Mercury

Quan PhanContact Information and Gerda JanssensContact Information

(1)  Department of Computer Science, K.U. Leuven, Celestijnenlaan, 200A, B-3001 Heverlee, Belgium
Abstract
Region-based memory management is a form of compile-time memory management, well-known from the functional programming world. This paper describes a static region analysis for the logic programming language Mercury. We use region points-to graphs to model the partitioning of the memory used by a program into separate regions. The algorithm starts with a region points-to analysis that determines the different regions in the program. We then compute the liveness of the regions by using an extended live variable analysis. Finally, a program transformation adds region annotations to the program for region support. These annotations generate data for a region simulator that generates reports on the memory behaviour of region-annotated programs. Our approach obtains good memory consumption for several benchmark programs; for some of them it achieves optimal memory management.
This work is supported by the project GOA/2003/08 and by FWO Vlaanderen.

Contact Information Quan Phan
Email: quan.phan@cs.kuleuven.be

Contact Information Gerda Janssens
Email: gerda.janssens@cs.kuleuven.be
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.114 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)