互斥锁
互斥是为了防止多线程同时访问共享资源而产生的数据竞争,并提供多线程的同步支持。
我们举一个简单的例子:
static int gInt = 1;
int main()
{
std::thread dec( []() { for (int i = 0; i < 1000000; ++i) gInt--; } );
std::thread inc( []() { for (int i = 0; i < 1000000; ++i) gInt++; } );
dec.join();
inc.join();
std::cout << gInt << std::endl;
return 0;
}
我们期望上述程序的输出结果是1,但是因为多线程的执行顺序不定,所以每次运行结果gInt的值都不相同。这对我们的程序来说是一个灾难。
这时互斥锁的作用就出现了,我们对临界区加锁,实现对临界区资源的互斥访问。
static int gInt = 1;
static std::mutex mtx;
int main()
{
std::thread dec( []() {
for (int i = 0; i < 1000000; ++i)
{
mtx.lock();//访问临界区之前:尝试获取锁
gInt--;
mtx.unlock();//退出临界区:解锁
}
} );
std::thread inc([]()
{
for (int i = 0; i < 1000000; ++i)
{
mtx.lock();//访问临界区之前:尝试获取锁
gInt++;
mtx.unlock();//退出临界区:解锁
}
});
dec.join();
inc.join();
std::cout << gInt << std::endl;
return 0;
}
这样,每次的运行gInt的最终的值都是1
实际上,我们这样写是有线程安全隐患的。
想象下述情况:
线程A和线程B并发执行,共享一个互斥锁mtx,每次在临界区进入时加锁,退出时手动解