使用boost :: asio和boost :: thread时了解内存泄漏

Question

我正在研究一组使用boost :: asio来执行后台任务的类。 在实践中，程序将持续运行，但我在测试期间添加了信号处理程序以进行清理。

但是，在收到SIGINT后监视代码中的函数调用时，我发现我的对象的私有实现没有按预期被破坏 - 内存泄漏。 它使用boost :: shared_ptr进行管理。 私有实现类如下所示。

class TestImpl: public boost::enable_shared_from_this<TestImpl>, boost::noncopyable {
    TestImpl(): update_timer(io_svc), signals(io_svc, SIGINT, SIGTERM) {
        signals.async_wait(boost::bind(&boost::asio::io_service::stop, &io_svc)); 
    };

public:
    virtual ~TestImpl() { 
        std::cout << "Destroyed." << std::endl;
    };

    static boost::shared_ptr<TestImpl> create() {
        boost::shared_ptr<TestImpl> ptr(new TestImpl);
        ptr->start();
        return ptr;
    }

    void start() {
        update_timer.expires_from_now(boost::posix_time::seconds(1));
        update_timer.async_wait(boost::bind(&TestImpl::update, shared_from_this()));    

        run_thread = boost::thread(boost::bind(&TestImpl::run, shared_from_this()));
    };

    void cleanup() {
        run_thread.join();
    };

private:
    void run() {
        io_svc.run();
    };

    void update() {
        std::cout << "Updating." << std::endl;
        update_timer.expires_from_now(boost::posix_time::seconds(1));
        update_timer.async_wait(boost::bind(&TestImpl::update, shared_from_this()));    
    };

    boost::asio::io_service io_svc;
    boost::asio::deadline_timer update_timer;
    boost::thread run_thread;
    boost::asio::signal_set signals;
};

以下是使用私有实现的代码。

class Test {
public:
    Test(): impl(TestImpl::create()) { };
    virtual ~Test() { std::cout << "Destroyed." << std::endl; };
    int run() {
        boost::asio::signal_set signals(io_svc, SIGINT, SIGTERM);
        signals.async_wait(boost::bind(&boost::asio::io_service::stop, &io_svc));

        io_svc.run();

        impl->cleanup();

        return 0;
    };
private:
    boost::asio::io_service io_svc;
    boost::shared_ptr<TestImpl> impl;
};

int main() {
    Test test;
    test.run();
}

我无法理解为什么TestImpl类被泄露了。 通过调试，我可以验证两个io_service实例在SIGINT上停止并且线程被连接，这使我相信它在销毁时不会被分离。 好像必须有某个循环引用导致TestImpl实例持续存在？

Answer 1

循环引用介于TestImpl和TestImpl::io_svc ：

• TestImpl::io_svc的生命周期取决于TestImpl因为它是一个成员变量。
• TestImpl的生命周期间接依赖于TestIMpl::io_svc因为TestIMpl::io_svc shared_from_this()被绑定为io_service排队的处理程序中的实例句柄。

一个关键的细节是io_service::stop()只影响事件处理循环; 它不会影响处理程序的生命周期或绑定到处理程序的参数。 从io_service删除处理程序的唯一方法是通过io_service的析构函数 。 以下是文档中的相关摘录：

计划在io_service或任何关联的链上进行延迟调用的未调用的处理程序对象将被销毁。

[...]

要关闭整个程序， io_service函数stop()以尽快终止所有run()调用。 上面定义的io_service析构函数会破坏所有处理程序，导致对所有连接对象的所有shared_ptr引用都被销毁。

要解决此问题，请考虑从TestImpl分离Boost.Asio I / O对象的生命周期。 我个人会选择使用boost::optional不是boost::shared_ptr来最小化内存分配量。

TestImpl()
  : io_svc(boost::in_place()),
    update_timer(boost::in_place(boost::ref(io_svc.get()))),
    signals(boost::in_place(boost::ref(io_svc.get()), SIGINT, SIGTERM))
{
  signals->async_wait(boost::bind(&boost::asio::io_service::stop,
                                  boost::ref(io_svc))); 
};

...

void cleanup() {
  run_thread.join();
  signals      = boost::none;
  update_timer = boost::none;
  io_svc       = boost::none;
};

...

boost::optional<boost::asio::io_service> io_svc;
boost::optional<boost::asio::deadline_timer> update_timer;
boost::optional<boost::asio::signal_set> signals;
boost::thread run_thread;