[e-lang] "Conservative" GC (was: Side Channels)
david.nospam.hopwood at blueyonder.co.uk
Sat May 28 20:09:52 EDT 2005
Mark Miller wrote:
> Conservative garbage collectors collect a variable amount of storage
> depending (among other things) on which words on the stack, if they were
> to be interpreted as pointers, would be pointing at existing objects.
Grr. Such garbage collectors should not be called conservative; they should
be called incorrect. How can a system be correct if at any time memory
allocation may fail, for reasons that are inexplicable at the language
level, and no matter how much memory is left unused by reachable objects?
You cannot build a reliable application with nontrivial memory requirements
on such a base.
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>
More information about the e-lang