Разница между стандартным атомным bool и атомным флагом

Я не знал переменные std::atomic, но знал о std::mutex (странное право!), предоставленное стандартом; однако одно замечание привлекло мое внимание: есть два, казалось бы, одинаковых (для меня) атомных типа, предусмотренных стандартом, перечисленным ниже:

std::atomic<bool> type
std::atomic_flag type

Также упоминается пример std::atomic_flag type -

std:: atomic_flag - это атомный булев тип. В отличие от всех специализаций std:: atomic, он гарантированно не блокируется. В отличие от std:: atomic, std:: atomic_flag не предоставляет операции загрузки или хранения.

который я не понимаю. Не гарантируется ли std::atomic bool type блокировка? Тогда это не атомный или что?

Итак, какая разница между двумя и когда я должен использовать, что?

Ответ 1

std:: атомный тип bool не защищен от блокировки?

Правильно. std::atomic может быть реализован с помощью блокировок.

то это не атомно или что?

std::atomic является атомарным, было ли реализовано с помощью блокировок или без. std::atomic_flag гарантированно реализуется без использования блокировок.

Итак, какая разница b/w two

Основное отличие, помимо гарантии блокировки:

std::atomic_flag не предоставляет операции загрузки или хранения.

и когда я должен использовать какой?

Обычно вам нужно использовать std::atomic<bool>, когда вам нужна атомная логическая переменная. std::atomic_flag - структура низкого уровня, которая может использоваться для реализации пользовательских атомных структур.

Ответ 2

std::atomic<T> гарантирует, что доступ к переменной будет атомарным. Однако он не говорит, как достигается атомарность. Он может использовать переменную блокировки или использовать блокировку. Фактическая реализация зависит от вашей целевой архитектуры и типа T.

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