c++11中的内存建模测试，对memory_order_relaxed很好奇

我已经阅读了网页：

http://bartoszmilewski.com/2008/12/01/c-atomics-and-memory-ordering/

然后对g++4.8.1编译的测试源进行编码，cpu为英特尔。。。

global var : r1=0;r2=0;x=0;y=0;
Thread1 : 
         x  = 1 ;  //line 1 
         r1 = y ;  //line 2
Thread2 :
         y  = 1 ;  //line 3 
         r2 = x ;  //line 4

并且我将得到r1＝＝0&amp；r2＝＝0，有时同时运行线程1和线程2，我知道这是之前执行的y（第2行）和x（第4行）的负载存储x（第1行），存储y（第3行）。。。。即使是像intel cpu这样的强内存模型，存储之前的负载紊乱仍然发生，这就是为什么r1==0&amp；r2==0仍然发生在这次测试中！！！！

参考c++11内存模型，我更改了如下来源：

global vars :
             int r1=0,r2=0 ;
             atomic<int> x{0} ;
             atomic<int> y{0} ; 
Thread1 :
             x.store(1,memory_order_acq_rel) ;
             r1=y.load(memory_order_relaxed) ;
Thread2 :
             y.store(1,memory_order_acq_rel) ;
             r2=x.load(memory_order_relaxed) ;

这一次，没有r1＝＝0&amp；r2==0发生时，我使用的内存顺序到我一开始提到的网站，请参阅声明：

memory_order_aquire：确保后续加载不会在当前加载或任何先前加载之前移动。

memory_order_release：前面的存储不会移过当前存储或任何后续存储。

memory_order_aq_rel：结合前面两个保证

memory_order_relaxed：所有重新排序都可以。

看看工作。。。我仍然做另一个测试，我把代码改为：

global vars :
             int r1=0,r2=0 ;
             atomic<int> x{0} ;
             atomic<int> y{0} ; 
Thread1 :
             x.store(1,memory_order_relaxed) ;
             r1=y.load(memory_order_relaxed) ;
Thread2 :
             y.store(1,memory_order_relaxed) ;
             r2=x.load(memory_order_relaxed) ;

让我困惑的是，这个测试仍然没有得到r1==0&amp；r2==0！！如果这种情况有效，为什么要使用memoryorderaq_rel呢？或者这只起作用在英特尔cpu？其他类型的cpu仍然需要x和y的存储中的memoryorderaq_rel？