p
Size: a a a
2020 February 25
DP
Как написали - так и будет
DP
Но обещать нам ничего не обещали, это правда
p
Как написали - так и будет
Так где гарантии? В том же c/c++ компилятор запросто может переупорядочить
AZ
Вроде компилятор может поменять порядок присвоения тут
DM
Пока сложилось впечатление, что никто такого не обещает
Всё что есть https://golang.org/ref/mem#tmp_2
DP
Можно сказать что параллельный поток. На самом деле ядро смотрит в эту память
прям любопытно - а как это связано с порядком присвоения?
раз ядро в эту память смотрит - там палюбэ барьер нужен, нет?
раз ядро в эту память смотрит - там палюбэ барьер нужен, нет?
p
прям любопытно - а как это связано с порядком присвоения?
раз ядро в эту память смотрит - там палюбэ барьер нужен, нет?
раз ядро в эту память смотрит - там палюбэ барьер нужен, нет?
А где у нас в го барьеры?
DP
там, где атомики
DP
ну и все, что на них верхом - мутексы, каналы, etc
p
там, где атомики
Атомики ортогональны барьерам.
Я думаю как вот это переложить на го: https://git.kernel.dk/cgit/liburing/tree/src/include/liburing/barrier.h
Я думаю как вот это переложить на го: https://git.kernel.dk/cgit/liburing/tree/src/include/liburing/barrier.h
RC
Можно сказать что параллельный поток. На самом деле ядро смотрит в эту память
там все в регистры ляжет. какой порядок у ax и cx?
RC
Атомики ортогональны барьерам.
Я думаю как вот это переложить на го: https://git.kernel.dk/cgit/liburing/tree/src/include/liburing/barrier.h
Я думаю как вот это переложить на го: https://git.kernel.dk/cgit/liburing/tree/src/include/liburing/barrier.h
насколько я понял, барьеры умеет только рантайм, из юзерского кода это нельзя
RC
точно видел барьеры у глобальных экспортируемых переменных пакета