Linux应用无重启热升级场景下安全加载两个共享对象实例的方法

操作可行性结论 #

同时加载新旧两个版本的共享对象（so）是完全可行的，Linux的dlopen动态加载机制原生支持该场景，只要参数配置正确不会影响正常运行。

符号冲突风险说明 #

只有满足以下条件时才会触发符号冲突：

调用dlopen加载so时指定了RTLD_GLOBAL标记，此时so的全局符号会被注入到进程全局符号表，后加载的so同名符号会覆盖先加载的符号，导致旧模块调用到新模块的逻辑或者反过来，出现不可预期的异常。

默认情况下dlopen使用RTLD_LOCAL标记，每个so的全局符号仅在自身的加载域内可见，新旧模块的同名符号、静态变量、运行时状态完全隔离，不会产生冲突。

最佳安全实现方案 #

• 编译模块实现so时添加-fvisibility=hidden编译参数，仅对需要暴露给模块代理的接口显式添加__attribute__((visibility("default")))标记，从编译层面减少不必要的符号暴露，进一步降低冲突概率。
• 加载so时显式指定dlopen("xxx.so", RTLD_NOW | RTLD_LOCAL)参数：RTLD_NOW会在加载阶段完成所有符号重定位，提前发现so缺失依赖、符号不匹配的问题，避免运行时触发异常导致升级失败；RTLD_LOCAL确保两个so的符号完全隔离。
• 升级流程采用灰度切换逻辑：先加载新模块、调用初始化接口完成功能校验，确认新模块运行正常后再将入站流量从旧模块切到新模块，不要先卸载旧模块再加载新模块，避免新模块存在缺陷时业务完全不可用。
• 所有旧模块的在途请求处理完成、资源全部释放后，再调用dlclose卸载旧模块。如果模块会申请文件句柄、定时器、信号回调等系统资源，需要设计统一的销毁接口，卸载前主动调用该接口完成资源清理，避免资源泄漏或者野指针异常。
• 全局状态统一存放在模块代理层，不要保存在模块实现内部，避免新旧模块切换时状态丢失。
• 新旧模块严格遵循统一的接口规范，对外暴露的函数签名、交互数据结构完全对齐，避免流量切换时出现调用异常。

架构参考 #

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