条件変数でnotifyを呼び出すと、mutexがロック解除されるのですか？

mutexが条件変数で使用されたときに何が起こるのかを理解しようとしています。次の例で条件変数でnotifyを呼び出すと、mutexがロック解除されるのですか？

、ミューテックスのロックが解除される前に、プロデューサスレッドはcond_var.notify_one（）を呼び出しcppreference

int main() 
{ 
    std::queue<int> produced_nums; 
    std::mutex m; 
    std::condition_variable cond_var; 
    bool done = false; 
    bool notified = false; 

    std::thread producer([&]() { 
     for (int i = 0; i < 5; ++i) { 
      std::this_thread::sleep_for(std::chrono::seconds(1)); 
      std::unique_lock<std::mutex> lock(m); 
      std::cout << "producing " << i << '\n'; 
      produced_nums.push(i); 
      notified = true; 
      cond_var.notify_one(); 
     } 

     done = true; 
     cond_var.notify_one(); 
    }); 

    std::thread consumer([&]() { 
     std::unique_lock<std::mutex> lock(m); 
     while (!done) { 
      while (!notified) { // loop to avoid spurious wakeups 
       cond_var.wait(lock); 
      } 
      while (!produced_nums.empty()) { 
       std::cout << "consuming " << produced_nums.front() << '\n'; 
       produced_nums.pop(); 
      } 
      notified = false; 
     } 
    }); 

    producer.join(); 
    consumer.join(); 
}

から採取しました。 notifyが呼び出されたときにmutex mがロック解除されるか、またはmutexがロック解除されたときにのみ通知が行われますか？

出典

2012-10-22 danny