-
内容大纲
这是一本介绍C++并发和多线程编程的深度指南。本书从C++标准程序库的各种工具讲起,介绍了线程管控、在线程间共享数据、并发操作的同步、C++内存模型和原子操作等内容。同时,本书还教读者设计基于锁的并发数据结构、无所数据结构、并发代码,实现高级线程管理,了解并行算法函数,完成多线程应用的测试和除错。本书还通过附录提供了丰富的补充资料,以帮助读者更完整、细致地掌握C++并发编程的知识脉络。本书适合于需要深入了解C++多线程开发的读者,以及使用C++进行各类软件开发的开发人员、测试人员阅读,还可以作为C++线程库的参考工具书。 -
作者介绍
安东尼·威廉姆斯(Anthony Williams)来自英国,他是开发者、顾问、培训师,积累了超过20年的C++开发经验。从2001年起,他成为英国标准协会C++标准专家组的成员,独立编写或参与编写了许多C++标准委员会的文件,使C++11标准引入了线程库。现在,他继续致力于开发C++的新特性,以增强C++并发工具集的功能,这两者都遵循C++标准和提案。他还扩展了C++线程库,实现了工具“just::thread Pro”(JustSoftware Solutions公司的产品)。 -
目录
第1章 你好,C++并发世界
1.1 什么是并发
1.1.1 计算机系统中的并发
1.1.2 并发的方式
1.1.3 并发与并行
1.2 为什么使用并发技术
1.2.1 为分离关注点而并发
1.2.2 为性能而并发:任务并行和数据并行
1.2.3 什么时候避免并发
1.3 并发与C++多线程
1.3.1 C++多线程简史
1.3.2 新标准对并发的支持
1.3.3 C++14和C++17进一步
支持并发和并行
1.3.4 标准C++线程库的效率
1.3.5 平台专属的工具
1.4 启程上路
实例——“Hello Concurrent World”
1.5 小结
第2章 线程管控
2.1 线程的基本管控
2.1.1 发起线程
2.1.2 等待线程完成
2.1.3 在出现异常的情况下等待
2.1.4 在后台运行线程
2.2 向线程函数传递参数
2.3 移交线程归属权
2.4 在运行时选择线程数量
2.5 识别线程
2.6 小结
第3章 在线程间共享数据
3.1 线程间共享数据的问题
3.1.1 条件竞争
3.1.2 防止恶性条件竞争
3.2 用互斥保护共享数据
3.2.1 在C++中使用互斥
3.2.2 组织和编排代码以保护共享数据
3.2.3 发现接口固有的条件竞争
3.2.4 死锁:问题和解决方法
3.2.5 防范死锁的补充准则
3.2.6 运用std::unique_lock<>灵活加锁
3.2.7 在不同作用域之间转移互斥归属权
3.2.8 按适合的粒度加锁
3.3 保护共享数据的其他工具
3.3.1 在初始化过程中保护共享数据
3.3.2 保护甚少更新的数据结构
3.3.3 递归加锁
3.4 小结
第4章 并发操作的同步
4.1 等待事件或等待其他条件
4.1.1 凭借条件变量等待条件成立
4.1.2 利用条件变量构建线程安全的队列
4.2 使用future等待一次性事件发生
4.2.1 从后台任务返回值
4.2.2 关联future实例和任务
4.2.3 创建std::promise
4.2.4 将异常保存到future中
4.2.5 多个线程一起等待
4.3 限时等待
4.3.1 时钟类
4.3.2 时长类
4.3.3 时间点类
4.3.4 接受超时时限的函数
4.4 运用同步操作简化代码
4.4.1 利用future进行函数式编程
4.4.2 使用消息传递进行同步
4.4.3 符合并发技术规约的后续风格并发
4.4.4 后续函数的连锁调用
4.4.5 等待多个future
4.4.6 运用std::experimental::when_any()函数等待多个future,直到其中之一准备就绪
4.4.7 线程闩和线程卡——并发技术规约提出的新特性
4.4.8 基本的线程闩类std::experimental::latch
4.4.9 基本的线程卡类std::experimental::barrier
4.4.10 std::experimental::flex_barrier——std::experimental::barrier的灵活版本
4.5 小结
第5章 C++内存模型和原子操作
5.1 内存模型基础
5.1.1 对象和内存区域
5.1.2 对象、内存区域和并发
5.1.3 改动序列
5.2 C++中的原子操作及其类别
5.2.1 标准原子类型
5.2.2 操作std::atomic_flag
5.2.3 操作std::atomic
5.2.4 操作std::atomic:算术形式的指针运算
5.2.5 操作标准整数原子类型
5.2.6 泛化的std::atomic<>类模板
5.2.7 原子操作的非成员函数
5.3 同步操作和强制次序
5.3.1 同步关系
5.3.2 先行关系
5.3.3 原子操作的内存次序
5.3.4 释放序列和同步关系
5.3.5 栅栏
5.3.6 凭借原子操作令非原子操作服从内存次序
5.3.7 强制非原子操作服从内存次序
5.4 小结
第6章 设计基于锁的并发数据结构
6.1 并发设计的内涵
6.2 基于锁的并发数据结构
6.2.1 采用锁实现线程安全的栈容器
6.2.2 采用锁和条件变量实现线程安全的队列容器
6.2.3 采用精细粒度的锁和条件变量实现线程安全的队列容器
6.3 设计更复杂的基于锁的并发数据结构
6.3.1 采用锁编写线程安全的查找表
6.3.2 采用多种锁编写线程安全的链表
6.4 小结
第7章 设计无锁数据结构
7.1 定义和推论
7.1.1 非阻塞型数据结构
7.1.2 无锁数据结构
7.1.3 无须等待的数据结构
7.1.4 无锁数据结构的优点和缺点
7.2 无锁数据结构范例
7.2.1 实现线程安全的无锁栈
7.2.2 制止麻烦的内存泄漏:在无锁数据结构中管理内存
7.2.3 运用风险指针检测无法回收的节点
7.2.4 借引用计数检测正在使用中的节点
7.2.5 为无锁栈容器施加内存模型
7.2.6 实现线程安全的无锁队列
7.3 实现无锁数据结构的原则
7.3.1 原则1:在原型设计中使用std::memory_order_seq_cst次序
7.3.2 原则2:使用无锁的内存回收方案
7.3.3 原则3:防范ABA问题
7.3.4 原则4:找出忙等循环,协助其他线程
7.4 小结
第8章 设计并发代码
8.1 在线程间切分任务的方法
8.1.1 先在线程间切分数据,再开始处理
8.1.2 以递归方式划分数据
8.1.3 依据工作类别划分任务
8.2 影响并发代码性能的因素
8.2.1 处理器的数量
8.2.2 数据竞争和缓存乒乓(cache ping-pong)
8.2.3 不经意共享
8.2.4 数据的紧凑程度
8.2.5 过度任务切换与线程过饱和
8.3 设计数据结构以提升多线程程序的性能
8.3.1 针对复杂操作的数据划分
8.3.2 其他数据结构的访问模式
8.4 设计并发代码时要额外考虑的因素
8.4.1 并行算法代码中的异常安全
8.4.2 可伸缩性和Amdahl定律
8.4.3 利用多线程“掩藏”等待行为
8.4.4 借并发特性改进响应能力
8.5 并发代码的设计实践
8.5.1 std::for_each()的并行实现
8.5.2 std::find()的并行实现
8.5.3 std::partial_sum()的并行实现
8.6 小结
第9章 高级线程管理
9.1 线程池
9.1.1 最简易可行的线程池
9.1.2 等待提交给线程池的任务完成运行
9.1.3 等待其他任务完成的任务
9.1.4 避免任务队列上的争夺
9.1.5 任务窃取
9.2 中断线程
9.2.1 发起一个线程,以及把它中断
9.2.2 检测线程是否被中断
9.2.3 中断条件变量上的等待
9.2.4 中断条件变量std::condition_variable_any上的等待
9.2.5 中断其他阻塞型等待
9.2.6 处理中断
9.2.7 在应用程序退出时中断后台任务
9.3 小结
第10章 并行算法函数
10.1 并行化的标准库算法函数
10.2 执行策略
10.2.1 因指定执行策略而普遍产生的作用
10.2.2 std::execution::sequenced_policy
10.2.3 std::execution::parallel_policy
10.2.4 std::execution::parallel_unsequenced_policy
10.3 C++标准库的并行算法函数
10.3.1 并行算法函数的使用范例
10.3.2 访问计数
10.4 小结
第11章 多线程应用的测试和除错
11.1 与并发相关的错误类型
11.1.1 多余的阻塞
11.1.2 条件竞争
11.2 定位并发相关的错误的技法
11.2.1 审查代码并定位潜在错误
11.2.2 通过测试定位与并发相关的错误
11.2.3 设计可测试的代码
11.2.4 多线程测试技术
11.2.5 以特定结构组织多线程的测试代码
11.2.6 测试多线程代码的性能
11.3 小结
附录A C++11精要:部分语言特性
A.1 右值引用
A.1.1 移动语义
A.1.2 右值引用和函数模板
A.2 删除函数
A.3 默认函数
A.4 常量表达式函数
A.4.1 constexpr关键字和用户定义型别
A.4.2 constexpr对象
A.4.3 constexpr函数要符合的条件
A.4.4 constexpr与模板
A.5 lambda函数
A.6 变参模板
A.7 自动推导变量的型别
A.8 线程局部变量
A.9 类模板的参数推导
A.10 小结
附录B 各并发程序库的简要对比
附录C 消息传递程序库和完整的自动柜员机范例
同类热销排行榜
- C语言与程序设计教程(高等学校计算机类十二五规划教材)16
- 电机与拖动基础(教育部高等学校自动化专业教学指导分委员会规划工程应用型自动化专业系列教材)13.48
- 传感器与检测技术(第2版高职高专电子信息类系列教材)13.6
- ASP.NET项目开发实战(高职高专计算机项目任务驱动模式教材)15.2
- Access数据库实用教程(第2版十二五职业教育国家规划教材)14.72
- 信号与系统(第3版下普通高等教育九五国家级重点教材)15.08
- 电气控制与PLC(普通高等教育十二五电气信息类规划教材)17.2
- 数字电子技术基础(第2版)17.36
- VB程序设计及应用(第3版十二五职业教育国家规划教材)14.32
- Java Web从入门到精通(附光盘)/软件开发视频大讲堂27.92
推荐书目
-
孩子你慢慢来/人生三书 华人世界率性犀利的一枝笔,龙应台独家授权《孩子你慢慢来》20周年经典新版。她的《...
-
时间简史(插图版) 相对论、黑洞、弯曲空间……这些词给我们的感觉是艰深、晦涩、难以理解而且与我们的...
-
本质(精) 改革开放40年,恰如一部四部曲的年代大戏。技术突变、产品迭代、产业升级、资本对接...