In Разработка ядра Linux (3-е издание) , Методы синхронизации ядра, порядок и барьеры. Вот пример:
И я озадачен утверждением в этой книге:
Опять же, без барьеров памяти, можно было бы установить b
до pp прежде, чем pp был установлен в p.
Значит, автор имеет в виду, что если нет read_barrier_depends()
, b = *pp
будет выполнено до pp = p
? Как это могло быть возможно?