caxapa.ru :: Статья по ссылке оставила вопросы. Почитал руководство по программированию ядра. Вот что выяснил:

Nikolay_Po (03.05.2024 18:26, просмотров: 144) ответил POV на Ха, прикольное

Статья по ссылке оставила вопросы. Почитал руководство по программированию ядра. Вот что выяснил:

Пара иструкций эксклюзивного доступа гаратнирует эксклюзивность только для указанного адреса памяти и указанной ширины обращения. Цитата для LDREX: "Used to read the value of a memory location, requesting exclusive access to that location". То есть, нельзя одним заходом, обеспечить атомарность доступа более чем к 32 битам. Таим образом, эти инструкции, LDREX/STREX, больше всего подходят для атомарного R-M-W одной переменной.

Хорошая новость: допустимо вложенное использование LDREX/STREX. То есть, код, прерывающий исполнение между LDREX и STREX, сам может содержать LDREX и STREX. Нормально отработает самая глубоко вложенная пара LDREX/STREX. Так как самая глубоко вложенная STREX (запись) гарантированно сбрасывает бит эксклюзивности, остальные прерванные доступы получат отказ записи при исполнении STREX и пойдут на повтор. Вне зависимости от того, были обращения по одному адресу или по разным.

Не супер-эффективно, но Годно!

Ответить

- Оная функциональность на мелких кортексах (как и на SuperH, с которого слизана) реализована примитивнее некуда. Там один триггер на всю красоту, адрес вообще игнорится. LDREX взводит триггер, STREX проверяет, взведён ли он, выполняет запись и сбрасывает триггер. Любое прерывание триггер сбрасывает. Все. - LightElf(04.05.2024 02:19)
  - Откуда информация про то, что адрес игнорируется? А если обращение к памяти было от контроллера ПДП, без прерывания? Что, тоже адрес игнорируется? - Nikolay_Po(04.05.2024 04:28)
    - Адрес игнорируется, это описано в армовских доках на Cortex-M. Вложенные ldrex/strex работать не будут (сработает только самая глубокая пара). На STM32F4 отслеживания активности DMA я не обнаружил, да и затруднительно оно в реализации, с учётом крайне развесистого шинного хозяйства. На толстых многоядерных кортексах может и есть что. - LightElf(12.05.2024 18:49)
      - Насчёт вложений LDREX/STREX, разумеется, сработает лишь самая глубокая пара. Остальные получат отказ (фиксацию вмешательства в память). И это будет безопасно. В этом смысле оно "работает", использование вложенных LDREX/STREX - не приведёт к непредсказуемому поведению и не разрушит атомарность доступа, предусмотренную циклом с LDREX/STREX. - Nikolay_Po(13.05.2024 10:22)
        
        Ну если "зациклится" == "сработает", то да ;-) - LightElf(13.05.2024 14:01)
        
        Когда самое глубоко вложенное сделает свои дела и перестанет вызывать STREX, цикл у чуть менее глубокого успешно завершится. И так до самого верхнего уровня. - Nikolay_Po(13.05.2024 15:27)
        
        У нас, похоже, разное понимание слова "вложенный". LightElf(314 знак., 13.05.2024 15:44 - 18:40)
        
        Да. Разное. Я имел ввиду вложение этой пары инструкции внутри прерывания уже исполняемой пары. Nikolay_Po(129 знак., 13.05.2024 15:49)
        
        Но зачем, Холмс? :-) - SciFi(13.05.2024 15:48)
        
        Да фиг его знает. Просто иллюстрация к термину "вложенный". - LightElf(13.05.2024 18:41)
        
        Предложите, как сделать обновление двух переменных, без использования отдельного флага "занято". Там вложенность так и просится AlexBi(264 знак., 13.05.2024 18:22)
        
        Никак, что логично. Сделай на две переменные - завтра попросят десять переменных атомарно обновить ;-) - LightElf(13.05.2024 21:48)
        
        Увы, так не заработает. Я прикидывал и не нашёл способа атомарно обновить, при помощи этой пары инструкций, что-либо больше 32 бит. Если у STM32F адрес не проверяется, то для обоих переменных достаточно одной обёртки. Но это будет противоречить документации, где явно указано, что нужно проверять сохранность эксклюзивности доступа именно по указанному адресу и именно указанной ширины. А это лишь один адрес с шириной данных до 32 бит. - Nikolay_Po(13.05.2024 19:54)
        
        Это не у STM32, это у Cortex-M3/4 вообще. LightElf(346 знак., 13.05.2024 20:46, ссылка)
        
        Я читал руководство к конкретной серии МК "pm0056-stm32f10xxx20xxx21xxxl1xxxx-cortexm3-programming-manual-stmicroelectronics.pdf", впрочем, текст тот же, в моём случае Cortex-M3. - Nikolay_Po(13.05.2024 21:08)
        
        Именно. Не нужно доводить до абсурда. Жаль, иногда само получается. - Nikolay_Po(13.05.2024 15:50)

Микроконтроллеры