Static insertion of safe and effective memory reuse commands into ML-like programs
- Title
- Static insertion of safe and effective memory reuse commands into ML-like programs
- Author
- 이욱세
- Keywords
- program analysis; program transformation; type system; compile-time garbage collection
- Issue Date
- 2005-10
- Publisher
- ELSEVIER SCIENCE BV
- Citation
- SCIENCE OF COMPUTER PROGRAMMING, v. 58, No. 1-2, Page. 141-178
- Abstract
- We present a static analysis that estimates reusable memory cells and a source-level transformation that adds explicit memory reuse commands into the program text. For benchmark ML programs, our analysis and transformation system achieves a memory reuse ratio from 5.2% to 91.3% and reduces the memory peak from 0.0% to 71.9%. The small-ratio cases are for programs that have a number of data structures that are shared. For other cases, our experimental results are encouraging in terms of accuracy and cost. Major features of our analysis and transformation are: (1) polyvariant analysis of functions by parameterization for the argument heap cells; (2) use of multiset formulas in expressing the sharings and partitionings of heap cells; (3) deallocations conditioned by dynamic flags that are passed as extra arguments to functions; (4) individual heap cells as the granularity of explicit memory reuse. Our analysis and transformation system is fully automatic. (c) 2005 Elsevier B.V. All rights reserved.
- URI
- https://www.sciencedirect.com/science/article/pii/S016764230500047Xhttps://repository.hanyang.ac.kr/handle/20.500.11754/111734
- ISSN
- 0167-6423; 1872-7964
- DOI
- 10.1016/j.scico.2005.02.007
- Appears in Collections:
- COLLEGE OF ENGINEERING SCIENCES[E](공학대학) > COMPUTER SCIENCE AND ENGINEERING(컴퓨터공학과) > Articles
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML