Подскажите пожалуйста, атомарно ли чтение 32-х разрядной переменной в Cortex-M3?

Question

Подскажите пожалуйста, атомарно ли чтение 32-х разрядной переменной в Cortex-M3?

Нужно чтобы не было ситуации, когда запись в эту переменную в прерывании приводит ее в некорректное состояние (когда первые два байта уже записаны, остальные нет или наоборот)

#it #programming #russian #web-design

0

18.10.2021

17 ответов

18 просмотров

Serg Sapov Автор вопроса

零幡田
Если переменная выровнена, то атомарно.

А как ее принудительно выровнять? IAR

0

18.10.2021

Egor

все сильно зависит, есть ли кеш

0

18.10.2021

Egor

Serg Sapov
А как ее принудительно выровнять? IAR

ее принудительно можно не выровнено положить, а если ничего не делать, то она будет выровнена

0

18.10.2021

Leonid Zaliubovskyi

используй барьеры, перед доступом к ней и критическую секцию (запрет прерываний) и будет тебе счастье, не только с 32 битными переменными) А вообще, опиши кейс, что ты хочешь конкретно. Есть разные способы получить желаемое

0

18.10.2021

hold3r

Да, для Си в stm32 чтение и запись 1, 2 и 4 байтовых переменных - атомарны

0

18.10.2021

ankhar Kharitonov

hold3r
Да, для Си в stm32 чтение и запись 1, 2 и 4 байтов...

А если переменная находится в составе не выровненной структуры? Просто интересно

0

18.10.2021

Stas Koynov

Leonid Zaliubovskyi
используй барьеры, перед доступом к ней и критичес...

для него это избыточно, как я понял у него такой кейс: есть: volatile uint32_t cnt; есть irq (одно) он в нем как то модифицирует скажем так: cnt++ Вопрос, нужно ли выравнивать данные и не будет ли ситуация что при чтении cnt из основной программы в cnt будет каша из-за отсутствия атомарности чтения. Так как прерывания одно и данные по дефолту компилятром выровнены, ему никаких телодвижений больше делать не нужно. ибо ldr будет один. а так как волотайл есть, то чтение будет всегда актуальным., атомик был бы нужен, если cnt модифицировалась в разных прерываниях с разными приоритетами.

0

18.10.2021

Egor

ankhar Kharitonov
А если переменная находится в составе не выровненн...

не атомарно

0

18.10.2021

Leonid Zaliubovskyi

hold3r
Да, для Си в stm32 чтение и запись 1, 2 и 4 байтов...

но в идеале, лучше критической секцией обмазать. Чтобы прерывание не поменяло чего. Ибо бывают кейсы разные, потому чтобы наверняка - критические секции

0

18.10.2021

hold3r

Leonid Zaliubovskyi
но в идеале, лучше критической секцией обмазать. Ч...

Как оно поменяет в случае к доступа к базовым 4битный данным? )

0

18.10.2021

hold3r

ankhar Kharitonov
А если переменная находится в составе не выровненн...

In ARMv7-M, the single-copy atomic processor accesses are: • all byte accesses. • all halfword accesses to halfword-aligned locations. • all word accesses to word-aligned locations.

0

18.10.2021

Stas Koynov

ankhar Kharitonov
А если переменная находится в составе не выровненн...

если структура упакована, то компилятор будет судить по своим ивристикам, как лучше (быстрее) это дело прочитать. но М3 и старше невыровненное чтение есть из коробки. просто ldr будет один как команда, но вот на шине команда разабьется на несколько транзакций. на M0 он получит UsageFault (если сам ручками будет читать) компилятор же зная что выровнено а что нет, сам разрулит вплоть до побайтного чтения

0

18.10.2021

Leonid Zaliubovskyi

hold3r
Как оно поменяет в случае к доступа к базовым 4бит...

4 байтным наверное все же. Например у тебя структуру читает, которая выровненная и состоит из нескольких полей и потом созраняет. Вместо нескольких LDR-STR можент оказаться пара LDM-STM - вот один из примеров

0

18.10.2021

Vyacheslav Olkhovchenkov

Leonid Zaliubovskyi
4 байтным наверное все же. Например у тебя структу...

ldm невыровненным быть не может, т.е. оно будет читать отдельные 32битные -- атомарно. так что нет, не может

0

18.10.2021

Leonid Zaliubovskyi

Vyacheslav Olkhovchenkov
ldm невыровненным быть не может, т.е. оно будет чи...

да, но вот как раз между чтениями 32битных переменных может и вклинится прерывание и сломать всю малину. Ибо асинхронное

0

18.10.2021