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