caxapa.ru :: Если один процессор и обращение к данным в памяти (обычным переменным) - то барьеры не нужны. Барьеры нужны, если например модифицируется таблица векторов: запретили прерывания, __ISB(), записали адрес нового обработчика, _

Lightelf (05.11.2017 15:54, просмотров: 183) ответил Незнайкин на Здесь по недавней ссылке на арм-ресурс увидел кусочек кода, где сразу после удачного захвата семафора к разделяемому ресурсу, перед обращением к нему рекомендуется ставить DMB. И понял что ничего не понимаю в барьерах. Может, посвятим этому

Если один процессор и обращение к данным в памяти (обычным переменным) - то барьеры не нужны. Барьеры нужны, если например модифицируется таблица векторов: запретили прерывания, __ISB(), записали адрес нового обработчика, __DSB(), разрешили прерывания. Или при обращении к устройствам: включили тактирование блока, __DSB(), обращаемся к блоку. Или: записали данные в память, __DSB(), командуем DMA забрать данные. Или если модифицируем код, тогда перед обращением к измененному коду - __ISB(). Как-то так.

Не надо делать мне как лучше, оставьте мне как хорошо

Ответить

- Эти голословные заклинания есть во всех даташитах. Вопрос - что будет, если шабат не соблюдать. Как появятся коллизии? Почему именно здесь надо ставить именно этот барьер, а не другой? Давайте препарировать страшилки - Незнайкин(05.11.2017 16:05, )
  - А что там препарировать? Есть несколько шин с разной частотой и буферами записи. Обычная гонка сигналов. - 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 контроллеры