HAProxy 3.0 DNS服务模板TCP健康检查问题分析
在HAProxy 3.0开发版本中发现了一个与DNS服务模板和TCP健康检查相关的重要问题。这个问题会影响使用DNS动态发现(A记录)结合TCP健康检查的场景,当DNS记录消失后又重新出现时,健康检查会失败,导致服务不可用。
问题现象
当配置了基于DNS的服务模板,并且使用TCP健康检查时,如果某个DNS条目暂时消失后又重新出现,HAProxy的健康检查会报告"L4连接拒绝"错误。尽管服务器实际上是可达的,但HAProxy会错误地将对应服务器标记为下线状态。
通过抓包分析可以观察到,在正常情况下健康检查会向配置的端口(如8000)发送TCP SYN包。但在DNS记录重新出现后,健康检查会错误地向端口0发送连接请求,这显然会导致连接被拒绝。
技术背景
HAProxy支持通过DNS动态发现后端服务器,这是通过server-template配置实现的。当结合TCP健康检查时,HAProxy会定期向服务器的指定端口发起TCP连接来验证其可用性。
在HAProxy 3.0-dev1版本中,引入了一个重要的修改(64c9c8ef39),目的是修复DNS解析相关的竞态条件问题。这个修改改变了服务器地址和端口的重置方式,使用新的server_set_inetaddr()函数来统一处理地址更新。
问题根源
经过深入分析,发现问题出在地址重置的逻辑上。当DNS记录消失时,HAProxy会清除服务器的地址信息,但在3.0-dev1的修改中,错误地将端口信息也一并清除了。对于A/AAAA记录,端口信息应该来自配置文件而不是DNS记录,因此不应该在DNS解析失败时清除端口。
具体来说,在以下情况下会出现问题:
- 初始状态下,服务器地址和端口都正确设置
- DNS记录消失,HAProxy清除地址和端口
- DNS记录重新出现,HAProxy重新设置地址,但端口保持为0
- 健康检查尝试连接端口0,导致失败
解决方案
修复方案的核心思想是:对于A/AAAA记录,在DNS解析失败时只清除地址信息而保留端口信息。只有在处理SRV记录超时时才需要同时清除地址和端口。
具体修改包括:
- 在
resolv_srvrq_cleanup_srv()中保持同时清除地址和端口的行为(SRV记录需要) - 在其他DNS回调函数中修改为只清除地址而保留端口
- 使用
server_get_inetaddr()获取当前地址信息,仅清除地址部分
影响范围
这个问题从HAProxy 3.0-dev1版本开始存在,影响所有后续开发版本,直到修复为止。2.9及更早版本不受影响。
最佳实践建议
对于生产环境用户,建议:
- 如果使用DNS服务模板和TCP健康检查,暂时避免使用3.0-dev1到dev12版本
- 等待包含修复的正式版本发布后再升级
- 测试环境中可以验证修复后的版本是否解决了问题
- 监控HAProxy日志中是否有"Connection refused"错误,特别是端口为0的情况
这个问题提醒我们,在复杂的网络代理场景中,地址管理和健康检查机制的交互需要特别小心,任何改动都可能产生意想不到的副作用。
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
GLM-4.7-FlashGLM-4.7-Flash 是一款 30B-A3B MoE 模型。作为 30B 级别中的佼佼者,GLM-4.7-Flash 为追求性能与效率平衡的轻量化部署提供了全新选择。Jinja00
VLOOKVLOOK™ 是优雅好用的 Typora/Markdown 主题包和增强插件。 VLOOK™ is an elegant and practical THEME PACKAGE × ENHANCEMENT PLUGIN for Typora/Markdown.Less00
PaddleOCR-VL-1.5PaddleOCR-VL-1.5 是 PaddleOCR-VL 的新一代进阶模型,在 OmniDocBench v1.5 上实现了 94.5% 的全新 state-of-the-art 准确率。 为了严格评估模型在真实物理畸变下的鲁棒性——包括扫描伪影、倾斜、扭曲、屏幕拍摄和光照变化——我们提出了 Real5-OmniDocBench 基准测试集。实验结果表明,该增强模型在新构建的基准测试集上达到了 SOTA 性能。此外,我们通过整合印章识别和文本检测识别(text spotting)任务扩展了模型的能力,同时保持 0.9B 的超紧凑 VLM 规模,具备高效率特性。Python00
KuiklyUI基于KMP技术的高性能、全平台开发框架,具备统一代码库、极致易用性和动态灵活性。 Provide a high-performance, full-platform development framework with unified codebase, ultimate ease of use, and dynamic flexibility. 注意:本仓库为Github仓库镜像,PR或Issue请移步至Github发起,感谢支持!Kotlin07
compass-metrics-modelMetrics model project for the OSS CompassPython00