unique_lock与terminate called recursively的一个小坑

发表于 2022-11-9 10:08

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

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

发表于 2022-11-9 10:11

所以当多个线程操作同一个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();

}

发表于 2022-11-9 10:12

以前用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();

}

unique_lock与terminate called recursively的一个小坑

浏览过的版块

突出贡献奖章

沉静之湖泊

七世轮回

技术奇才奖章