mutex用来协助采取独占方式控制对资源的并发访问,这里的资源可能是一个对象,或多个对象的组合,为了获得独占式的资源访问能力,相应的线程必须锁定mutex,这样可以防止其它线程也锁定该mutex。
下面两条线程如果没有使用mutex来同步,则输出结果会是112233。
mutex g_mutex;
void print123()
{
g_mutex.lock();
for (int i = 0; i < 3; i++) {
this_thread::sleep_for(chrono::milliseconds(100));
cout << i + 1;
}
g_mutex.unlock();
}
int main()
{
thread(print123).detach();
thread(print123).detach();//123123
system("pause");
}
你应该确保mutex对象调用lock后,即使发生异常也会调用unlock,否则有可能造成资源被永远锁住或者死锁。
为此我们可以使用lock_guard来进行lock和unlock,lock_guard在构造时会lock,析构时会unlock,使用大括号对可以加快lock_guard的析构,需要注意的是lock_guard一定要分配变量名,否则不会有效果。
void print123()
{
lock_guard lockGuard(g_mutex);
for (int i = 0; i < 3; i++) {
this_thread::sleep_for(chrono::milliseconds(100));
cout << i + 1;
}
}
同一线程多次锁定mutex会导致程序终止,而recursive_mutex则不会,这个mutex允许同一线程多次锁定。
recursive_mutex g_mutex;
void print123()
{
g_mutex.lock();
g_mutex.lock();
for (int i = 0; i < 3; i++) {
this_thread::sleep_for(chrono::milliseconds(100));
cout << i + 1;
}
g_mutex.unlock();
g_mutex.unlock();
}
有时候线程想要锁定mutex,但又不想其它线程已锁定mutex时阻塞,这种情况下可以使用try_lock,它试图锁定mutex,成功就返回true,失败返回false。
为了等待特定长度的时间,你可以使用timed_mutex或recursive_timed_mutex的try_lock_for或try_lock_until方法。
由于try_lock在返回true时会锁定mutex,为了防止lock_guard重复锁定,需要传递参数adopt_lock。
void print123()
{
if (g_mutex.try_lock()) {
lock_guard lockGuard(g_mutex,adopt_lock);
for (int i = 0; i < 3; i++) {
this_thread::sleep_for(chrono::milliseconds(100));
cout << i + 1;
}
} else {
cout << "mutex locked" <
通常一个线程一次只锁定一个mutex,然而有时候必须锁定多个mutex,如果一个个锁定,有可能出现锁定了第一个mutex,而无法锁定第二个mutex的情况。这种情况下可以使用全局函数lock锁定多个mutex。
mutex g_mutex1;
mutex g_mutex2;
void print123()
{
lock(g_mutex1, g_mutex2);
lock_guard lockGuard1(g_mutex1, adopt_lock);
lock_guard lockGuard2(g_mutex2, adopt_lock);
for (int i = 0; i < 3; i++) {
this_thread::sleep_for(chrono::milliseconds(100));
cout << i + 1;
}
}
int main()
{
thread(print123).detach();
thread(print123).detach();
system("pause");
}
使用全局函数try_lock尝试锁定多个mutex,如果锁定所有mutex则返回-1,否则返回第一个失败的mutex的索引(从0开始),并且所有被成功lock的mutex会又被unlock。
mutex g_mutex1;
mutex g_mutex2;
void print123()
{
lock(g_mutex1, g_mutex2);
lock_guard lockGuard1(g_mutex1, adopt_lock);
lock_guard lockGuard2(g_mutex2, adopt_lock);
for (int i = 0; i < 3; i++) {
this_thread::sleep_for(chrono::milliseconds(100));
cout << i + 1;
}
}
void printLockState()
{
auto result = try_lock(g_mutex1, g_mutex2);
cout << result << endl;
if (result == -1) {
lock_guard lockGuard1(g_mutex1, adopt_lock);
lock_guard lockGuard2(g_mutex2, adopt_lock);
}
}
int main()
{
thread(print123).detach();
thread(printLockState).detach();
system("pause");
}
除了lock_guard,C++还提供一个类似的类unique_lock,它比lock_guard更灵活,unique_lock允许你明确指定何时锁定或解锁mutex,而lock_guard总是锁定mutex,如果unique_lock析构时mutex仍被锁住,析构函数会自动调用unlock,如果没有则不做任何事。
mutex g_mutex1;
timed_mutex g_mutex2;
int main()
{
//尝试锁定mutex,但不会阻塞
unique_lock uniqueLock1(g_mutex1, try_to_lock);
//尝试锁定mutex,不超过10秒
unique_lock uniqueLock2(g_mutex2, chrono::seconds(10));
//主动调用lock,try_lock,try_lock_for等才会锁定
unique_lock uniqueLock3(g_mutex1, defer_lock);
//通过已锁定的mutex初始化
unique_lock uniqueLock4(g_mutex1, adopt_lock);
//判断有没有锁定mutex
cout << (uniqueLock1 ? "locked" : "unlocked")<< endl;
cout << uniqueLock1.owns_lock() << endl;
//解锁mutex
uniqueLock1.unlock();
//锁定mutex
uniqueLock3.lock();
system("pause");
}