php建站平台,网站建设思企互联,如何做一个网页界面,拆分盘的网站开发费用Leaky singletons的一种使用场景 文章目录 Leaky singletons的一种使用场景场景问题本质如何解决Leaky singletons 场景
最近遇到了这个问题#xff0c;正好想记录下。 比如你有一段代码#xff0c;如下#xff08;伪代码#xff09;#xff1a;
static std::mapint…Leaky singletons的一种使用场景 文章目录 Leaky singletons的一种使用场景场景问题本质如何解决Leaky singletons 场景
最近遇到了这个问题正好想记录下。 比如你有一段代码如下伪代码
static std::mapint, std::string g_test_map;class Test {public:~Test() {} // 析构里对线程做join动作bool Init() {} // 启动多个线程对g_test_map进行读写操作
};你在一个文件中定义了一个static map静态变量并且你的代码被编译成test.so。 重点来了这个test.so是以共享库的形式被别人使用而且是通过dlopen、dlclose的形式加载和卸载你的test.so。
使用方代码如下伪代码
std::shared_ptrTest LoadTest() {dlopen(./test.so);std::shared_ptrTest test std::make_sharedTest();test-Init();return test;
}UnLoadTest() {test.reset();dlclose(./test.so);
}使用方1在dlopen你的test.so的时候会申请出这个static map的内存空间你的test.so中会另外启动多个线程在对这个map进行读写操作。并且会将Test的shared_ptr返回给使用方2持有。
这里就会形成如下关系图 使用方2-(load) 使用方1的.so - 使用方1 (dlopen) test.so。
那在使用方2 退出的时候使用方1会先reset 它保存的test的shared_ptr然后再dlclose。
这里就会出现问题
使用方1在reset test的时候只是会将test的引用技术减1此时使用方2还持有着test所以test并不会析构也不会触发线程join紧接着使用方1开始 dlclose并且dlclose的时候会将g_test_map析构掉此时由于test还未析构所以test中的线程还在run这个时候就会出现访问已析构的内存产生coredump。
这个问题如果用asan跑下可以很明显看出asan提示的
AddressSanitizer: heap-use-after-free on address
READ of size 8 at 0xffff8e408f90 thread T90xffff8e408f90 freed by thread T0 here:这段的意思就是堆内存释放后又被使用0xffff8e408f90 这个地址在T0被释放又在T9被使用。
问题本质
所以综上所述这个问题的本质是dlclose的时候静态全局变量被析构但是存在running的线程还在使用这块全局内存。
这里有人会说那dlclose的时候应该将test清理干净这样就不会存在这种场景。这种说法没问题但是这里Test的线程是在Test析构的时候join的而Test是以shared_ptr的形式返回并且又被使用方2持有着。所以这里场景下使用方1本质控制不了test的析构。
如何解决
第一种方法可以将static map封装成类然后用shared_ptr包装起来别的线程要读写这个map就必须保存一份map的shared_ptr类这样就能保存最后释放。第二种方法也是之前遇到glog0.4中的一个问题参考glog的修复手段。 glog中的问题也是进程退出的时候static mutex被释放了但是别的线程还在使用这个mutex可以看下这个 glog0.4.0版本存在此问题static google::log_mutex destroyed on exit, while other still existing threads want to log。具体可看如下链接
https://github.com/google/glog/issues/504glog里使用了Leaky singletons这种方式解决了此问题。
Leaky singletons
Leaky singletons很好理解翻译成中文就是泄漏式单例代码如下
static Singleton instance() {/** 以前的实现static Singleton inst;return inst;*/static Singleton* inst new Singleton; // 返回指针而不是整个对象return *inst;
}用静态指针替换了静态对象这样进程启动只会new一份并且不会手动释放而是进程退出的时候被系统回收内存。
这里并不是真实泄露最终内存也会随着进程退出被系统回收。
