C++实现简单的任务队列调度 _ std::deque与锁机制结合【源码】

夏强姑娘_1690

夏强姑娘_1690

2026-04-14

999人浏览

原创

结论:用 std::deque,但必须封装在带互斥锁和条件变量的自定义线程安全队列类中;直接裸用 std::deque 或 std::queue 均不满足线程安全要求。

c++实现简单的任务队列调度 _ std::deque与锁机制结合【源码】

任务队列该用 std::deque 还是 std::queue?

直接说结论:用 std::deque,但别直接裸用它做线程安全队列。因为 std::deque 本身不提供任何线程安全保证,所有 push_back、pop_front、size 等操作都必须配锁——哪怕只是读 size(),也得加锁,否则可能触发未定义行为(例如迭代器失效或返回脏值)。

常见错误是只锁写操作、放任读操作并发访问:

std::deque<task> tasks;
// ❌ 危险!多个线程调用 size() 不加锁
if (tasks.size() > 0) {  // 可能刚判完就为空了,且 size() 内部可能被修改中
    auto t = tasks.front();
    tasks.pop_front();  // 但此时 front() 可能已无效
}</task>

正确做法是把「判空 + 取 + 删」三步包进同一把锁里,避免条件竞争。

怎么设计线程安全的 pop 操作?

不能依赖 empty() 后再 front()+pop_front(),因为中间有竞态窗口。必须原子化这三件事,典型模式是提供一个带返回值的 try_pop 方法:

  • 返回 bool 表示是否成功取到任务,成功时通过引用参数传出任务对象
  • 内部用 std::unique_lock<:mutex></:mutex> 全程保护,避免锁粒度过细或遗漏
  • 优先用 std::move 转移任务,避免无谓拷贝(尤其任务含大对象或资源句柄时)

示例片段:

bool try_pop(Task& out) {
    std::unique_lock<:mutex> lk(mtx_);
    if (tasks_.empty()) return false;
    out = std::move(tasks_.front());
    tasks_.pop_front();
    return true;
}</:mutex>

注意:不要用 front() 返回引用再手动 move——std::deque::front() 返回的是左值引用,move 它是安全的;但若队列在 move 过程中被其他线程修改,就出问题,所以必须锁住整个过程。

要不要用 std::condition_variable?什么时候用?

如果消费者线程需要“没任务时等,有任务时立刻干活”,就必须用 std::condition_variable。光靠轮询 try_pop 会浪费 CPU、增加延迟。

C++ Code Review Master
C++ Code Review Master

组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

典型组合是:std::mutex + std::condition_variable + std::deque,其中 cv_.wait(lk, [&]{ return !tasks_.empty(); }) 是标准守卫模式。

  • 务必在 wait 前加锁,且 lambda 中的判断必须和 pop 逻辑一致(都检查 !tasks_.empty())
  • 生产者调用 cv_.notify_one() 或 notify_all();一般用 notify_one() 更轻量,除非你明确需要唤醒全部等待线程
  • 注意虚假唤醒:wait 返回不代表条件一定成立,必须用 lambda 做二次检查

漏掉 lambda 检查是高频 bug,会导致从空队列取任务而崩溃。

为什么不用 std::queue 封装 std::deque?

很多人图省事用 std::queue<task std::deque>></task>,但它封装太死:无法直接访问底层 deque 的 size()(std::queue::size() 非 const,某些实现下可能不线程安全),也无法批量取任务(比如一次 pop 多个以降低锁开销)。

更实际的问题是调试困难:当出现死锁或数据错乱时,你没法快速确认是封装层的问题还是锁逻辑的问题。直接用 std::deque 虽然多写几行,但控制力强、边界清晰。

真正要简化接口,应该自己封装一个 TaskQueue 类,把锁、cv、deque 全包进去,对外只暴露 push、try_pop、wait_and_pop 等语义明确的方法——而不是依赖 STL 容器适配器。

最易被忽略的点是:即使所有操作都加锁,如果任务对象自身不是线程安全的(比如含共享指针但没同步访问),调度器也救不了你。队列只是搬运工,责任边界要划清。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2058

7

c语言const用法
c语言const用法

const是关键字,可以用于声明常量、函数参数中的const修饰符、const修饰函数返回值、const修饰指针。详细介绍:1、声明常量,const关键字可用于声明常量,常量的值在程序运行期间不可修改,常量可以是基本数据类型,如整数、浮点数、字符等,也可是自定义的数据类型;2、函数参数中的const修饰符,const关键字可用于函数的参数中,表示该参数在函数内部不可修改等等。

2023.09.20

2058

7

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.15

911

5

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

2025.11.08

325

7

Python lambda详解
Python lambda详解

本专题整合了Python lambda函数相关教程,阅读下面的文章了解更多详细内容。

2026.01.05

454

7

C++ Lambda 表达式与函数式编程
C++ Lambda 表达式与函数式编程

深入讲解 C++ Lambda 表达式与函数式编程范式,涵盖 Lambda 基础语法与返回值推导、值捕获与引用捕获的区别与陷阱、初始化捕获(C++14 广义捕获)、泛型 Lambda(auto 参数)、mutable 关键字修改捕获变量、std::function 类型擦除与函数包装、std::bind 参数绑定(及其被 Lambda 替代的趋势)、Lambda 在 STL 算法(sort/transform/for_each/remo

2026.05.06

589

22

Java 函数式接口与 Lambda 进阶技巧
Java 函数式接口与 Lambda 进阶技巧

在 Java Stream 基础之上进一步深入函数式编程,涵盖 @FunctionalInterface 注解与自定义函数式接口设计、四种方法引用(静态/实例/对象/构造器)的使用场景、Lambda 中的 effectively final 变量捕获规则、函数组合(andThen/compose)与柯里化技巧、Comparator 链式比较器构建、CompletableFuture 异步函数式编排、Reactor / RxJava 响应

2026.05.08

388

28

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

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

2026.04.23

339

31

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

2023.10.19

3088

3

热门下载

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

精品课程

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

共0课时 | 0人学习

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

共0课时 | 0人学习

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

共0课时 | 0人学习