Будет ли состояние гонок, если один поток меняет переменную типа bool, а другой читает из неё?
1,00
р.
Существует 2 потока, один из которых читает данные из переменной типа bool, а другой может менять её значение.
Являются ли эти две операции атомарными по отношению друг к другу?
А если нет, то подскажите, пожалуйста, какую-нибудь стандартную обертку, чтобы сделать монопольный доступ к этой переменной. Разумеется, можно сделать метод доступа, который бы синхронизировал доступ, но мне не хочется изобретать велосипед.
Используются ОС Unix
Ответ
Операции не могут быть атомарными по отношению друг к другу, они либо атомарные, либо неатомарные.
Собственно, если переформулировать ваш вопрос как "Являются ли read и write для bool атомарными?", то на него уже можно попытаться ответить.
А ответ достаточно простой - нет, не являются.
Атомарность этих операций нигде не специфицирована, поскольку она зависит от архитектуры машины, на которой выполняется скомпилированный код. Так, чтение bool в unaligned случае вполне может привести к генерированию 2+ инструкций.
Вторая проблема - когерентность кэшей. Операция должна быть инвариантной относительно всех кэшей процессора, а значит потенциально она перестает быть атомарной.
Теперь чуть ближе к практике. В новом стандарте C++11 для гарантированной атомарности операций над интегральными типами следует использовать std::atomic_bool.
Если используется boost, то лично я бы (не знаком с вашей задачей и тыкаю пальцем в небо) организовал сихронизацию при работе с переменной типа bool с помощью boost::condition_variable.
Возможно, вам подойдет использование (специфично для WinAPI) Interlocked функций для доступа к переменной или же, например, какой-нибудь классический механизм синхронизации типа Critical Section.
...
Подробнее по поводу атомарности операций read / write, их архитектурозависимости и про Microsoft-specific обещания касательно применения volatile можно почитать здесь и здесь.
Являются ли эти две операции атомарными по отношению друг к другу?
А если нет, то подскажите, пожалуйста, какую-нибудь стандартную обертку, чтобы сделать монопольный доступ к этой переменной. Разумеется, можно сделать метод доступа, который бы синхронизировал доступ, но мне не хочется изобретать велосипед.
Используются ОС Unix
Ответ
Операции не могут быть атомарными по отношению друг к другу, они либо атомарные, либо неатомарные.
Собственно, если переформулировать ваш вопрос как "Являются ли read и write для bool атомарными?", то на него уже можно попытаться ответить.
А ответ достаточно простой - нет, не являются.
Атомарность этих операций нигде не специфицирована, поскольку она зависит от архитектуры машины, на которой выполняется скомпилированный код. Так, чтение bool в unaligned случае вполне может привести к генерированию 2+ инструкций.
Вторая проблема - когерентность кэшей. Операция должна быть инвариантной относительно всех кэшей процессора, а значит потенциально она перестает быть атомарной.
Теперь чуть ближе к практике. В новом стандарте C++11 для гарантированной атомарности операций над интегральными типами следует использовать std::atomic_bool.
Если используется boost, то лично я бы (не знаком с вашей задачей и тыкаю пальцем в небо) организовал сихронизацию при работе с переменной типа bool с помощью boost::condition_variable.
Возможно, вам подойдет использование (специфично для WinAPI) Interlocked функций для доступа к переменной или же, например, какой-нибудь классический механизм синхронизации типа Critical Section.
...
Подробнее по поводу атомарности операций read / write, их архитектурозависимости и про Microsoft-specific обещания касательно применения volatile можно почитать здесь и здесь.
