[TOC] ## std::condition_variable - 線程可能需要等待某個條件為真才能繼續執行， 而一個忙等待循環中可能會導致所有其他線程都無法進入臨界區使得條件為真時，就會發生死鎖 - `condition_variable`實例被創建出現主要就是用于喚醒等待線程從而避免死鎖 - `std::condition_variable`的`notify_one()`用于喚醒一個線程；`notify_all()`則是通知所有線程 ### 實例 ``` #include <queue> #include <chrono> #include <mutex> #include <thread> #include <iostream> #include <condition_variable> int main() { std::queue<int> produced_nums; std::mutex mtx; std::condition_variable cv; bool notified = false; // 通知信號 // 生產者 auto producer = [&]() { for (int i = 0; ; i++) { std::this_thread::sleep_for(std::chrono::milliseconds(900)); std::unique_lock<std::mutex> lock(mtx); std::cout << "producing " << i << std::endl; produced_nums.push(i); notified = true; cv.notify_all(); // 此處也可以使用 notify_one } }; // 消費者 auto consumer = [&]() { while (true) { std::unique_lock<std::mutex> lock(mtx); while (!notified) { // 避免虛假喚醒 cv.wait(lock); } // 短暫取消鎖，使得生產者有機會在消費者消費空前繼續生產 lock.unlock(); // 消費者慢于生產者 std::this_thread::sleep_for(std::chrono::milliseconds(1000)); lock.lock(); while (!produced_nums.empty()) { std::cout << "consuming " << produced_nums.front() << std::endl; produced_nums.pop(); } notified = false; } }; // 分別在不同的線程中運行 std::thread p(producer); std::thread cs[2]; for (int i = 0; i < 2; ++i) { cs[i] = std::thread(consumer); } p.join(); for (int i = 0; i < 2; ++i) { cs[i].join(); } return 0; } ``` 但實際上因為`std::mutex`的排他性， 我們根本無法期待多個消費者能真正意義上的并行消費隊列的中生產的內容，我們仍需要粒度更細的手段