Jetty项目中TLS 1.3长连接场景下的堆内存泄漏问题分析
2025-06-17 19:05:51作者:尤峻淳Whitney
问题背景
在Jetty 12.0.3之后的版本中,开发人员发现当服务端启用TLS 1.3并与长生命周期客户端(如HAProxy)保持持久连接时,会出现堆内存持续增长的问题。这个问题最终会导致服务达到堆内存上限,影响系统稳定性。
问题现象
通过堆内存分析工具可以观察到大量SSLSessionImpl对象堆积,数量远超SSL会话缓存的大小限制。这些异常膨胀的会话主要来源于HAProxy等长连接客户端。内存分析报告显示,单个SSLSessionContextImpl实例占用了超过80%的堆内存空间。
技术分析
问题根源
该问题与Jetty 12.0.3版本后引入的SSL会话数据存储方式变更有关:
- 在12.0.3之前版本中,SSL会话数据存储在请求对象中(通过SecurityRequestCustomizer)
- 12.0.3之后版本引入了org.eclipse.jetty.io.EndPoint$SslSessionData,将会话数据直接存储在SSLSession对象内部
内存增长机制
在TLS 1.3环境下,当客户端(如HAProxy)保持长连接并频繁发送健康检查请求时:
- 每个SSL连接都会创建对应的SSLSessionImpl对象
- 这些对象被Java的软引用机制缓存
- 由于客户端不重启,会话持续活跃,导致缓存无法及时清理
- 只有当堆内存接近上限时,软引用才会被清除
复现条件
该问题在以下条件下可稳定复现:
- 使用Jetty 12.0.3以上版本
- 启用TLS 1.3协议
- 客户端为长生命周期(如不重启的HAProxy)
- 客户端频繁发送请求(如每100ms的健康检查)
解决方案
临时缓解措施
- 降级使用TLS 1.2协议
- 定期重启客户端(如HAProxy)
- 回退到Jetty 12.0.3版本
根本解决方案
Jetty开发团队已通过PR修复此问题,主要修改点是:
- 不再将SslSessionData存储在SSLSession对象中
- 恢复类似12.0.3版本的数据存储方式
技术启示
-
SSL会话缓存机制:Java的SSLSession缓存使用软引用机制,这可能导致内存增长到接近上限才会触发清理,开发人员需要了解这一特性
-
长连接场景的特殊性:在持久连接场景下,传统的会话超时机制可能失效,需要特别设计
-
协议版本影响:TLS 1.3与1.2在会话管理上存在差异,升级协议版本时需要考虑兼容性问题
-
内存监控重要性:对于关键服务,建立完善的内存监控机制可以及早发现此类渐进式内存问题
最佳实践建议
- 在生产环境升级前,应在测试环境充分验证内存行为
- 对于使用长连接的前端服务(如HAProxy、Nginx),应考虑设置合理的重启策略
- 监控SSL会话缓存大小和内存使用情况,设置适当的告警阈值
- 在性能与内存使用间取得平衡,合理配置javax.net.ssl.sessionCacheSize参数
该案例展示了在高性能网络服务开发中,内存管理、协议实现和连接生命周期管理等诸多因素的复杂交互,为类似场景的开发提供了有价值的参考。
登录后查看全文
热门项目推荐
相关项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust098- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00
热门内容推荐
项目优选
收起
deepin linux kernel
C
28
16
Claude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed.
Get Started
Rust
568
98
暂无描述
Dockerfile
709
4.51 K
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
958
955
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.61 K
942
Ascend Extension for PyTorch
Python
572
694
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
413
339
🍒 Cherry Studio 是一款支持多个 LLM 提供商的桌面客户端
TypeScript
1.42 K
116
暂无简介
Dart
951
235
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
12
2