Wenn `std :: atomic_thread_fence (std :: memory_order_acquire);` keine "zugehörige atomare Operation" ... wie wird der Z ⇐ C++

[Anonymous]

Eine erwerbene Last ... hält alles (beide Speicher und Ladungen) unter der Last/Zaun. Allein. < /p>
Nicht verwandte OPs, die vor der Erwerbsbelastung liegen ... kann immer noch unter /nach der Erwerbslast neu angeordnet werden. Aber nicht abhängige Zweige können sich immer noch von
vor nach After bewegen. Zu was?atomic_thread_fence< /code> ... Ich habe festgestellt, dass der Java -Dokument die Sache noch verwirrender macht, wenn es heißt: < /p>

"sorgt dafür, dass Lasten vor dem Zaun nicht mit Ladungen nach dem Zaun umgestaltet werden. Zaun ... < /p>
Also ... um die Frage leicht umzusetzen: < /p>

Wenn der Zaun alles verankert (beide Ladungen und speichert) unter ihm ... Was verankert den Zaun selbst? Ladungen ... verhindern nicht verwandte Knoten aus dem Abhängigkeitsgraph, sich unter die Erwerbsbeladung zu bewegen ... Was verhindert, dass ein Erwerbszaun frei bewegt wird ... wenn es überhaupt nicht von einer Last verankert wird?>