Benjamin Goldberg <[EMAIL PROTECTED]> wrote:

> Every time we come to a scope end, we do a garbage collection run.

... only if there are objects around, that were marked to need timely
destruction. If the HLL will decide that each object might need timely
destructions we will get into troubles, at least with the current DOD
scheme.

> What we'd like is a way (and there've been a couple proposed) to make it
> so that the sweep at the end of scope can *quickly* determine that all
> objects needing timely destruction are still alive/reachabe/in-scope,
> and abort early (and thus use less time).

Yes. Or that all such objects are destroyed already.

leo

Reply via email to