C++程序设计语言（第4部分：标准库）（原书第4版）

41.1　引言

并发，即多个任务同时执行，广泛用于提高吞吐率（使用多个处理器完成单个运算）或提高响应能力（当程序的一部分等待响应时允许另一部分继续执行）。

我们在5.3节中已经介绍了C++标准对并发的支持，当然只是一种导览的形式，本章和下一章将提供更加细致、更加系统化的介绍。

如果一项活动可能与其他活动并发执行，我们就称之为任务（task）。线程（thread）是执行任务的计算机特性在系统层面的表示。一个标准库thread（见42.2节）可执行一个任务。一个线程可与其他线程共享地址空间。即，在单一地址空间中的所有线程能访问相同的内存位置。而并发系统程序员所面临的重要挑战之一就是，确保多线程并发访问内存的方式是合理的。

标准库对并发的支持包括：

·内存模型（memory model）：这是对内存并发访问的一组保证（见41.2节），主要是确保简单的普通访问能按人们的朴素预期工作；

·对无锁编程（programming without locks）的支持：这是一些避免数据竞争的细粒度底层机制（见41.3节）；

·一个线程（thread）库：这是一组支持传统线程-锁风格的系统级并发编程的组件，如thread、condition_variable和mutex（见42.2节）；

·一个任务（task）支持库：这是一些支持任务级并发编程的特性：future、promise、packaged_task和async（）（见42.4节）。

这些主题是按照从最基础、最底层到最高层的顺序排列的。内存模型是所有编程风格所共用的。为提高程序员开发效率、尽量减少错误，应在尽可能高的层次上编程。例如，应优先选择future而不是mutex实现信息交换；除非是简单的计数器，否则应优选mutex而不是atomic；诸如此类。尽量将复杂任务留给标准库实现者。 ...