D
store release это обычный store
Size: a a a
2020 May 09
D
можешь проверить
DF
Да , но за ним идёт обычный рид
DF
Который Рид аквайр
DF
Так и работает)
DF
То есть я правильно понимаю , что на х86 может оказаться так что одно ядро записало в стор буффер а другое прочитало по этому же тегу (rel потом acq сценарий) и получило старое значение?
DF
Стандарт c++ говорит что такой сценарий synchronized with и как следствие inter thread happens before , то есть такого не может быть
D
Dollar Føølish
То есть я правильно понимаю , что на х86 может оказаться так что одно ядро записало в стор буффер а другое прочитало по этому же тегу (rel потом acq сценарий) и получило старое значение?
да именно с release может получится "старое значение"
DF
Понятно
D
если ты мне не веришь можешь пойти вот сюда http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/
D
и тут проверить
DF
Интересно , жаль я с телефона
DF
А ресурс хороший
D
это ресурс от людей которые формализировали стандарт, им можно доверять
D
хотя даже они немного проебались)
DF
Логично
DF
Там сложно не проебаться
D
а знаешь где, в hypotetical release sequence)
DF
Хорошо , я посмотрю потом
D