-----Original Message-----
From: Todd L. Miller <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED] <[EMAIL PROTECTED]>
Date: 28 November 1999 08:51
Subject: Re: [JOS-Kernel] Next version of jjos / decaf garbage collection
>o.o = p.p;
> If o.o and p.p are local (which requires that o and p are local),
> then all four remain local.
> Otherwise, p.p gains the type of o.o (which should be the type of
> o), and p retains its current type.
> If o.o was local, mark it garbage.
What about
o.o = p.p
o2.o2 = p.p
o.o = q.q
assuming they're all local, then the last would mark p.p as garbage while
o2.o2 still holds a ref?
B.t.w., some of what you're proposing sounds like '1-bit' reference
counting, I think, which I've heard of before.
Regards
Roland
_______________________________________________
Kernel maillist - [EMAIL PROTECTED]
http://jos.org/mailman/listinfo/kernel
