Что происходит, когда условная переменная получает уведомление, но еще не имеет блокировки? ⇐ C++

[Anonymous]

Код: Выделить всё

std::condition_variable cv;
std::mutex m_cnt;
int cnt = 0;
void producer() {
std::unique_lock ul(m_cnt);
cnt++;
cv.notify_one();
std::this_thread::sleep_for(std::chrono::seconds(1));
}
void consumer() {
std::unique_lock ul(m_cnt);
cv.wait(ul, [] {return cnt > 0;}); // ---> Here
cnt--;
}

Что происходит в следующем примере в cv.wait()? Он был уведомлен производителем, но у него нет m_cnt(lock) для дальнейшего движения. После того как потребитель "уведомлен", он продолжает попытки получить блокировку бесконечно?

Подробнее здесь: https://stackoverflow.com/questions/791 ... e-the-lock