5

我将有问题的代码减少到以下内容。我有一个在自己的线程上运行成员函数的 C 类。在 CI 的析构函数中想要干净地退出这个线程。只要 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 触发析构函数时，会出现同样的问题。这个问题有解释和解决方案吗？

4

1 回答 1

4

这是一个僵局。t您正在等待终止时持有一个需要终止的锁t。

说作为t的分离过程的一部分，它对 DLL 进行了一些调用。join当有部分附加到它的线程（调用的线程）时，DLL 如何明智地处理请求？一旦你开始分离，直到你完成分离，DLL 是一个不一致的状态，不能明智地处理线程附加和分离操作。

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

于 2013-10-02T20:50:56.550 回答