[gclist] Time-stamping objects...

Peter Froehlich p.froehlich@amc.cube.net
Sat, 13 Apr 1996 16:53:33 +0200


Hi there!

   As  you  might  remember  I'm  doing  research on programming languages,
especially on Oberon-2.

   I  recently  found  a paper about side-effect free functions.  It argued
that you could dynamically ensure side-effect-freeness by time-stamping all
dynamically  created  objects,  thereby  getting  more  "functional" in the
framework of an imperative language.

   Now,  as I find this approach quite good for the "function thing", I was
wondering  if there are efficient GC algorithms that need such a time-stamp
too.  I could thus achieve two goals with one mechanism.

   Oberon-2  normally uses mark-and-sweep GCs.  I understand that there are
"generation-based"  GC  algorithms?   Are  they  "better"  than  a "simple"
mark-and-sweep?

   Keep this list alive!  :-)
                  _
By(T)e...   /| _ //3000 /\ <p.froehlich@amc.cube.net> :-) /\ Advocate |\
   Peter... \| \X/\miga \/ <p.froehlich@link-m.de>    :-( \/ Froderon |/