Извините, но ещё немного про атомики. я правильно понимаю, что

Question

Извините, но ещё немного про атомики. я правильно понимаю, что

отсутствие гарантий сериализации доступа к переменной приведет к тому, что когда-то, теоретически, в данном коде сработает условие на 25 строке? https://goplay.space/#YOKs0MBPmYM Я запустил этот код локально, 50 тысяч горутин инкерементируют uint и проверяют значение, уже полчаса никаких сбоев. Значит, что тест неправильный или просто вероятность сбоя небольшая?

то есть всё, что мы можем сказать об атомиках - компилятор не сделает реордеринг и другие ядра не увидят промежуточных значений операции?

#backend #go #programming #russian

0

26.02.2021

14 ответов

13 просмотров

Vadim Inshakov Автор вопроса

Zver
Не означает не будет реордеринга. Просто к ячейке ...

вы сейчас про мьютексы, кажется)

0

26.02.2021

Zver

Vadim Inshakov
вы сейчас про мьютексы, кажется)

Нет.

0

26.02.2021

Zver

Vadim Inshakov
вы сейчас про мьютексы, кажется)

Мютекс позволяет эксклюзивно выполнять блок команд.

0

26.02.2021

Roman Timofeev

https://goplay.space/#dZKNQueqv7i Я чуть причесал ваш код. Условие никогда не сработает.

0

26.02.2021

Roman Timofeev

Внесите if atomic.LoadUint64(&ops) куда-нибудь сразу после atomic.AddUint64 и все заиграет новыми красками

0

26.02.2021

Vadim Inshakov Автор вопроса

Roman Timofeev
Внесите if atomic.LoadUint64(&ops) куда-нибудь сра...

нужно дождаться завершения работы всех рутин, раньше проверку вставлять нет смысла

0

26.02.2021

Vadim Inshakov Автор вопроса

Roman Timofeev
https://goplay.space/#dZKNQueqv7i Я чуть причесал...

мы просто выше обсуждали возможность грязных чтений, поэтому я написал это для теста. если это условие никогда не выполняется, значит есть гарантия сериализации доступа для разных тредов/рутин на разных ядрах

0

26.02.2021

Roman Timofeev

Vadim Inshakov
мы просто выше обсуждали возможность грязных чтени...

Грязных чтений не будет. Но нет гарантий, что только что прочитанное значение актуальное.

0

26.02.2021

Vadim Inshakov Автор вопроса

Roman Timofeev
Грязных чтений не будет. Но нет гарантий, что толь...

вот, да, это я понял наконец-то) значит теоретически в примере выше результат инкремента может быть не тем, который ожидается при сериализации доступа, а значит когда-нибудь условие выполнится. знать бы, как это спровоцировать

0

26.02.2021

Zver

Vadim Inshakov
вот, да, это я понял наконец-то) значит теоретичес...

Нет.

0

26.02.2021

Roman Timofeev

Vadim Inshakov
мы просто выше обсуждали возможность грязных чтени...

более того, чтение начавшееся раньше может прочитать значение, записанное позже.

0

26.02.2021