K
какие шрифты вкусные
Minoru
acquire запрещает переставлять чтения, идущие перед ним, за барьер
Size: a a a
2021 April 25
c
Minoru
release запрещает переставлять записи, идущие за ним, до барьера
release запрещает переставлять записи, идущие за ним, до барьера
t
я не шарю... выглядит, будто в TeX делали
K
ну так то и есть
c
Minoru
sequentially consistent acquire and release запрещает вообще что-либо переставлять через барьер
sequentially consistent acquire and release запрещает вообще что-либо переставлять через барьер
c
Minoru
давай представим, как из этого собрать простенькую синхронизацию
давай представим, как из этого собрать простенькую синхронизацию
c
Minoru
у нас будет некий producer, генерирующий данные, и consumer, который их читает. Они будут синхронизироваться с помощью volatile bool
у нас будет некий producer, генерирующий данные, и consumer, который их читает. Они будут синхронизироваться с помощью volatile bool
t
@noktoborus беги!
c
Minoru
producer должен сгенерировать данные, записать их в общую память, и выставить флаг
producer должен сгенерировать данные, записать их в общую память, и выставить флаг
c
Minoru
consumer должен busy-wait-ить в ожидании флага, а затем прочесть данные
consumer должен busy-wait-ить в ожидании флага, а затем прочесть данные
c
Minoru
какие тут риски от перестановки операций? Риск для producer в том, что установка флага произойдёт до того, как будут записаны данные. Для consumer риск в том, что чтение данных произойдёт до того, как завершится busy-wait
какие тут риски от перестановки операций? Риск для producer в том, что установка флага произойдёт до того, как будут записаны данные. Для consumer риск в том, что чтение данных произойдёт до того, как завершится busy-wait
c
Minoru
поэтому в producer перед установкой флага мы поставим release fence, записи после которого нельзя перемещать за барьер. Т.е. флаг *точно* будет записан уже после того, как выполнена запись данных
поэтому в producer перед установкой флага мы поставим release fence, записи после которого нельзя перемещать за барьер. Т.е. флаг *точно* будет записан уже после того, как выполнена запись данных
c
Minoru
в consumer мы поставим acquire fence после цикла, делающего busy-wait. Это не даст железу раньше времени читать данные — придётся дождаться, пока не будет установлен флаг
в consumer мы поставим acquire fence после цикла, делающего busy-wait. Это не даст железу раньше времени читать данные — придётся дождаться, пока не будет установлен флаг
c
Minoru
вроде, всё. Вопросы, @noktoborus?
вроде, всё. Вопросы, @noktoborus?
c
Minoru
по-моему, я где-то профукал какие-то перестановки, найдо пойти прочесть ещё раз на эту тему
по-моему, я где-то профукал какие-то перестановки, найдо пойти прочесть ещё раз на эту тему
c
Minoru
о, надо было сразу доки на Раст читать, там по-человечески написано:
> with SeqCst, no re-ordering of reads and writes across this point is allowed.
> with Release, preceding reads and writes cannot be moved past subsequent writes.
> with Acquire, subsequent reads and writes cannot be moved ahead of preceding reads.
> with AcqRel, both of the above rules are enforced.
https://doc.rust-lang.org/std/sync/atomic/fn.compiler_fence.html
о, надо было сразу доки на Раст читать, там по-человечески написано:
> with SeqCst, no re-ordering of reads and writes across this point is allowed.
> with Release, preceding reads and writes cannot be moved past subsequent writes.
> with Acquire, subsequent reads and writes cannot be moved ahead of preceding reads.
> with AcqRel, both of the above rules are enforced.
https://doc.rust-lang.org/std/sync/atomic/fn.compiler_fence.html
c
Minoru
ну что ж, правила я запомнил только наполовину
ну что ж, правила я запомнил только наполовину
c
Minoru
а, стоп, это дока на компилятор, а не инструкции для железа
а, стоп, это дока на компилятор, а не инструкции для железа
c
Minoru
ладно, пойду поем лучше
ладно, пойду поем лучше