C++11线程总结二（共享数据保护）

一、数据保护的场景

（1）只读数据，不需要任何处理

（2）同时写、同时读写，需要进行数据保护

 

二、共享数据保护的方法

C++11引入语言层面的互斥量概念：std::mutex  ，也叫互斥锁。互斥锁只需要保护共享数据即可，注意控制互斥量的粒度，也就是保护共享数据的代码块的规模，不能过多的保护不需要的代码，从而提高效率。

 

三、锁与解锁的方式

（1）首先，互斥量本身提供了lock与unlock的成员函数，可以通过调用lock来尝试获取互斥量，在处理完数据时调用unlock释放互斥量。注意互斥量的lock与unlock必须成对使用。

（2）C++11引入模板 std：：lock_guard，具有作用域结束时，自动unlock功能，程序员不用担心unlock了。用法如下

std::lock_guard<std::mutex> sb(m_mutex);

也就是这个guard模板会在sb变量析构时，执行unlock操作。这种通过变量生命周期结束，在析构函数中做回收操作的做法，比较普遍。lock_guard模板还有其参数，例如std::adopt_lcok，只是申明了一个模板变量，并未对互斥量进行锁住的操作。具体可以查看函数接口及参数说明。

（3）std::unique_lock

由于lock_guard依赖作用域来释放互斥量，这样的话，对于想提前解锁或者降低粒度来说，都不够方便（虽然可以通过{}来划分互斥量的作用域）。因此C++11又引入了unique_lock模板。他可以完全取代lock_guard。

// 提供的参数

apdot_lock  // 

try_to_lock //

defer_lock //

// 成员函数

lock()

unlock()  // 也就是可以随意提前解锁

try_lock()

整体的使用方式相对lock_guard而言，灵活不少。

 

四、死锁的产生与规避方式

（1）产生原因：首先有两个互斥量，然后有两个线程对互斥量进行操作，而且对该两个互斥量的加锁顺序是相反的。举例子：

两把锁：金锁  、  银锁

两个线程： 线程A、线程B

A首先lock了金锁，然后再lock银锁。而B首先lock银锁，再lock金锁。这是理想情况。

在现实情况中，但A锁住了金锁，尝试去lock银锁。此时CPU调度，上下文切换到B中，这时Block了银锁，尝试去lock金锁。但此时的金锁被A锁住了，B无法获取金锁，而A也无法获取被B锁住的银锁，他们都处于一种等待对方unlock的状态。这就形成了死锁的现象。

（2）解决方法

不同线程对互斥量的lock顺序保持一致，这样就不会存在问题了。

C++11提供了一个std：：lock模板，可以通过此模板同时lock多个互斥量。因为这个模板中，一旦有一个互斥量获取不到，那么整体就获取不到，也就不存在死锁的问题了。

 

后续........（原子操作、std::future等再讲）