Lines Matching refs:rmw
25 17. ATOMIC UPDATES: rmw
975 ATOMIC UPDATES: rmw
978 What does it mean to say that a read-modify-write (rmw) update, such
1006 (R ->rmw W) implies (there is no X with R ->fr X and X ->co W),
1008 where the rmw relation links the read and write events making up each
1011 Atomic rmw updates play one more role in the LKMM: They can form "rmw
1012 sequences". An rmw sequence is simply a bunch of atomic updates where
1016 Z0 ->rf Y1 ->rmw Z1 ->rf ... ->rf Yn ->rmw Zn,
1019 degenerate case). We write this relation as: Z0 ->rmw-sequence Zn.
1025 U ->cumul-fence X -> rmw-sequence Y
1030 linked by an rmw sequence means that U also propagates to each CPU
1031 before Y does. In an analogous way, rmw sequences can also extend
1035 (The notion of rmw sequences in the LKMM is similar to, but not quite
2049 first half of the atomic rmw update in a spin_lock() or a successful