关于Boost Beast服务器正确关闭方式的技术问询

背景 #

基于Boost Beast高级服务器示例开发自有服务器，示例中session和listener通过绑定自身shared_ptr到回调维持存活，无异步操作时自动析构。现使用unique_ptr管理io_context，析构函数实现如下：

HTTPServer::HTTPServerImpl::~HTTPServerImpl()
{
    m_ioc->stop();

    for (auto& thread : m_iocThreads)
        thread.join();

    m_ioc.reset(); // reset the unique_ptr
}

问题解答 #

1. 该关闭流程是否属于“干净”关闭？能否正确关闭所有套接字？ #

• 这个流程不算完全的干净关闭，但能最终关闭所有套接字，只是无法主动终止正在运行的异步操作：
  • 套接字关闭逻辑：当m_ioc.reset()触发io_context析构时，所有未被执行的回调handler会被销毁，这些handler绑定的session/listener的shared_ptr引用计数归零，进而触发session/listener析构，其内部的beast::tcp_stream和tcp::acceptor析构时会自动关闭底层套接字。
  • 无需在stop()前通过weak_ptr显式调用cancel()/close()，但如果需要立即终止所有异步操作（比如未完成的读写、定时器），可以主动调用。主线程直接调用这些方法不是线程安全的，可能和正在执行的回调产生竞态，建议通过post到io_context的方式执行，或先通过weak_ptr确认对象存活后再操作。
  • m_ioc.reset()时，io_context会销毁所有未执行的异步handler，但已经在io线程中运行的handler会继续执行直到完成，直到join线程后才会彻底结束。

2. stop()的具体作用是什么？为何定时器未提前中止？ #

• stop()的核心作用是：让io_context的run()/run_one()等调度方法尽快返回，不再调度新的handler执行，但不会主动取消正在运行的异步操作，也不会销毁已提交的handler。
• 文档中“放弃未完成操作”的含义是：io_context会放弃对未执行handler的调度，这些handler会留在队列中，直到io_context析构时才被销毁，而非主动终止正在进行的异步任务。
• 定时器未提前中止的原因是：stop()不会触发定时器的cancel()操作，定时器会继续等待直到超时，或者直到对应的timer对象随session/listener析构时才被销毁。如果需要立即中止定时器，需主动调用timer的cancel()方法。

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