二, 互斥对象和锁
互斥(Mutex::Mutual Exclusion)
下面的代码中两个线程连续的往int_set中插入多个随机产生的整数
#include <thread>
#include <set>
#include <random>
using namespace std;
int main()
{
std::set<int> int_set;
auto f = [&int_set](){
try
{
std::random_device rd;
std::mt19937 gen(rd());
std::uniform_int_distribution<> dis(1, 1000);
for (std::size_t i = 0; i != 100000; ++i)
{
int_set.insert(dis(gen));
cout << dis(gen) << endl;
}
}
catch (...)
{
}
};
std::thread td1(f), td2(f);
td1.join();
td2.join();
getchar();
return 0;
}
由于std::set::insert不是多线程安全的,多个线程同时对同一个对象调用insert其行为是未定义的(通常导致的结果是程序崩溃)。因此需要一种机制在此处对多个线程进行同步,保证任一时刻至多有一个线程在调用insert函数。
C++11提供了4个互斥对象(C++14提供了一个)用于同步多个线程对共享资源的访问。
锁(Lock)
这里的锁是动词而非名词,互斥对象的主要操作有两个,加锁(lock)和释放锁(unlock)。当一个线程对互斥对象进行lock操作并成功获得这个互斥对象的所有权,在此线程对此对象unlock前,其他线程对这个互斥对象的lock操作都会被阻塞。修改前面的代码在两个线程中对共享资源int_set执行insert操作前先对互斥对象mt进行加锁操作,待操作完成后再释放锁。这样就能保证同一时刻至多只有一个线程对int_set对象执行insert操作。
#include <thread>
#include <set>
#include <random>
#include <mutex>
using namespace std;
int main()
{
std::mutex mt;
std::set<int> int_set;
auto f = [&int_set, &mt](){
try
{
std::random_device rd;
std::mt19937 gen(rd());
std::uniform_int_distribution<> dis(1, 1000);
for (std::size_t i = 0; i != 100000; ++i)
{
mt.lock();
int_set.insert(dis(gen));
mt.unlock();
cout << dis(gen) << endl;
}
}
catch (...)
{
}
};
std::thread td1(f), td2(f);
td1.join();
td2.join();
getchar();
return 0;
}
使用RAII管理互斥对象
在使用锁时应避免发生死锁。前面的代码倘若一个线程在执行int_set.insert时抛出异常,会导致unlock不被执行,