Question

在以下代码中，我认为无法通过子线程获取mLooperMutex。但是节目输出非常令人惊讶。看起来在std :: thread中捕获的mLooperMutex与主线程中的不一样。

但是如果我将std :: thread的detach（）调用更改为join（），这将导致死锁，因为mLooperMutex已被主线程锁定。

如果我想在不同的线程中使用mLooperMutex，这个程序有什么问题吗？

的a.out：     main：等待cond开始
    孩子：获得锁定开始     孩子：获得锁定     孩子：通知一开始     孩子：通知一个完成的     主要：等待cond完成

#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>

using namespace std;

int main()
{
    std::condition_variable looperSet;
    bool child_done = false;
    std::mutex mLooperMutex;

    cout << "main: acquiring lock begin" << endl;
    std::unique_lock<std::mutex> lock(mLooperMutex);
    cout << "main: acquiring lock done" << endl;

    std::thread{[&mutex=mLooperMutex, &looperSet, &child_done] () {
        cout << "child: acquiring lock begin" << endl;
        std::unique_lock<std::mutex> lock(mutex);
        cout << "child: acquiring lock done" << endl;
        child_done = true;
        lock.unlock();

        cout << "child: notify one begin" << endl;
        looperSet.notify_one();
        cout << "child: notify one done" << endl;


    }}.detach();

    cout << "main: wait cond begin" << endl;
    looperSet.wait(lock, [&child_done]{ return child_done; });
    cout << "main: wait cond done" << endl;

    return 0;
}

Answer 1

可以在子线程中获取mLooperMutex的原因是因为looperSet.wait释放了锁：

// This unlocks "lock", and then locks it again afterwards.
looperSet.wait(lock, [&child_done]{ return child_done; });

这不适用于.join()的原因是因为.join()在继续之前等待线程完成，并且在释放锁之前线程无法完成，{{1释放锁定将在looperSet.wait()完成后才会运行。

创建一个线程然后立即调用.join()并不是很有用，你也可以直接运行代码而不是使用线程。

std :: mutex不能在std :: thread之间共享

1 个答案: