為什么thread.join在全局變量的析構函數中調用時失敗

Question

我將有問題的代碼減少到以下內容。 我有一個C類，它在自己的線程上運行一個成員函數。 在CI的析構函數中想要干凈地退出這個線程。 只要在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就是一個不一致的狀態，無法合理地處理線程附加和分離操作。

當您的進程處於無法控制的上下文中時，您真的不想嘗試加入線程。