Re: Regions as a GC solution

On 06-Jun-2003, Dobes Vandermeer <[email protected]> wrote:
> The great thing about regions is that they can be inserted automatically
> using a static analyses.  Are there any systems which are able to
> collect objects in the immortal regions, or perhaps have some kind of
> clever overlapping region system that avoids having immortal regions
> altogether?

Recent versions of the ML Kit <http://www.itu.dk/research/mlkit/>
support reference-tracing garbage collection in combination with region
memory management.  See the following:

	Niels Hallenberg, Martin Elsman, and Mads Tofte. Combining Region
	Inference and Garbage Collection. In ACM SIGPLAN 2002 Conference on
	Programming Language Design and Implementation (PLDI'02). Berlin,
	Germany. June 2002.

-- 
Fergus Henderson <[email protected]>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.