image/svg+xml Given this ordering ... .... RCU guarantees this ordering. rcu_read_lock() MemoryReference X0 MemoryReference Y0 MemoryReference Y1 synchronize_rcu() MemoryReference X1 rcu_read_unlock() P0() P1() .