1

Может ли выражение

variable = value;

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

5 ответов 5

2

В общем случае, выражение

variable = value;

может быть прервано "внутри". Если variable - это переменная сложного типа, например, struct, то для реального присваивания понадобится несколько машинных операций и после каждой операции может вклиниться поток более высокого приоритета. Про атомарность можно говорить только для правильно выровненных переменных размером не больше машинного слова.

2
  • Точно, я про выравнивание забыл. 13 фев 2011 в 15:44
  • На самом деле, даже если переменная типа int не выравнена, то её пересылка или присваивание всё равно будет элементарной операцией и будет выполняться одной командой процессора. Только время выполнения команды будет больше, чем при операции с выровненной переменной. А одна команда процессора - всегда атомарная операция.
    – user576
    16 фев 2011 в 3:23
2

В С++, для переменных тип которых не std::atomic<T>, во время выполнения выражения variable = value запись и чтение этой переменной из других потоков невозможна,
т.к. иначе произошла бы гонка данных (data race), а в правильной программе на С++ гонок быть не может (иначе будет неопределенное поведение, UB).

Для переменных с типом std::atomic<T> запись атомарна по определению атомарности в С++.

0

Нужно пометить переменную как volatile. Переменная должна располагаться по выровненному адресу. (кратно машинному слову)

Необходимо чтобы переменная была чем-то, что влелзает в регистр: целое, указатель, символ.

В любом случае лучше всегда посмотреть асмовый вывод, чтобы убедиться в этом. (gcc -S)

6
  • Если переменная влезает в регистр, то volatile тут вообще ни при чём и без него можно спокойно обойтись, если не нужен ИМЕННО volatile.
    – cy6erGn0m
    13 фев 2011 в 15:58
  • volatile указывает компилятору, что переменная может быть изменена неочевидным для него способом и остерегает от оптимизаций, так? 13 фев 2011 в 16:03
  • Точно. Но это не меняет погоды в связи атомарностью\неатомарностью. Это влияет совсем на другое. Вы можете спокойно выкинуть volatile и не испортить этим атомарность. Это повлияет только на своевременную доступность переменной другим потокам. Но в любом случае они получат либо старую, либо новую версию.
    – cy6erGn0m
    13 фев 2011 в 16:06
  • Вы уверены что после того как выкинете volatile, компилятор не выкинет вашу переменную в целях оптимизации, или оставит ее новое значение регистре до поры до времени?
    – IronVbif
    13 фев 2011 в 16:25
  • Может и оставит. Но вопрос-то был не о том ;)
    – cy6erGn0m
    13 фев 2011 в 16:29
-1

Думаю, если value это константа, а variable обьявлена как volatile, то в середину этой операции другой поток не вклинится.

1
  • 3
    Запросто можно вклиниться при присвоении чего-то, что не влезает в регистр. Например, 64битное целое на 32битном процессоре.
    – cy6erGn0m
    13 фев 2011 в 15:57
-1

Если доступ к переменной происходит как к единому целому(тоесть запись например дворда или состояния fpu), то операция атомарна. Если переменная сложная, то необходима синхронизация. Тоесть в простейшем случае переменная дворд, а вы обращаеттесь к ней как к байту. Хардварно решается использование префикса Lock. Програмно обсуждать смысла нет, так как это скрипта проблемы.

Ваш ответ

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

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