Dv
Наверное!
Size: a a a
2021 April 25
t
b-word 37
O
вы оба никогда не смеялись?
c
Minoru
ух, кажется я и в барьеры наконец-то въехал!
ух, кажется я и в барьеры наконец-то въехал!
c
Minoru
ну, или в заборы эти, пофигу
ну, или в заборы эти, пофигу
c
Minoru
https://arxiv.org/pdf/1803.04432.pdf норм статья про модель памяти в плюсах
https://arxiv.org/pdf/1803.04432.pdf норм статья про модель памяти в плюсах
c
Minoru
гм, кстати, авторы из Австрии. Это что, единственный регион в мире, где кто-то шарит эту байду?
гм, кстати, авторы из Австрии. Это что, единственный регион в мире, где кто-то шарит эту байду?
O
го пересказывать про барьеры так, что бы я понял
t
модель памяти же из Java взяли
O
если не сможешь - значит не въехал
c
Minoru
@ttldtor: прям дословно? По-моему, нет. В том пейпере Бёма, что я упоминал, было написано, что для слабо типизированного языка вроде плюсов нет смысла так сильно загоняться с happens-before
@ttldtor: прям дословно? По-моему, нет. В том пейпере Бёма, что я упоминал, было написано, что для слабо типизированного языка вроде плюсов нет смысла так сильно загоняться с happens-before
c
Minoru
но в итоге в Стандарте это есть, так что не знаю. Может, Коммитет его уговорил передумать
но в итоге в Стандарте это есть, так что не знаю. Может, Коммитет его уговорил передумать
c
Minoru
@noktoborus: ну, давай. Как ты знаешь, и компилятор, и железо могут как угодно переставлять местами чтение и запись переменных, это не меняет наблюдаемое поведение программы
@noktoborus: ну, давай. Как ты знаешь, и компилятор, и железо могут как угодно переставлять местами чтение и запись переменных, это не меняет наблюдаемое поведение программы
c
Minoru
программистам это мешает строить примитивы синхронизации вроде мьютексов и прочего, потому что по определению, примитив должен залочиться до того, как будут прочитаны/записаны защищаемые им данные
программистам это мешает строить примитивы синхронизации вроде мьютексов и прочего, потому что по определению, примитив должен залочиться до того, как будут прочитаны/записаны защищаемые им данные
t
ну нет, но про хэперс бефо тоже есть https://en.wikipedia.org/wiki/Java_memory_model
c
Minoru
а если железо как попало переставляет чтения/записи, то в итоге оно может переставить чтение/запись данных *до* лока. И лок станет бесполезным!
а если железо как попало переставляет чтения/записи, то в итоге оно может переставить чтение/запись данных *до* лока. И лок станет бесполезным!
c
Minoru
чтобы справиться с этой проблемой, в железе есть инструкции-барьеры, подсказывающие железу, что переставлять можно, а что нет
чтобы справиться с этой проблемой, в железе есть инструкции-барьеры, подсказывающие железу, что переставлять можно, а что нет
t
22 страница
c
Minoru
конкретно, есть три вида барьеров: acquire, release, sequentially consistent acquire and release
конкретно, есть три вида барьеров: acquire, release, sequentially consistent acquire and release