2

Пишу под микроконтроллер в первый раз и так и не нагуглил такой вопрос.

Например, понятно что доступ к int_32 может быть атомарным на 32 битной машине, но на 16 битной скорее всего уже будет не атомарным. Но логика подсказывает, что меньше байта считать точно нельзя (по крайней мере я о таком никогда не слышал) и в теории volatile char может обеспечить эту самую атомарность.

Так ли это? Конечно я понимаю, что стандарт си ничего не говорит за это и в теории может быть какой нибудь 4х битный процессор, в котором даже char не атомарен. Но на практике, могу ли я использовать char в качестве, скажем, флага синхронизации между прерыванием и функции main?

6
  • 1
    volatile char -- можете. Лучше static (или extern. Впрочем, это один и тот же класс памяти, только области видимости разные).
    – avp
    18 апр 2018 в 20:58
  • 1
    Атомарность с размером слова ни как не связана. Например на x86 даже обычный инкремент ++i; не атомарен. И абсолютно не важно, что там, char или long long.
    – Fat-Zer
    18 апр 2018 в 21:00
  • @Fat-Zer, разве неатомарен? Точно не путаешь с шарпом или джавой?
    – Qwertiy
    18 апр 2018 в 21:10
  • 2
    @Qwertiy, inc <mem> — не атомарен, но немного в другом смысле, нежели это подразумевается на контроллерах: результаты обработки прерывания в однопроцессорной системе он не изменит, а вот в многопроцессорной потоки будут соревноваться за адрес и некоторые обновления могут пропускаться... Конечно если речь идёт об обычном адресе в обычной памяти, если это адрес из памяти какого-нибудь устройства, то даже на однопроцессорной системе он не атомарен...
    – Fat-Zer
    18 апр 2018 в 21:32
  • 1
    @Qwertiy, Небольшое замечание. Инкремент действительно не обязательно атомарен. Он без проблем может быть разделен на операции чтения, сложения и записи в память (зависит от процессора.и компилятора). А вот атомарность записи/чтения связана с размером слова + процессором (даже скорее с разрядностью процессора или даже разрядностью конкретной команды) - одни команды могут быть записаны за один такт, другие за несколько.
    – Uraty
    18 апр 2018 в 22:08

1 ответ 1

2

Стандарт Си ни о какой атомарности ничего не знает, volatile не про это, тут же вам не Ява какая-нибудь. Все что вы описали это строго аппаратно зависимые вещи. Более того, нередко производитель вычислителя еще и свой компилятор поставляет, который тоже свою специфику и отклонения имеет. Все подобные вопросы только к производителю.

Вообще, аппаратная кроссплатформа это одна сплошная боль, более разумно писать отдельно под каждый камень.

1
  • 1
    кстати, стандарт С11 знает такой хедр как <stdatomic.h>. Для справедливости стоит упомянуть, что его статус всё же «опциональное расширение».
    – Fat-Zer
    18 апр 2018 в 21:47

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.