Здравствуйте, B0FEE664, Вы писали:

BFE>Есть явная гарантия получения "актуального" значения при использовании операций ведущих к синхронизации:
BFE>1.10/8
BFE>

BFE>Certain library calls synchronize with other library calls performed by another thread. For example, an
BFE>atomic store-release synchronizes with a load-acquire that takes its value from the store.

я не уверен, что твоя интерпретация этой цитаты корректна. надо мне вспомнить что такое "synchronize with"

U>>исключениями я бы назвал RMW операции (даже с relaxed order), где есть гарантия получить свежее значение (хотя опять не ясно через сколько лет)
BFE>Нет такой гарантии.

так вот же стандарт:

29.3 Order and Consistency [atomics.order]
...
11 Atomic read-modify-write operations shall always read the last value (in the modification order) written
before the write associated with the read-modify-write operation.