Для условных переменных все еще нужно взаимное исключение при изменении проверенного значения атомарно?

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

// 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' больше не является действительно соответствующим (это не взаимное исключение, защищенное больше). Если так, даже необходимо, чтобы различные читатели использовали то же взаимное исключение?