HAProxy监听器在高负载测试后冻结问题分析与修复
2025-06-07 04:31:27作者:温艾琴Wonderful
问题现象
在HAProxy的实际生产环境中,当配置了大量前端监听器(约300个)并同时启用SSL加密和TCP连接限制时,经过高负载压力测试后,部分前端监听器会进入"LIM"状态且无法自动恢复。具体表现为:
- 监听器停止接受新连接
- 通过管理接口查看显示状态为LIM
- 即使负载已经降低,监听器仍保持冻结状态
- 影响版本包括2.4.22至2.9.5等多个稳定版本
问题根源
经过深入分析,发现这是由HAProxy内部的两个连接限制机制之间的竞争条件导致的:
- 最大连接数限制(maxconn):限制单个前端可接受的总连接数
- 会话速率限制(session-rate):限制每秒新建连接数
当这两个限制同时启用时,特别是在SSL前端上,会出现以下问题链:
- 高负载触发速率限制,将监听器加入限制队列
- 同时连接数达到maxconn限制
- 当连接释放时,管理任务未被正确调度来重新检查限制条件
- 监听器永久停留在LIM状态,无法恢复
技术细节
问题的核心在于listener_release()函数中的处理逻辑不足。当连接释放时,函数会检查前端是否应该从限制队列中移除,但在以下情况下处理不完整:
- 前端仍有监听器在限制队列中
- 会话速率限制仍然处于激活状态
- 管理任务未被重新调度来评估当前限制条件
这种状态会导致系统无法自动恢复,即使负载已经降低到限制阈值以下。
解决方案
开发团队提供的修复方案通过增强listener_release()函数的逻辑来解决这个问题。主要改进包括:
- 当连接释放时,不仅检查是否可以立即解除限制
- 如果仍受速率限制,计算下次应该检查的时间
- 主动调度前端管理任务在适当时间重新评估限制状态
关键修复代码如下:
if (fe && !MT_LIST_ISEMPTY(&fe->listener_queue) &&
(!fe->fe_sps_lim || freq_ctr_remain(&fe->fe_sess_per_sec, fe->fe_sps_lim, 0) > 0))
dequeue_proxy_listeners(fe);
else {
unsigned int wait;
int expire = TICK_ETERNITY;
if (fe->fe_sps_lim &&
(wait = next_event_delay(&fe->fe_sess_per_sec,fe->fe_sps_lim, 0))) {
expire = tick_first(fe->task->expire, tick_add(now_ms, wait));
if (fe->task && tick_isset(expire))
task_schedule(fe->task, expire);
}
}
影响版本与修复状态
该问题影响HAProxy 2.0至2.9的多个版本。修复已合并到主分支,并计划向后移植到最近的稳定版本(2.4+)。对于2.2及更早版本,由于仅接收关键安全修复,不会包含此修复。
最佳实践建议
对于使用HAProxy的生产环境,特别是配置了多种连接限制的场景,建议:
- 及时升级到包含此修复的版本
- 监控监听器状态,特别是LIM状态的持续时间
- 对于关键业务前端,考虑分离SSL和非SSL监听器
- 压力测试时逐步增加限制阈值,观察系统行为
此修复显著提高了HAProxy在高负载场景下的稳定性,确保了连接限制机制的正确性和自恢复能力。
登录后查看全文
热门项目推荐
相关项目推荐
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 StartedRust0153- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
LongCat-Video-Avatar-1.5最新开源LongCat-Video-Avatar 1.5 版本,这是一款经过升级的开源框架,专注于音频驱动人物视频生成的极致实证优化与生产级就绪能力。该版本在 LongCat-Video 基础模型之上构建,可生成高度稳定的商用级虚拟人视频,支持音频-文本转视频(AT2V)、音频-文本-图像转视频(ATI2V)以及视频续播等原生任务,并能无缝兼容单流与多流音频输入。00
auto-devAutoDev 是一个 AI 驱动的辅助编程插件。AutoDev 支持一键生成测试、代码、提交信息等,还能够与您的需求管理系统(例如Jira、Trello、Github Issue 等)直接对接。 在IDE 中,您只需简单点击,AutoDev 会根据您的需求自动为您生成代码。Kotlin03
Intern-S2-PreviewIntern-S2-Preview,这是一款高效的350亿参数科学多模态基础模型。除了常规的参数与数据规模扩展外,Intern-S2-Preview探索了任务扩展:通过提升科学任务的难度、多样性与覆盖范围,进一步释放模型能力。Python00
skillhubopenJiuwen 生态的 Skill 托管与分发开源方案,支持自建与可选 ClawHub 兼容。Python0112
热门内容推荐
最新内容推荐
项目优选
收起
暂无描述
Dockerfile
733
4.75 K
deepin linux kernel
C
31
16
Ascend Extension for PyTorch
Python
651
797
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
1.25 K
153
旨在打造算法先进、性能卓越、高效敏捷、安全可靠的密码套件,通过轻量级、可剪裁的软件技术架构满足各行业不同场景的多样化要求,让密码技术应用更简单,同时探索后量子等先进算法创新实践,构建密码前沿技术底座!
C
1.1 K
611
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.01 K
1.01 K
华为昇腾面向大规模分布式训练的多模态大模型套件,支撑多模态生成、多模态理解。
Python
147
237
昇腾LLM分布式训练框架
Python
168
200
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
434
395
暂无简介
Dart
986
253