caxapa.ru :: Эти голословные заклинания есть во всех даташитах. Вопрос - что будет, если шабат не соблюдать. Как появятся коллизии? Почему именно здесь надо ставить именно этот барьер, а не другой? Давайте препарировать страшилки

Незнайкин (05.11.2017 16:05, просмотров: 1) ответил Lightelf на Если один процессор и обращение к данным в памяти (обычным переменным) - то барьеры не нужны. Барьеры нужны, если например модифицируется таблица векторов: запретили прерывания, __ISB(), записали адрес нового обработчика, __DSB(), разрешили

Эти голословные заклинания есть во всех даташитах. Вопрос - что будет, если шабат не соблюдать. Как появятся коллизии? Почему именно здесь надо ставить именно этот барьер, а не другой? Давайте препарировать страшилки

- А что там препарировать? Есть несколько шин с разной частотой и буферами записи. Обычная гонка сигналов. - Lightelf(05.11.2017 16:11)
  - Ну, мы прекрасно за десять лет разобрались с volatile и атомарностью. Страшилки понятны и формалмзуемы. А здесь? Пошаговый пример возникновения коллизии при захвате семафора без DMB, с DMB, затем что будет если поставить DSB, или ISB на поточности Незнайкин(7 знак., 05.11.2017 16:17, )
    - Смотря как реализован семафор. Скорее всего там барьеры не нужны. - Lightelf(05.11.2017 16:24)
- Есть ли прямая иерархия у самих барьеров (то есть один покрывает ли и расширяет подмножество ништяков другого или они не матрёшка)? - Незнайкин(05.11.2017 16:10, )
  - Не матрешка, друг друга в общем случае не покрывают. - Lightelf(05.11.2017 16:13)

ARM, RISC-V контроллеры