caxapa.ru :: Здесь по недавней ссылке на арм-ресурс увидел кусочек кода, где сразу после удачного захвата семафора к разделяемому ресурсу, перед обращением к нему рекомендуется ставить DMB. И понял что ничего не понимаю в барьерах. Может, посвятим этому

Незнайкин (05.11.2017 08:46, просмотров: 6701)

Здесь по недавней ссылке на арм-ресурс увидел кусочек кода, где сразу после удачного захвата семафора к разделяемому ресурсу, перед обращением к нему рекомендуется ставить DMB. И понял что ничего не понимаю в барьерах. Может, посвятим этому веточку? Вопросы такие: почему именно ДМБ а не другой барьер, и какая опасность ждет растяпу? Желательно по фазам конвейера и тактам. Также просьба к прошаренным коллегам рассказать о других случаях барьеров. Может, удастся формализовать правила наряду с уже понятыми volatile и атомарным обращениям.Пора понимать механизмы

- Если один процессор и обращение к данным в памяти (обычным переменным) - то барьеры не нужны. Барьеры нужны, если например модифицируется таблица векторов: запретили прерывания, __ISB(), записали адрес нового обработчика, __DSB(), разрешили Lightelf(266 знак., 05.11.2017 15:54)
  - Эти голословные заклинания есть во всех даташитах. Вопрос - что будет, если шабат не соблюдать. Как появятся коллизии? Почему именно здесь надо ставить именно этот барьер, а не другой? Давайте препарировать страшилки - Незнайкин(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)
- КМК, у Joseph Yiu понятно написано, для чего каждый из барьеров применяется Vit(704 знак., 05.11.2017 10:00, ссылка, ссылка)

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