C++ 11, wie Speicher, um in Atom :: Speicher und Atom :: load

Question

Update 3 zu beachten:
Nach dem Verständnis, was „Gedächtnis Ordnung“ ist, ich weiß, das Problem absolut nicht zu Compiler verwendet ist.
Und ja, weil meine CPU-Architektur ist Intel x86, egal welchen Code ich schreibe, wird der Speicherreihenfolge Effekt nie passieren.

Update 2:
Ich überprüfe den Disassembly-Code. Allerdings finde ich egal wie ich Code hinzufüge, der x.store immer vor y.store.
Das Problem sollte vom Compiler kommen (der diesen Code nicht neu anordnet) anstelle von CPU (soweit ich denke).

aktualisieren:
Nachdem ich Kommentare zu lesen, scheint es, wie ich, eine Maschine zu leihen, die CPU ist, ist alpha, arm oder ppc.
Weiß jemand, wo ich diese Art von Maschine verwenden kann, auch das ist nicht kostenlos?

Ursprung:
Ich teste den folgenden Code.

atomic<int> x(0); 
atomic<int> y(0); 

void thr1() 
{ 
    x.store(1,memory_order_relaxed); 
    y.store(1,memory_order_relaxed); 
} 

void thr2() 
{ 
    while(!y.load(memory_order_relaxed)) 
     ; 
    cout<<x.load(memory_order_relaxed)<<endl; //may 0 or 1 
} 

Ich weiß, dass die Leistung, nicht jedoch 0.
sein kann, ganz gleich, wie viel Male habe ich versucht, habe ich immer 1.
Ist dies wegen meiner CPU x86-Architektur ist?

Wenn nicht, wie kann ich dieses Problem beheben?
(BTW, ich kenne CppMem. Aber es kann keine Schleife verwenden.)

Answer 1

Was Sie erleben, ist kein "Problem". Zumindest nicht, was den Standard betrifft.

Wenn die Bestellung entspannt ist, bedeutet dies nur, dass die Bestellung nicht mehr garantiert ist. Dies bedeutet nicht, dass die Implementierungen müssen in verschiedenen Aufträgen setzen.

Ein anderer Compiler kann es zeigen; dann wieder, vielleicht nicht. Hell, nur die Optimierung ändern könnte dazu führen, dass es passiert. Dann wieder, vielleicht nicht. Es gibt schließlich nichts, was Sie tun können, um Garantie sehen die andere Reihenfolge (außerhalb der Emulation von einer Art oder ähnlichen Tools). Nur weil Sie sagen, dass etwas möglicherweise möglich sein kann, stellt nicht sicher, dass es wird oder müssen.