为何这段C++后台线程代码会出现死锁或冻结？

Mutex使用的核心疏漏 #

你的代码里直接调用coutMutex.lock()和coutMutex.unlock()存在异常安全隐患：如果cout操作触发异常（尽管标准库cout通常不会抛异常，但自定义流或特殊场景下可能出现），mutex会一直处于锁定状态，后续其他线程尝试加锁时就会陷入死锁。

另外，主线程最后的cout << "Finished." << endl;未加锁，虽不会直接导致挂起，但会引发输出混乱，也不符合线程安全的输出规范。

改进后的Mutex使用方式 #

用std::lock_guard（轻量推荐）或std::unique_lock（灵活可控）替代手动锁操作，它们会在作用域结束时自动解锁，无论是否发生异常：

cout << "Starting." << endl;
atomic<bool> keepThreadRunning;
mutex coutMutex; 
keepThreadRunning = true;

auto doBackgroundTask1 = [&keepThreadRunning, &backgroundData1, &coutMutex] () {
    size_t numSteps = 0;
    while (keepThreadRunning && backgroundData1->doOneTask()) { 
        ++numSteps;
    }
    {
        lock_guard<mutex> lock(coutMutex);
        cout << " Did " << numSteps << " background 1 tasks." << endl;
    } // 作用域结束自动解锁
};

auto doBackgroundTask2 = [&keepThreadRunning, &backgroundData2, &coutMutex] () {
    size_t numSteps = 0;
    while (keepThreadRunning && backgroundData2->doOneTask()) { 
        ++numSteps;
    }
    {
        lock_guard<mutex> lock(coutMutex);
        cout << " Did " << numSteps << " background 2 tasks." << endl;
    }
};

thread backgroundThread1(doBackgroundTask1);
thread backgroundThread2(doBackgroundTask2);

doForegroundWork();
keepThreadRunning = false;

backgroundThread1.join();
backgroundThread2.join();

{
    lock_guard<mutex> lock(coutMutex);
    cout << "Finished." << endl;
}

挂起问题的其他排查方向 #

1. doOneTask()的阻塞特性：如果doOneTask()内部存在阻塞操作（比如等待信号、IO或未及时释放的锁），即便keepThreadRunning被设为false，线程也可能卡在doOneTask()中无法退出，导致join()挂起。需要确认doOneTask()是否支持及时中断，或在循环过程中定期检查keepThreadRunning状态。
2. Atomic变量的可见性：虽然你用了atomic<bool>，默认内存序memory_order_seq_cst已足够保证线程间可见性，但如果doOneTask()存在编译优化导致的指令重排，可能让后台线程无法及时感知keepThreadRunning的更新。可以显式指定keepThreadRunning.load(std::memory_order_acquire)和keepThreadRunning.store(false, std::memory_order_release)强化可见性，但这一般不是挂起的核心原因。

内容的提问来源于stack exchange，提问作者Corey A. Henderson