[gclist] Regions as a GC solution

Fergus Henderson fjh@cs.mu.OZ.AU
Sat, 7 Jun 2003 05:38:25 +1000

On 06-Jun-2003, Dobes Vandermeer <dobes-gclist@dobesland.com> 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 <fjh@cs.mu.oz.au>  |  "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.