如何在std::terminate触发时优雅收尾异步日志线程？

问题背景 #

我正考虑实现异步日志系统：多个工作线程在内存中生成日志消息并放入无锁队列，单个日志线程消费该队列并在后台执行阻塞IO操作。这种方式的弊端是，若任一工作线程抛出未捕获异常，会调用std::terminate，导致日志线程可能无法完成输出。这一情况十分棘手，因此我需要确保程序终止前清空队列并完成所有IO操作。为简化场景，假设终止并非由日志器自身、静态/线程局部对象的异常或可join线程销毁等情况引发。

请问：

1. 当某线程抛出未捕获异常时，其他线程会发生什么？
2. 能否在std::terminate中切换至其他线程、阻塞于互斥锁或实现忙等？
3. 我需要阻止新消息加入日志队列，让日志器清空队列，之后等待IO完成：是否应基于原子变量实现忙等？

解答 #

1. 未捕获异常抛出后其他线程的行为 #

当某个线程抛出未捕获异常时，程序会直接进入std::terminate流程，其他线程的执行会被立即强制终止——没有优雅退出的机会，它们会被直接停在当前执行状态，比如正在写入日志队列、处于阻塞IO中等。

2. std::terminate中的操作限制 #

在std::terminate的自定义处理函数中，不能依赖线程切换、互斥锁阻塞这类操作：

• 线程切换依赖系统正常调度，但此时程序已进入终止流程，调度器不会再处理线程切换请求；
• 互斥锁阻塞极易引发死锁——若持有锁的线程已被强制终止，锁永远无法释放；
• 忙等是唯一相对可行的操作，但只能执行最基础的循环检查逻辑，不能调用可能抛出异常或依赖复杂系统API的代码。

3. 确保日志完整性的可行方案 #

要实现终止前清空队列并完成IO，推荐以下步骤：

• 用原子变量标记终止状态：定义std::atomic<bool> g_terminating = false，在自定义std::terminate_handler中先将其设为true；
• 工作线程写入前检查状态：所有工作线程在往无锁队列写入日志前，先判断g_terminating的值，若为true则不再写入新消息；
• 日志线程主动检测终止信号：日志线程在消费队列的循环中，同时检查队列是否为空和g_terminating状态，当状态为true且队列清空后，完成剩余IO操作再退出；
• std::terminate中忙等日志线程完成：在自定义终止处理函数中，循环检查日志线程的完成标志（用原子变量实现），直到确认日志线程完成所有IO并退出，再允许程序终止。

这种基于原子变量的忙等是当前场景下的合理选择，它不依赖线程调度或锁机制，能在终止流程的限制下完成必要的等待逻辑。

内容的提问来源于stack exchange，提问作者Dmitry Kuzminov