>
> Chris Toshok wrote:
> > precise gc is impossible with the possibility of arbitrary C code in native
> > methods.
>
> I don't think that's true. The stuff about local and global references in
> the JNI spec makes provisions for this.
Hence the word "arbitrary" in Chris's statement:
JNI provides guidelines for C code to allow precise gc.
People interested in this matter may also want to read [1], which
describes a way to allow precise GC in a Modula-3 compiler.
I don't have a URL handy.
- Godmar
[1]
@conference{diwan+:pldi92,
author = "Amer Diwan and Eliot Moss and Richard Hudson",
title = "Compiler Support for Garbage Collection in a Statically
Typed Language",
booktitle = PLDI,
year = 1992,
address = "Las Vegas, {NV}",
month = jun,
pages = "273--282"
}
