C++11多线程编程系列（二）实战

C++11 新标准中引入了多个头文件来支持多线程编程，他们分别是<atomic> ,<thread>,<mutex>,<condition_variable>和<future>。

<atomic>：该头文主要声明了两个类, std::atomic 和 std::atomic_flag，另外还声明了一套 C 风格的原子类型和与 C 兼容的原子操作的函数。
<thread>：该头文件主要声明了 std::thread 类，另外 std::this_thread 命名空间也在该头文件中。
<mutex>：该头文件主要声明了与互斥量(mutex)相关的类，包括 std::mutex 系列类，std::lock_guard, std::unique_lock, 以及其他的类型和函数。
<condition_variable>：该头文件主要声明了与条件变量相关的类，包括 std::condition_variable 和 std::condition_variable_any。
<future>：该头文件主要声明了 std::promise, std::package_task 两个 Provider 类，以及 std::future 和 std::shared_future 两个 Future 类，另外还有一些与之相关的类型和函数，std::async() 函数就声明在此头文件中。

C++ 11保证局部static只会被一个线程初始化

---

thread

线程函数不仅支持普通函数，还可以是类的成员函数和lambda表达式

可被 joinable 的 thread 对象必须在他们销毁之前被主线程 join 或者将其设置为 detached.

线程不像进程，一个进程中的线程之间是没有父子之分的，都是平级关系。即线程都是一样的, 退出了一个不会影响另外一个。但是所谓的”主线程”main,其入口代码是类似这样的方式调用main的：exit(main(…))。main执行完之后, 会调用exit()。exit() 会让整个进程over终止，那所有线程自然都会退出。

如果进程中的任一线程调用了exit，_Exit或者_exit，那么整个进程就会终止。

move操作是将一个进程转移给另一个进程，注意进程只能被转移不能被复制。也可以用swap交换两个线程。参考：C++ 11 thread join detach move swap

threads[i] = std::thread(thread_task, i + 1);这种做法是可以的，线程是不可以进行复制的。（这里可能是右值引用的方式重载了=操作符）

---

std::mutex

最简单的用法：

#include<mutex>
std::mutex g_mutex; //全局
g_mutex.lock();
......
g_mutex.unlock();

但是，如果在上锁和解锁之间出现异常导致没有执行解锁操作，那其他线程就永远无法得到锁。因此使用std::lock_guard：

#include<mutex>
std::mutex g_mutex;//全局
std::lock_guard<std::mutex> lg(g_mutex);//某个线程函数内，构造的时候上锁，析构的时候解锁

std::lock_guard限制得太死了，只有构造和析构函数，没法通过它的成员函数加锁和解锁。为此，C++11提供了灵活的std:unique_lock模板类。std::unique_lock提供lock和unlock函数，因此可以在适当的时候加解锁。这样可以降低锁的粒度。默认情况下，std::unique_lock的构造函数会对mutex进行加锁，在析构的时候会对mutex进行解锁：

#include<mutex>
std::unique_lock<std::mutex> ul(g_mutex);//构造函数进行上锁
......
ul.unlock();//解锁，降低锁的粒度
......
ul.lock();