在std :: function析构函数中的Segfault

时间:2015-04-17 15:29:15

标签: c++ c++11 segmentation-fault std-function stdbind

我目前正在维护用C ++开发的C ++ REST服务器。它提供了一些功能,如中间件和路由。

路由存储在路由器类的内部结构中:

//! The http router
//!
//! allow us to parse route on a server using regex to match the good route for a given url
//! and extract the possible url variables
class router {
private:
    //! routes datas
    //!
    //! contains:
    //! * the regex to parse the routes
    //! * an std::vector with the list of variable inside the routes
    //! * 4 std::function, one for each REST methods
    struct rest_routes {
        std::regex regex;
        std::vector<std::string> vars_name;
        std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> get;
        std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> post;
        std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> put;
        std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> del;
    };
};

在执行期间一切正常:路由可以配置并添加到路由器,如果有人在现有路由上请求服务器,则执行回调,服务器按预期发送响应。

以下是我们为/admin/cameras/:cam_id请求创建路由HTTP DELETE的路由配置示例:

// delete a camera
router.del("/admin/cameras/:cam_id",
           std::bind(&admin_service::remove_camera, service, std::placeholders::_1));

在此示例中,admin_service::remove_camera是成员函数,serviceshared_ptr,包含指向admin_service对象的指针。如果有人请求此路线,则会调用admin_service::remove_camera

但是,服务器会在执行结束时(当我们退出服务器时)发生段错误。

我已经跟踪了段错误的起源,它来自... std::function的析构函数。更确切地说,它发生在std::function std::pairgetpost和{{1}中包含的put之一的破坏期间}。

我可以这样说,因为当我输入以下调试代码时:

del

我得到了以下输出:

struct rest_routes {

    ~rest_routes() {
        std::cout << "BEGIN DTOR rest_routes" << std::endl;
        std::cout << "BEGIN get" << std::endl;
        get.first = nullptr;
        std::cout << "END get" << std::endl;
        std::cout << "BEGIN post" << std::endl;
        post.first = nullptr;
        std::cout << "END post" << std::endl;
        std::cout << "BEGIN put" << std::endl;
        put.first = nullptr;
        std::cout << "END put" << std::endl;
        std::cout << "BEGIN del" << std::endl;
        del.first = nullptr;
        std::cout << "END del" << std::endl;
        std::cout << "END DTOR rest_routes" << std::endl;
    }

    std::regex regex;
    std::vector<std::string> vars_name;
    std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> get;
    std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> post;
    std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> put;
    std::pair<std::function<http::response(http::request&)>, std::vector<std::string>> del;
};

我无法想象std :: function在破坏或赋值期间如何进行段错误

我首先想到,BEGIN DTOR rest_routes BEGIN get END get BEGIN post END post BEGIN put END put BEGIN del Segmentation Fault 可能会引用std::function而不是按值获取它并删除它包含的原始指针不止一次。但是当我输入一些调试输出时,我可以看到std::shared_ptr service计数器在调用shared_ptr后递增。

有人对这个问题有所了解吗?

1 个答案:

答案 0 :(得分:1)

它看起来像内存损坏问题。我会尝试:

  • valgrind下运行它。如果可能,因为valgrind模拟CPU,因此应用程序在单个虚拟线程下运行速度要慢50倍。由valgrind
  • 下的种族条件引起的错误可能不会显示
  • 使用gcc / clang address sanitizer重新编译并链接-fsanitize=address命令行选项。这个工作效果惊人,因为它的overhead相对较低:一个使用Address Sanitizer的程序通常运行速度是非仪表对应程序的两倍,并且通常会消耗20%的内存。 / LI>