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