std :: atomic memory barrierの理解

Question

C++のメモリ障壁の仕組みを理解したいと思います。例えば 、私はそのような場合にはstd ::アトミック使用しています：

#include <iostream> 
#include <atomic> 

int main() 
{ 
    std::atomic<int> a; 
    int n = load();//returns 1 or other value written by other thread 
    a.store (n, std::memory_order_release); 
} 

はコードの下と同等の意味的に上記のもののコードですか？

#include <iostream> 
#include <atomic> 
int main() 
{ 
    std::atomic<int> a; 
    int n = load(); 
    std::atomic_thread_fence(std::memory_order_release); 
    n = 100;//assume assignment is atomic 
} 

私は右だ場合、私は行動を引数としてメモリバリアを受け入れることができ、すべてのC++の機能のために同じであることを確認することができますか？

Answer 1

ありませんが、それはこのと同等です：

#include <iostream> 
#include <atomic> 
int main() 
{ 
    std::atomic<int> a; 
    int n = load(); 
    std::atomic_thread_fence(std::memory_order_release); 
    a.store (12345, std::memory_order_relaxed); 
    n=100; 
} 

（値は、あなたがそこまでやったこととは異なりますが）。そこにはがフェンス内の原子ストアでなければなりません。 hereの "fence-fence synchronization"または "fence-atomic synchronization"の条件を確認してください。 aを格納する制約は設定していませんが、memory_order_releaseの範囲内になりますので、nとなります。それがフェンスの仕組みです。