Переменные условия все еще нуждаются в мьютексе, если вы изменяете проверенное значение атомарно?

Вот типичный способ использования условной переменной:

// The reader(s)
lock(some_mutex);
if(protected_by_mutex_var != desired_value)
    some_condition.wait(some_mutex);
unlock(some_mutex);

// The writer
lock(some_mutex);
protected_by_mutex_var = desired_value;
unlock(some_mutex);
some_condition.notify_all();

Но если protected_by_mutex_var установлен атомарно, скажем, инструкция сравнения и обмена, служит ли мьютекс какой-либо цели (кроме того, что pthreads и другие API требуют, чтобы вы передавали мьютекс)? Используется ли защищающее государство для выполнения условия? Если нет, то безопасно ли это делать?

// The writer
atomic_set(protected_by_mutex_var, desired_value);
some_condition.notify_all();

С писателем, никогда напрямую не взаимодействующим с мьютексом читателя? Обратите внимание, что имя 'protected_by_mutex_var' больше не подходит (больше не защищено мьютексом). Если да, то необходимо ли, чтобы разные читатели использовали один и тот же мьютекс?

Ответы на вопрос(1)

Ваш ответ на вопрос