Combining region inference and garbage collection
- 17 May 2002
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 37 (5) , 141-152
- https://doi.org/10.1145/512529.512547
Abstract
This paper describes a memory discipline that combines region-based memory management and copying garbage collection by extending Cheney's copying garbage collection algorithm to work with regions. The paper presents empirical evidence that region inference very significantly reduces the number of garbage collections; and evidence that the fastest execution is obtained by using regions alone, without garbage collection. The memory discipline is implemented for Standard ML in the ML Kit compiler and measurements show that for a variety of benchmark programs, code generated by the compiler is as efficient, both with respect to execution time and memory usage, as programs compiled with Standard ML of New Jersey, another state-of-the-art Standard ML compiler.Keywords
This publication has 13 references indexed in Scilit:
- Region-based memory management in cyclonePublished by Association for Computing Machinery (ACM) ,2002
- Language support for regionsPublished by Association for Computing Machinery (ACM) ,2001
- Type-preserving garbage collectorsPublished by Association for Computing Machinery (ACM) ,2001
- A region inference algorithmACM Transactions on Programming Languages and Systems, 1998
- Memory management with explicit regionsPublished by Association for Computing Machinery (ACM) ,1998
- Region-Based Memory ManagementInformation and Computation, 1997
- From region inference to von Neumann machines via region representation inferencePublished by Association for Computing Machinery (ACM) ,1996
- Better static memory managementPublished by Association for Computing Machinery (ACM) ,1995
- A real-time garbage collector based on the lifetimes of objectsCommunications of the ACM, 1983
- A nonrecursive list compacting algorithmCommunications of the ACM, 1970