互斥锁使用
头文件#include <mutex>
,在使用锁之前,先来看下下面这段程序的运行情况。
class Foo{
public:
mutable std::mutex mtx;
int sum{0};
void handler(int n) {
int i = 0;
sleep(1);
while (i < n) {
sum += 1;
++i;
}
}
};
int main()
{
Foo foo;
std::thread taskC(&Foo::handler, &foo, 1000);
std::thread taskD(&Foo::handler, &foo, 1500);
taskC.join();
taskD.join();
std::cout << foo.sum << std::endl;
return 0;
}
输出结果理论上应该是2500,但实际上输出结果应该在1000~2500之间。为什么会出现这种情况呢,简单分析下原因,每次加1时,数据都会从内存加载到寄存器,如果taskC某次从内存读到寄存器的值是100,此时失去cpu,taskD也从内存读到100,然后做加1,再写回内存,此时sum的实际值是101,如果此时taskC再次获得cpu,他会计算sum=100+1,sum的值还是101,这就有问题了。这属于数据同步的问题,为了解决这种问题,于是就有了互斥锁。
//
while (i < n) {
mtx.lock();
sum += 1;
mtx.unlock();
++i;
}
上述互斥锁,保证了临界资源sum在同一时刻只能被一个线程访问到。其他线程想要进入临界区,就必须阻塞等待,直到锁被释放。
互斥锁相关接口
主要有lock、try_lock和unlock三种接口,其中lock失败会阻塞线程,成功则获得锁的所有权。try_lock在加锁失败会返回false,但不会阻塞线程,加锁成功则获得锁的所有权。unlock顾名思义就是释放锁的所有权。
其他互斥锁的使用
- std::time_mutex
带超时的互斥锁,使用方式如下:
std::time_mutex mtx;
std::chrono::milliseconds timeout(5);
if(mtx.try_lock_for(timeout)) { // 超时未获取锁,则返回false
// do something
mtx.unlock();
}
- std::recursive_mutex
递归互斥量,同一线程多次获取同一个递归互斥量时,不会发生死锁,接口同mutex。 - std::recursive_timed_mutex
带超时的递归互斥量,接口同time_mutx。