升级Boost至1.77后调用io_context run()时程序崩溃求助

排查方向及解决建议 #

1. 核查对象生命周期合法性

• 确保_ios（io_context）、_outHandler、_errHandler的生命周期覆盖子进程运行全周期，直到on_exit回调执行完毕。
  • 若_ios是局部变量，避免在_ios.run()结束前让其作用域失效；若_outHandler/_errHandler是临时对象或已销毁对象，异步IO触发时会引发内存访问错误，进而导致aligned_delete阶段崩溃。
  • 建议用std::unique_ptr<bp::child>替代裸指针new管理子进程对象，避免手动释放时的时序错误。

2. 添加IO上下文工作守护（Work Guard）

Boost.Asio的io_context会在所有异步操作完成后自动退出，可能导致清理操作未完成就释放资源。添加工作守护可防止io_context提前终止：

namespace bp = boost::process;
namespace ba = boost::asio;

ba::io_context _ios;
auto work_guard = ba::make_work_guard(_ios); // 新增工作守护
_child = std::make_unique<bp::child>(execPath,
        _args,
        bp::on_exit=[this, &work_guard](int exit_code, const std::error_code& ec){
            onExit(exit_code, ec);
            work_guard.reset(); // 回调完成后释放守护
        },
        bp::std_out > _outHandler,
        bp::std_err > _errHandler,
        bp::std_in.close(),
        _ios);
_ios.run();

3. 简化代码定位异步IO问题

先移除std_out和std_err的重定向，测试是否仍崩溃：

ba::io_context _ios;
_child = std::make_unique<bp::child>(execPath,
        _args,
        bp::on_exit=[this](int exit_code, const std::error_code& ec){onExit(exit_code, ec);},
        bp::std_in.close(),
        _ios);
_ios.run();

若崩溃消失，说明_outHandler或_errHandler存在问题：

• 检查处理器是否符合Boost.Process异步写入接口要求；
• 排查处理器内部是否有内存越界、野指针等错误。

4. 用内存检测工具定位根因

使用AddressSanitizer（GCC/Clang）或Valgrind运行程序，精准定位内存错误：

• AddressSanitizer会输出具体的内存越界、double free位置及调用栈；
• 这类工具可直接锁定aligned_delete调用free()时的非法内存操作。

5. 核对Boost版本变更日志

Boost 1.71至1.77期间，Boost.Process和Boost.Asio有多处异步IO相关修改：

• 重点关注子进程资源释放逻辑、异步回调触发时机、内存分配对齐方式的变更；
• 排查是否因API行为变化导致on_exit回调前的清理逻辑异常。

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