wiki上说的是两个assert都可能fail

因为x、y这两个变量的load/store操作，在relaxed memory order下，没有任何before、after的保障。

所以store x、store y、load x、load y这些操作，任何cpu(thread)看到的都可能是任意的顺序。
--
修改:z16166 FROM 221.220.175.*
FROM 221.220.175.*