> At any rate, it looks like instead of strengthening the relation, I > should write a patch that removes it entirely. I also will add new, > stronger relations for use with locking, essentially making spin_lock > and spin_unlock be RCsc.
Thank you. Ah let me put this forward: please keep an eye on the (generic) queued_spin_lock() queued_spin_unlock() (just to point out an example). Their implementation (in part., the fast-path) suggests that if we will stick to RCsc lock then we should also stick to RCsc acq. load from RMW and rel. store. Andrea > > Alan >