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

Question

我将有问题的代码简化为以下内容。我有一个 C 类，它在自己的线程上运行一个成员函数。在 C 的析构函数中，我想干净地退出这个线程。只要 c 是在 main (1) 中定义的，它就可以正常工作，但当它是一个全局变量 (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 进行了一些调用。当存在部分附加到 DLL 的线程(调用 join 的线程)时，DLL 如何明智地处理请求？一旦开始分离，直到完成分离，DLL 处于不一致状态，无法明智地处理线程附加和分离操作。

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