c++ - 正在等待条件变量、正在加入的线程会发生什么情况？

Question

我有一个名为 TThreadpool 的类，它持有 std::vector<std::thread>> 类型的成员池，具有以下析构函数:

~TThreadpool() {
    for (size_t i = 0; i < pool.size(); i++) {
        assert(pool[i].joinable());
        pool[i].join();
    }
}

我确信，当调用析构函数时，所有线程都在等待单个条件变量(使用始终为假谓词控制的虚假唤醒)，并且 joinable 输出 true。

运行线程的简化示例是:

void my_thread() {
    std::unique_lock<std::mutex> lg(mutex);
    while (true) {
        my_cond_variable.wait(lg, [] {
            return false;
        });
        # do some work and possibly break, but never comes farther then wait 
        # so this probably should not matter
    }
}

为了检查正在运行的线程，我启动 top -H 。程序开头有pool.size()线程 + 1 线程，其中 TThreadpool它本身还活着。令我惊讶的是，加入这些事件线程并不会将它们从顶部给出的线程列表中删除。这是预期的行为吗？

(最初，我的程序有点不同 - 我使用 qt 制作了一个简单的 ui 应用程序，它使用在 ui 线程和由线程池控制的其他线程中运行的线程池，并且在关闭 ui 窗口时调用了线程的连接，但是QtCreator 说我的应用程序在我关闭窗口后仍然可以工作，要求我以崩溃的方式关闭它。这让我检查了我的线程状态，结果发现它与 qt 无关。尽管我将其添加到案例中我错过了 qt 的一些明显细节)。

稍后，我尝试不断言 joinable，而是打印它，并发现 Threadpool 析构函数内的循环从未比第一个 join 更进一步 - 这是我没有预料到且无法解释的行为

Answer 1

join() 不会对子线程执行任何操作 - 它所做的只是阻塞，直到子线程退出。它仅对调用线程有影响(即阻止其进度)。子线程可以根据需要继续运行(尽管通常您希望它快速退出，这样调用 join() 的线程就不会被长时间阻塞 --但这取决于您的实现)