unique_lock与terminate called recursively的一个小坑

c++ 的unique_lock不支持递归调用,所以当同一线程对同一unique_lock进行反复加锁却不解锁时,就会触发std::system_error,且打印消息terminate called recursively。

然而,unique_lock类本身不是线程安全的,这和mutex无关,unique_lock本身更像是mutex的包装,但是这包装里面却夹带没保护的私有变量bool  _M_owns,这个变量是用来防止同一线程重复加锁。

所以当多个线程操作同一个unique_lock时,它们使用了同一个_M_owns,这样会被误判为同一线程反复加锁,导致terminate called recursively,如以下代码所示。

std::mutex mtx;
std::unique_lock<std::mutex> ulk(mtx,std::defer_lock)
void Thread(int idx)
{
    ulk.lock();
    cout<<"idx= "<<idx<<endl;
    ulk.unlock();
}

以前用c语言的pthread库时,都是把mutex和cond设为公共变量,以让多个线程共用。但是对于c++的unique_lock,由于类本身包含变量,因此正确的改法是为每个线程创建自己的unique_lock。

std::mutex mtx;

void Thread(int idx)
{
    std::unique_lock<std::mutex> ulk(mtx,std::defer_lock)
    ulk.lock();
    cout<<"idx= "<<idx<<endl;
    ulk.unlock();
}

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值