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