image/svg+xml WRITE_ONCE(x, 1); CPU 0 CPU 1 CPU 2 CPU 3 r1 = READ_ONCE(x); X = 0 X = 1 Time rf .