Телеграмм чат группы ProCxx страница 15033

а когда переменных несколько - но каждую меняет свой thread, в определенном порядке - то важна memory model

19:01пожаловаться #1

Compiler Explorer - C++ (x64 msvc v19.20)

magras

Теперь я совершенно не понимаю что происходит.

Вот цитата из описания ключа:

> /volatile:ms
> Selects Microsoft extended volatile semantics, which add memory ordering guarantees beyond the ISO-standard C++ language. Acquire/release semantics are guaranteed on volatile accesses.

Где здесь acquire/release семантика?
https://godbolt.org/z/izGsPr

godbolt.org

volatile int x;
std::atomic y;

void Bar(int);

void Foo() {
x = 0;
y = 0;
Bar(++x);
Bar(y.fetch_add(1, std::memory_order::memory_order_relaxed));
}

Отлично. Вот у меня есть код. В одном случае я использую volatile, который под msvc обещает rel/ac, во втором std::atomic с memory order relaxed. Почему на relaxed я получаю cas, а на rel/ac ничего?

19:03пожаловаться #2

std::atomic это класс который реализуется через функции

19:04пожаловаться #3

тут CAS операция заложена в реализацию тех функций

19:05пожаловаться #4

Она тут избыточна и msvc генерирует неоптимальный код?

19:06пожаловаться #5

на x86 для реализации atomic нужен CAS или lOCK-префикс

19:07пожаловаться #6

но это очень затратная операция и не всегда нужна, когда достаточно volatile

19:08пожаловаться #7

Serg

на x86 для реализации atomic нужен CAS или lOCK-префикс

Я тоже так считаю. Но почему ее нет на volatile? Он же должен обеспечивать более строгий memory order?

19:08пожаловаться #8

не должен

19:09пожаловаться #9

строгий memory order обеспечивается на x86 аппаратно

19:09пожаловаться #10

повторюсь: если попробуете реализовать кольцевой буфер на атомиках и на volatile
то на атомиках будет работать медленнее,
но обе реализваци будут корректны
без volatile и с отключенной оптимизацией корректно будет работать только на x86

19:11пожаловаться #11

Serg

Без макрософтовского volatile даже volatile не спасает от UB. Но сейчас не об этом.

19:14пожаловаться #12

может быть. Я говорю в контесте msvc для разных платформ

19:15пожаловаться #13

У меня есть предположение что вы пытаетесь сказать, что store и load на volatile от ms атомарны, но поддерживают не все операции. В частности инкремент у них сломан. Но это же одна из базовых обераций для атомика.

19:17пожаловаться #14

store и load не всегда атомарны на x86 даже, в случае невыровненности могут быть неатомарны

19:18пожаловаться #15

атомарный инкремент есть на x86: lock inc x

19:19пожаловаться #16