[C++11 多线程同步] --- 条件变量的那些坑【条件变量信号丢失和条件变量虚假唤醒(spurious wakeup)】

<think>嗯，用户之前问过关于C++的shared_mutex，现在又在问条件变量是什么时候引入C++的。首先，我需要确认用户的问题是关于条件变量在C++标准中的哪个版本被引入的。用户可能是在学习多线程编程，或者在项目中遇到了同步问题，需要了解不同版本C++的支持情况。 接下来，我应该回忆一下C++标准的历史。C++11是一个重要的版本，引入了很多多线程相关的库，比如std::thread、mutex等。而条件变量作为多线程同步的重要工具，很可能也是在C++11中加入的。不过要确认这一点，可能需要查阅相关资料或标准文档。 另外，用户之前的问题是关于shared_mutex，属于C++17的内容，而这次的问题可能涉及到更早的版本。这时候需要指出条件变量是在C++11引入的，而shared_mutex是在C++17引入的，避免混淆。 然后，用户的提问方式可能表明他们正在学习多线程编程，对不同的同步机制感兴趣。因此，除了回答版本信息外，可能需要简要说明条件变量的基本用法和与互斥量的配合使用，这样用户能得到更全面的信息。 另外，要注意用户可能的实际需求，比如他们可能在移植旧代码到新标准，或者需要确保代码在不同编译器下的兼容性。这时候可能需要提到在C++11之前，可能需要使用Boost库或其他实现，而C++11之后的标准库提供了原生支持。 还要考虑用户可能的后续问题，例如条件变量的具体用法，或者与其它同步机制的区别，所以在回答中可以适当给出示例代码或使用场景，但当前问题主要是版本引入，所以不需要太深入，但简要提及可以增加回答的实用性。 最后，确保回答准确，避免错误，比如确认C++11确实引入了std::condition_variable和std::condition_variable_any，并且说明它们的区别，这样用户能更清楚选择哪个更适合他们的场景。</think>C++ 中的 **条件变量（`std::condition_variable`）** 是 C++11 标准引入的同步机制，用于在多线程编程中实现线程间的**等待与唤醒**机制。它与互斥量（`std::mutex`）配合使用，能够高效地实现线程的阻塞和条件触发，避免忙等待（busy-waiting）。 --- ### **关键点** 1. **引入版本** - **C++11** 首次在标准库中引入条件变量，包含以下两个类： - `std::condition_variable`（默认实现，通常性能更高） - `std::condition_variable_any`（更通用，可与任何满足“锁”概念的类型配合使用） 2. **核心功能** - 允许线程在某个条件不满足时主动阻塞，直到其他线程修改条件并通知（notify）它恢复运行。 - 典型场景：生产者-消费者模型、任务队列调度等。 --- ### **基本用法** ```cpp #include <iostream> #include <thread> #include <mutex> #include <condition_variable> std::mutex mtx; std::condition_variable cv; bool ready = false; // 等待线程 void wait_thread() { std::unique_lock<std::mutex> lock(mtx); cv.wait(lock, [] { return ready; }); // 等待条件满足（ready == true） std::cout << "条件满足，继续执行！" << std::endl; } // 通知线程 void notify_thread() { std::this_thread::sleep_for(std::chrono::seconds(2)); { std::lock_guard<std::mutex> lock(mtx); ready = true; } cv.notify_one(); // 唤醒一个等待线程 } int main() { std::thread t1(wait_thread); std::thread t2(notify_thread); t1.join(); t2.join(); return 0; } ``` --- ### **核心方法** - **等待（阻塞当前线程）** - `wait(lock, predicate)`：自动释放锁并阻塞，直到被唤醒且 `predicate` 返回 `true`。 - `wait_for()` / `wait_until()`：支持超时等待。 - **唤醒其他线程** - `notify_one()`：唤醒一个等待线程。 - `notify_all()`：唤醒所有等待线程。 --- ### **注意事项** 1. **必须与互斥量配合使用** 条件变量的操作需在互斥量的保护下进行，以确保条件检查的原子性。 2. **虚假唤醒（Spurious Wakeup）** 条件变量的 `wait` 可能因系统原因意外唤醒，因此必须通过**循环检查条件**或直接在 `wait` 中传入断言（predicate）。 3. **性能优化** - 优先使用 `std::condition_variable`，而非 `std::condition_variable_any`（后者更灵活但开销更大）。 - 避免频繁唤醒，合理选择 `notify_one()` 或 `notify_all()`。 --- ### **C++11 前的替代方案** 在 C++11 之前，开发者通常依赖平台特定的 API（如 POSIX 的 `pthread_cond_t`）或第三方库（如 Boost 的 `boost::condition_variable`）。 --- 条件变量是 C++ 多线程编程的核心工具之一，合理使用可以显著提升程序的并发效率和资源利用率。