Subj : Re: full-blown experiential smr-based reference counted pointer impl...
To   : comp.programming.threads
From : Alexander Terekhov
Date : Fri Apr 01 2005 02:49 pm

Joe Seigh wrote:
[...]
> > // Acquire Hazard
> >  load target
> > loop:
> >  store target into hazard
> 
>       ( store/load + store/store)

There's no need store/store here.
 
        ( store/load )

> >  load target
> 
> >  compare target with hazard, goto loop if non-equal

        ( load/load + load/store )

Acquire must be done with respect to the successful validation 
load. ABA, y'know.

regards,
alexander.

.