Какова задача std :: unique_lock при использовании с std :: conditional_variable :: wait()

Question

Я довольно смущен необходимостью std::unique_lock, когда вы ждете std::conditional_variable. Поэтому я просматриваю код библиотеки в VS 2013 и больше запутался. Это как std::conditional_variable::wait() реализовано:

void wait(unique_lock<mutex>& _Lck) 
    { // wait for signal 
    _Cnd_waitX(&_Cnd, &_Lck.mutex()->_Mtx); 
    } 

Это какая-то шутка? Оберните мьютексы в уникальном_блоке и ничего не делайте, но верните его назад? Почему бы просто не использовать мьютексы в списке параметров?

Answer 1

Идея состоит в том, что когда вы вызываете wait, вы хотите получить сигнал, когда значение переменной изменяется (следовательно, condition_variable). Теперь, поскольку вы обращаетесь к рассматриваемой переменной из нескольких потоков (иначе вам не нужна синхронизация), она, вероятно, будет защищена мьютексом. Итак, пока вы ждете изменения переменной, вам нужно отказаться от мьютекса, и когда вы получите сигнал, вы должны его получить. Это то, что эта функция делает для вас.

Answer 2

Проблема в том, что когда вы просыпаетесь после того, как получили сигнал, вам необходимо уже заблокировать мьютекс. Если вы попытаетесь заблокировать мьютекс после просыпания по сигналу, вы получите условие гонки. С другой стороны, ожидание переменной условия не может заблокировать этот мьютекс сам по себе, поскольку он не сможет правильно вернуть вам блокировку, и обычно вы должны заблокировать мьютекс, прежде чем вы все равно в ожидании.