Subj : Re: Proxy GC
To   : comp.programming.threads
From : Joe Seigh
Date : Mon Sep 26 2005 09:08 pm

I wrote:
> 
> Also, if you're using a mutex on the write side, you don't
> need to hold it while calling the proxy defer routine as
> long as the proxy object swap logic maintains FIFO order
> (proxy objects are freed in same order as the swap order).
> This means I can put the Kung Fu monkey through the trees
> swap logic back into atomic pointer proxy collector defer
> routine (appc::defer) if and when I ever release it again.
> Could even do it for other proxy GC like RCU+SMR as well
> though the latter is pretty much moot.
> 

No, that's wrong now that I think about it a little more.
You have to delete the proxy objects in the same order that
you do the deletes on your data structure.  The formal
reasoning for this is similar to the fifo logic used for
the RCU+SMR.


-- 
Joe Seigh

When you get lemons, you make lemonade.
When you get hardware, you make software.

.