> The existing implementation of spin_unlock, when followed by > spin_lock, is equal to 'FENCE rw, rw' for operations before This is not true without Zacas, that is, when using LR/SC: write-to-read remains unordered in that case. Andrea