Jetty项目中TLS 1.3长连接场景下的堆内存泄漏问题分析
2025-06-17 12:06:16作者:尤峻淳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参数
该案例展示了在高性能网络服务开发中,内存管理、协议实现和连接生命周期管理等诸多因素的复杂交互,为类似场景的开发提供了有价值的参考。
登录后查看全文
热门项目推荐
相关项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C045
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0122
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00
项目优选
收起
deepin linux kernel
C
26
10
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
435
3.3 K
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
9
1
🔥LeetCode solutions in any programming language | 多种编程语言实现 LeetCode、《剑指 Offer(第 2 版)》、《程序员面试金典(第 6 版)》题解
Java
65
19
暂无简介
Dart
699
162
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
696
374
喝着茶写代码!最易用的自托管一站式代码托管平台,包含Git托管,代码审查,团队协作,软件包和CI/CD。
Go
23
0
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.23 K
675
Ascend Extension for PyTorch
Python
243
281
React Native鸿蒙化仓库
JavaScript
271
328