[gclist] Finalization and object orientation.

James McCartney james@clyde.as.utexas.edu
Fri, 28 Mar 1997 13:27:04 -0700

Eliot Miranda <eliot@parcplace.com> wrote:
>So can we agree that in languages which reify execution state and
>don't allow pointer forging that reachability is decidable?

Not as I understand it. x would be reachable by a Smalltalk garbage
collector, but not truly reachable by the program itself.
He could have just as well have written:

   | x |
   x := Something new.
   self bar.
   x doSomething.
   true whileTrue: [ ..blah.. ].

x is unreachable by the definition given. It doesn't matter that a
tracing gc would know where it is in an activation frame, the program
will never access it.

   --- james mccartney     james@clyde.as.utexas.edu   james@lcsaudio.com
If you have a PowerMac check out SuperCollider, a real time synth program: