> > I'd just use __sync_fetch_and_or here. > > Good idea. I think we can zap the memory barrier and fix a small race > while being at it, see the incremental fix below.
Not sure about the memory barrier semantics of __sync_* (rth?), but besides that the patch seems like a good idea. Paolo
