讲师中心 微信公众号
AI工具推荐 视频效率加速

C++实现生产者消费者模型 _ condition_variable通知机制【源码】

雨枫大大_5257

雨枫大大_5257

发布时间:2026-04-13 18:30:04

|

156人浏览过

|

来源于php中文网

原创

notify_one() 有时不唤醒消费者,根本原因是唤醒时机与锁配合不当,如消费者未进入等待状态或唤醒发生在加锁前;正确做法是所有操作均用同一mutex保护,wait必须用带谓词重载,且notify应在状态更新后、锁内调用。

c++实现生产者消费者模型 _ condition_variable通知机制【源码】

为什么 notify_one() 有时不唤醒消费者?

根本原因不是函数写错了,而是唤醒时机和锁的配合出了问题。常见现象是生产者调用了 notify_one(),但消费者仍在 wait() 中阻塞——这通常因为消费者还没来得及进入等待状态,或者唤醒发生在消费者加锁前。

正确做法是:所有对共享队列的操作(push/pop)、wait()、notify_one() 都必须在同一个 std::mutex 保护下进行,且 wait() 必须用带谓词的重载形式,避免虚假唤醒。

  • 永远不要裸调 wait(lock),必须用 wait(lock, [&]{ return !queue.empty(); })
  • notify_one() 可以在释放锁之后调用,但更安全的做法是「在持有锁时通知」,确保唤醒与状态变更原子可见
  • 如果多个消费者线程竞争,notify_one() 只唤醒一个;需唤醒全部时改用 notify_all(),但要注意惊群效应

如何避免死锁和数据竞争?

典型死锁场景:消费者在 wait() 前已持锁,而生产者也在同一把锁下卡住;或两个线程分别按不同顺序获取 mutex 和其他资源。

核心原则:只用一把 std::mutex 保护队列本身,不把它用于其他无关逻辑。所有访问 queue 的路径(包括判空、pop、push)都必须先 lock,操作完再 unlock —— wait() 会自动释放并重获该锁,无需手动干预。

C++ 算法竞赛自动化测试数据生成与校验框架
C++ 算法竞赛自动化测试数据生成与校验框架

根据原题生成新题面、验证器及完整测试数据,自动套用 testlib 模板,用于用户要求生成测试数据时。

下载

立即学习“C++免费学习笔记(深入)”;

  • 不要在 wait() 的谓词里修改共享状态(比如调用 queue.pop()),谓词只做判断
  • pop 操作必须在谓词为 true 后、且仍在锁保护下执行
  • 若队列类型是 std::queue<int>,注意它没有线程安全的 front() + pop() 原子组合,必须拆成两步并保证中间不被抢占

std::condition_variable 必须和 std::unique_lock<std::mutex> 配合吗?

是的,std::condition_variable::wait() 只接受 std::unique_lock<std::mutex>,不能传 std::lock_guard 或裸指针。这是设计使然:wait 需要能临时释放锁、挂起线程、并在唤醒后重新加锁,只有 unique_lock 支持这种可转移、可手动 unlock/lock 的行为。

  • std::lock_guard 构造即加锁、析构即释放,无法满足 wait 的“释放→等待→重锁”流程
  • 别试图用 std::shared_lock 或自定义锁类型替代,编译会直接报错
  • 可以提前 lock.unlock() 再调 wait(),但没必要;wait() 内部会自动处理

一个最小可运行的双线程版本长什么样?

下面这段代码去掉异常处理和日志,仅保留最核心的同步逻辑,可直接编译运行(C++11 起支持):

#include <queue>
#include <thread>
#include <mutex>
#include <condition_variable>
#include <iostream>

std::queue<int> queue;
std::mutex mtx;
std::condition_variable cv;

void producer() {
    for (int i = 0; i < 5; ++i) {
        std::unique_lock<std::mutex> lock(mtx);
        queue.push(i);
        std::cout << "Produced: " << i << "\n";
        lock.unlock(); // 显式释放,让 notify 更早发生(非必须)
        cv.notify_one(); // 在锁外也可,但需确保 queue 状态已更新
    }
}

void consumer() {
    for (int i = 0; i < 5; ++i) {
        std::unique_lock<std::mutex> lock(mtx);
        cv.wait(lock, []{ return !queue.empty(); }); // 谓词确保真实就绪
        int val = queue.front();
        queue.pop();
        std::cout << "Consumed: " << val << "\n";
    }
}

int main() {
    std::thread t1(producer);
    std::thread t2(consumer);
    t1.join(); t2.join();
}

注意:实际项目中应使用 std::queue<std::shared_ptr<T>> 或移动语义避免拷贝;若需多生产者/多消费者,notify_one() 要换成 notify_all(),且消费者谓词要检查是否真有数据可取,而非仅依赖通知信号。

热门AI工具

更多
Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

讯飞智作

讯飞智作是一款AI视频创作工具,AI文本配音工具,数字人课程、营销视频制作。

PixTV
PixTV Hot

PixTV是一款面向AIGC内容创作的AI视频生成工具。

UP简历
UP简历 Hot

一款AI办公效率工具,主要用于基于AI技术的免费在线简历制作工具,适合需要提升相关任务效率的用户。

立刻MV
立刻MV Hot

立刻MV是一款AI文本写作工具,AI 音乐视频(MV)创作工具。

超级简历WonderCV

一款AI办公效率工具,主要用于免费求职简历模版下载制作,应届生职场人必备简历制作神器,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

5539

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2785

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

3448

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

2465

2025.08.29

C++ 智能指针与现代内存管理
C++ 智能指针与现代内存管理

深入讲解 C++ 现代内存管理的核心工具——智能指针,涵盖 unique_ptr 独占所有权语义、shared_ptr 引用计数机制与循环引用问题、weak_ptr 弱引用的应用场景、make_unique/make_shared 工厂函数的性能优势、自定义删除器的编写、RAII 资源管理思想的实践,以及从裸指针迁移到智能指针的重构策略,帮助开发者编写安全无泄漏的现代 C++ 代码。

319

2026.04.23

线程和进程的区别
线程和进程的区别

线程和进程的区别:线程是进程的一部分,用于实现并发和并行操作,而线程共享进程的资源,通信更方便快捷,切换开销较小。本专题为大家提供线程和进程区别相关的各种文章、以及下载和课程。

3718

2023.08.10

LLVM自定义Pass怎么写
LLVM自定义Pass怎么写

本专题聚焦LLVM自定义Pass开发,整理Pass类结构、run()方法、PreservedAnalyses、CMake构建、插件注册、-load-pass-plugin加载和测试用例编写流程。

20

2026.09.30

LLVM RISC-V参数配置教程
LLVM RISC-V参数配置教程

本专题介绍LLVM对RISC-V基础ISA和扩展的支持方式,涵盖RV32、RV64、标准扩展、实验性扩展、厂商扩展、-menable-experimental-extensions和版本差异。

0

2026.09.30

LLVM IR中间表示入门指南
LLVM IR中间表示入门指南

本专题整理LLVM IR的核心概念,包括中间表示作用、模块结构、函数、基本块、SSA形式、类型系统和常见语法,帮助新手理解LLVM编译流程中的关键层。

0

2026.09.30

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Conan 2 Essentials 免费课程
Conan 2 Essentials 免费课程

共0课时 | 0人学习

CMake 与 Conan 集成实践
CMake 与 Conan 集成实践

共0课时 | 0人学习

Conan 2 高级依赖模型介绍
Conan 2 高级依赖模型介绍

共0课时 | 0人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn