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