在 VS 里装个 P4 插件,写代码时直接 checkout/revert 比来回切 P4V 顺手很多。Perforce 官方的 P4VS 插件用起来容易让 VS 卡顿甚至崩溃,不推荐。这里用的是第三方的 P4EditVS——轻量、不挂 VS。
装好后:
Extensions 菜单下的 P4EditVS 子菜单,可以对当前编辑的文件执行 P4 操作。本系列笔记整理自《C++ Concurrency in Action》（Anthony Williams 著），基于 C++11 及之后标准，系统讲解多线程与并发编程：从线程管理、共享数据保护，到内存模型、原子操作，再到无锁数据结构与并发代码设计。适合有一定 C++ 基础、希望深入理解并发原理与工程实践的读者。
std::thread 启动/join/detach、传参、所有权转移、运行期线程数选择future/promise、packaged_task、限时等待在生活中, 最简单和基本的并发是指两个或更多独立的活动(separate activities)同时发生.
计算机领域的并发指的是在单个系统里并行执行多个独立的活动(independent activities)，而不是顺序执行或一个接一个地执行.
单核计算机一次只能执行一个任务, 可以通过每秒多次任务切换(task switching)造成“并发的假象”.
每次任务切换时都需要切换上下文(context switch)，是需要时间的, 如上图.
每个程序至少有一个线程：执行main()函数的线程是程序的入口点。
其他线程有其各自的入口函数。这些线程与主线程 main() 同时运行。
当线程执行完其入口函数后，线程就会退出。这与main()函数执行完毕后程序结束的情形类似。
为了启动一个线程，你需要创建一个std::thread对象，然后等待这个线程结束。
线程在std::thread对象构造时就开始启动了，无返回值时，启动后自动结束，存在返回值时，参数传递完成后结束。
在C++多线程编程中，确实存在共享数据的问题，特别是当多个线程试图同时修改同一份数据时。
只读操作通常不会导致问题，因为所有线程都可以同时读取相同的数据，而不会对数据产生修改。
当一个或多个线程需要修改共享数据时，就需要特别小心。
不变量(Invariants)是一个非常重要的概念，它可以帮助程序员更好地理解和描述特殊数据结构的状态。
并发操作不同于数据的共享，如果用等待锁的方式来达到同步的目的，效率则不甚理想。本章介绍如何利用C++标准可提供的同步工具：条件变量（conditional variable）和期望(futures)。
C++头文件condition_variable中提供了condition_variable和condition_variable_any，前者只能配合mutex使用，而后者可以与任意符合互斥标准的类型使用，但会产生额外开销。
多线程感知模型(multithreading-aware memory model)是C++11最重要的特性特性之一, 以下介绍它的要点信息：
线程安全(thread-safe)的数据结构意味着多个线程可以同时访问数据结构，执行相同或不同的操作，每个线程都会看到数据结构的一致视图(self-consistent view)。
它可以保证在并发访问时不会有数据丢失或损坏，所有的不变性都将被维护，也不会有问题的竞态条件。
"序列化"在并发编程中，是指通过某种机制（如互斥锁）确保多个线程不能同时访问某个数据结构或资源。
这意味着，尽管有多个线程可能试图同时访问，但在任何给定的时间点，只有一个线程被允许访问。
这就确保了在任何时候，只有一个线程可以看到数据结构的一致状态，从而防止了数据的混乱和不一致。
但是，这种方法也可能导致性能下降，因为线程必须等待锁。
因此，设计并发数据结构时，需要尽量减少需要序列化的操作，以提高并发性和性能。
阻塞的算法和数据结构使用mutex, condition_variable,future来同步数据，但非阻塞并不等同于 lock-free。
比如第五章提到的自旋锁没有使用阻塞函数的调用，是非阻塞的，但并非是 lock-free.
为了提高线程利用率并最小化开销，必须决定要使用的线程数量，并为每个线程合理分配任务
简单算法最容易并行化，比如要并行化 std::for_each，把元素划分到不同的线程上执行即可。
如何划分才能获取最优性能，取决于数据结构的细节，这里用一个最简单的划分为例，每 N 个元素分配给一个线程，每个线程不需要与其他线程通信，直到独立完成各自的处理任务(如下)。