Understanding std :: atomare Speicherbarrieren

Question

Ich möchte verstehen, wie Speicherbarrieren in C++ funktioniert. Zum Beispiel verwende ich std :: Atom in diesem Fall:

#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); 
} 

dass Code über semantisch gleich der Ist Code unten?

#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 
} 

Wenn ich recht habe, kann ich sicher sein, dass das Verhalten für alle C++ Funktionen gleich ist, welche Speicherbarrieren als Argument akzeptieren kann?

Answer 1

Nein, aber es ist äquivalent dazu:

#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; 
} 

(obwohl der Wert anders als das, was Sie dort taten nach oben). Dort muss ein Atomspeicher innerhalb des Zauns sein. Überprüfen Sie die Bedingungen here unter "Zaun-Zaun-Synchronisation" oder "Zaun-Atom-Synchronisation". Obwohl Sie keine Einschränkungen beim Speichern von a festlegen, wird es innerhalb der memory_order_release, und so wird n. Das ist es, was ein Zaun tut.