Re: SMP syncronization on AMD processors (broken?)

[linux@horizon.com]

> This may work on some processors, but on others the read of "progress" 
> in XXX, or the write in YYY may require arch-specific code to force the 
> update out to other cpus.
> 
> Alternately, explicitly atomic operations should suffice, but a simple 
> increment is probably not enough for portable code.

Er.. you mean, the pre-incremented value could be cached *indefinitely*
by XXX?  That seems odd...

I can see an arch hook (memory barrier sort of thuing) to push it out a
bit faster, but are there architecures on which noticing the increment
could be delayed indefinitely?

In particular, that same hook would already be used by the spin lock
release sequence (to ensure that someone else notices the lock is now
available), and unless it's address-specific, it would do for the
"progress" counter as well.