Question

我将有问题的代码减少到以下内容。我有一个C类，它在自己的线程上运行一个成员函数。在C的析构函数中，我想干净地退出这个线程。只要在main（1）中定义了c，就可以正常工作，但是当它是全局变量（2）时则不行。在后一种情况下，我看到线程函数返回但是t.join（）挂起。

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

using namespace std;

class C
{
public:
    C()
    {
        stop = false;
        t = thread(&C::ThreadFunc, this);
    }
    ~C()
    {
        stop = true;
        cv.notify_all();
        if (t.joinable())
        {
            cout << "joining" << endl;
            t.join();
            cout << "joined" << endl;
        }
    }

private:
    void ThreadFunc()
    {
        while (true)
        {
            unique_lock<mutex> lock(m);
            cv.wait(lock, [&]{return stop;});
            cout << "returning" << endl;
            return;
        }
    }

    thread t;
    mutex m;
    condition_variable cv;
    bool stop;
};

C c;  // does *not* work (2)

int _tmain(int argc, _TCHAR* argv[])
{
    C c;  // does work (1)
    return 0;
}

我使用全局变量的原因是它实际上是dll的一部分。在DLL_PROCESS_DETACH上从DllMain触发析构函数时，会出现同样的问题。这个问题有解释和解决方案吗？

Answer 1

这是一个僵局。在等待t终止时，您持有t所需的锁定以终止。

作为t分离过程的一部分，它会对DLL进行一些调用。当存在部分附加到它的线程（调用join的线程）时，DLL如何合理地处理请求？一旦开始分离，直到完成分离，DLL就是一个不一致的状态，无法合理地处理线程附加和分离操作。

当您的流程处于无法控制的上下文中时，您真的不想尝试加入线程。

为什么thread.join在全局变量的析构函数中调用时失败

1 个答案: