C++11 并发与多线程学习记录（四）

保护共享数据

互斥量

• 头文件 #include <mutex>
• 保护共享数据，无法取得锁的线程将阻塞。
• lock()和unlock必须成对使用。unlock需要在函数所有返回路径加上。
• std::lock_guard 类模板，std::lock_guardstd::mutex

死锁

死锁的一般解决方案：保证两个互斥量上锁的顺序一致。

std::lock 函数模板

• 一次锁住两个或者两个以上的互斥量。
• 作用：避免了因为锁顺序导致的死锁问题。
• 如果锁失败，会释放已经锁成功的互斥量并阻塞直到成功。

std::mutex mutex1,mutex2;
std::lock(mutex1,mutex2);
mutex1.unlock();
mutex2.unlock();

或者

//使用adopt_lock不用的调用unlock。
std::mutex mutex1,mutex2;
std::lock(mutex1,mutex2);
std::lock_guard<std::mutex> guard1(mutex1,std::adopt_lock);
std::lock_guard<std::mutex> guard2(mutex2,std::adopt_lock); 

• std::adopt_lock 是个结构体对象，作用：表示这个互斥量已经lock(),不需要在lock_guard构造函数场面对mutex进行lock了。

原子操作std::atomic

• 原子操作是“不可分割的操作”。
• 原子操作是无锁技术，比互斥量效率更高。原子操作针对的是单个变量。互斥量针对的代码片段。
• std::atomic是类模板。
• 用于数据包个数，在线人数体现。

std::atomic<int> 
std::atomic<bool>

• 原子操作只对有限的运算符支持，如自增、自减等。