c++ - std::mutex 如何在不同的线程中解锁？

Question

我正在阅读二进制信号量和互斥量 (Difference between binary semaphore and mutex) 之间的差异，我想验证的一件事是，当任务锁定(获取)互斥量时，它只能解锁(释放)它。如果另一个任务试图解锁它尚未锁定(因此不拥有)的互斥锁，则会遇到错误情况，最重要的是，互斥锁未解锁，为此我在 c++14 中创建了以下代码:

#include <iostream>
#include <thread>
#include <mutex>
#include <chrono>
using namespace std;

int counter;
int i;
std::mutex g_pages_mutex;
void increment()
{
    std::cout<<"increment...."<<std::endl;    
    g_pages_mutex.lock();
    bool flag = g_pages_mutex.try_lock();
    std::cout<<"increment Return value is "<<flag<<std::endl;
    counter++;
    std::this_thread::sleep_for(5s);
}
void increment1()
{
    std::this_thread::sleep_for(5s);    
    std::cout<<"increment1...."<<std::endl;       
    g_pages_mutex.unlock();    
    counter++;
    bool flag = g_pages_mutex.try_lock();
    std::cout<<"increment1 Return value is "<<flag<<std::endl;
}
int main()
{
    counter = 0;
    std::thread t(increment);
    std::thread t1(increment1);
    t.join();
    t1.join();
    return 0;
}

然而，在这个例子中，我能够从不拥有它的线程中解锁互斥锁，所以我只想知道是否存在一些理解上的差距，或者这个问题是否在 c++14 std::mutex 中？

Answer 1

在调用线程拥有的 std::mutex(不是递归的)上调用 try_lock，在非互斥锁上调用 unlock由调用线程拥有，并在持有互斥锁时结束线程，所有这些都会导致未定义的行为。

它可能看起来成功，也可能失败并抛出异常，它可能格式化你的硬盘，它可能召唤鼻恶魔，它可能时间旅行并为你更正你的代码，或者它可能做其他事情。就标准而言，任何都是允许的。