Если `std :: atomic_thread_fence (std :: memory_order_acquire);` нет "связанной атомной операции" ... как закрепляется з ⇐ C++

[Anonymous]

Br нагрузку, похожую на приобретатель ... будет держать все (как хранилища, так и нагрузки) под нагрузкой/ограждением.
Но это не означает, что все выше/до того, как нагрузка приобретения не будет двигаться внизу ...
Это означает, что только узлы в графике зависимости, которые относятся к нагрузке (нацеленный на нагрузку, нагрузку, нагрузку, в будущем. /> Несвязанные OPS, которые расположены до приобретения ... все еще могут быть переупорядочены ниже /после нагрузки приобретения. < /p>
Можно сказать: < /p>

Приобретающая нагрузка становится закрепленной ветвью зависимостей, которая привела к
этой определенной нагрузкой. Но не зависящие ветви все еще могут перемещаться от
до после. Что?atomic_thread_fence< /code> ... Я обнаружил, что Java Doc делает вопросы еще более запутанными, поскольку в нем говорится: < /p>

»гарантирует, что нагрузки до того, как забор не будет переупорядочен с нагрузками
, и хранит после ограждения. Забор ...
Итак ... слегка перефразировать вопрос:

Если забор закрепляет все (как нагрузки, так и хранилища) под ним ... что закрепляет сам забор? Предотвратить не связанные узлы из графа зависимостей, чтобы перейти ниже приобретения ... что мешает свободно перемещению приобретения-фонда ... если он вообще не закреплена какой-либо нагрузкой?>

Подробнее здесь: https://stackoverflow.com/questions/797 ... e-an-assoc