Projects

Tue May 9 11:08:00 GMT 2000

>>>>> "Corey" == Corey Minyard <minyard@acm.org> writes:

[ precise collection ]
>> 1) They avoid memory lossage from floating point numbers and
>> integers which `look' like pointers.

Corey> I will also point out that Java requires this type of runtime
Corey> type information, anyway, so no additional memory is required
Corey> for this.
Everybody probably knows this already, but our implementation is
"mostly precise".
Currently only the data section and the stack are conservatively
scanned. We could probably easily make most of the data section be
scanned precisely. From things Hans has said, it isn't clear this is
worth the effort. I don't know.
Having the stack be scanned precisely is more work, since it involves
changes to the compiler. Whether this is worthwhile I don't know.
Tom