@banbezv1999

Итак compare_exchange_weak/strong(expected, new_value, success_mem_ordering, failure_mem_ordering)
В случае необъявления memory_ordering всё понятно - default. Если объявить seccess memory_ordering - failure выбирается автоматически, всё норм.
Непонятны, конкретно, возможности полного выбора.
Ссылаясь на Энтони Вильямса "Мультитрид в действии": "You can’t supply stricter memory ordering for failure than for success". И что это значит? Нет, прекрастно, конечно, но могу ли я послать seccess=acquire, failure=relaxed? Запрета на это нет, однако смысла это тоже не имеет.
Собственно, вопрос в следующем: можно ли использовать такую пару (acquire, relaxed), и что это будет означать?
Будет ли undefined behavior или acquire железный, что произойдёт?

0

@rat0r

Почему не имеет? См. 7.2.5 Applying the memory model to the lock-free stack

Можно. Это будет означать, что в случае успеха compare_exchange будет acquire-операцией, а в случае неуспеха — relaxed.

1