一、数据保护的场景
(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等再讲)