Envoy Redis集群代理在集群配置变更时出现段错误问题分析
问题背景
在Istio服务网格环境中,当使用Envoy作为Redis集群代理时,发现了一个严重的稳定性问题。具体表现为:当与Redis相关的DestinationRule配置被添加或移除时,Envoy进程会出现段错误(Segmentation fault)导致崩溃。这个问题在Envoy 1.30版本中不存在,但在1.31.5及更高版本中可重现。
问题现象
当通过Istio的DestinationRule对Redis服务进行流量策略配置变更时,Envoy代理会意外崩溃。典型的DestinationRule配置如下:
apiVersion: networking.istio.io/v1beta1
kind: DestinationRule
metadata:
name: test
spec:
host: test.com
trafficPolicy:
tls:
mode: DISABLE
崩溃发生时,从核心转储分析得到的调用栈显示问题出在Redis集群发现会话的处理过程中:
#0 __pthread_kill_implementation
#1 __pthread_kill_internal
#2 __GI_raise
#3 Envoy::SignalAction::sigHandler
#4 <signal handler called>
#5 0x0000000000000000
#6 Envoy::Extensions::Clusters::Redis::RedisCluster::RedisDiscoverySession::startResolveRedis()
#7 event_process_active_single_queue
#8 event_base_loop
#9 Envoy::Server::InstanceBase::run()
问题复现与验证
通过简化测试环境,可以独立于Istio复现该问题。使用以下Envoy配置直接运行Redis集群代理:
clusters:
- name: outbound|6379||redis-service
lb_policy: CLUSTER_PROVIDED
cluster_type:
name: envoy.clusters.redis
typed_config:
"@type": type.googleapis.com/envoy.extensions.clusters.redis.v3.RedisClusterConfig
cluster_refresh_rate: 5s
load_assignment:
cluster_name: outbound|6379||redis-service
endpoints:
- lb_endpoints:
- endpoint:
address:
socket_address:
address: redis-service
port_value: 6379
当动态更新配置将Redis集群移除(即设置resources: [])时,Envoy会立即崩溃。通过LLDB调试器分析核心转储,可以确认崩溃发生在Redis集群发现会话的解析过程中。
根本原因分析
从技术实现角度看,这个问题源于Envoy的Redis集群实现中对发现会话生命周期的管理缺陷。具体表现为:
-
异步事件处理问题:Redis集群使用异步事件机制进行节点发现和维护。当集群配置被移除时,相关的发现会话没有被正确清理。
-
悬垂指针问题:在集群销毁过程中,可能仍有未完成的发现请求在事件循环中等待处理。当这些请求被处理时,它们尝试访问已被释放的集群资源。
-
版本差异:1.30版本和1.31+版本之间的实现差异导致了不同的行为,表明相关修改引入了这个回归问题。
解决方案建议
针对这个问题,建议从以下几个方面着手解决:
-
完善资源清理机制:在Redis集群销毁时,应该确保所有相关的发现会话都被正确取消和清理。
-
引用计数管理:对集群资源使用引用计数,确保没有异步操作会访问已释放的资源。
-
同步销毁流程:在销毁集群前,等待所有未完成的发现操作完成或显式取消它们。
-
添加防护性检查:在发现会话处理逻辑中添加对父集群有效性的检查。
临时规避措施
在生产环境中遇到此问题时,可以考虑以下临时解决方案:
-
保持配置稳定:避免频繁添加/移除Redis相关的DestinationRule配置。
-
使用固定版本:暂时使用Envoy 1.30版本,直到问题被修复。
-
监控与自动恢复:部署监控系统检测Envoy崩溃并自动重启实例。
总结
这个Envoy Redis集群代理的段错误问题展示了在复杂网络代理系统中资源生命周期管理的重要性。特别是在异步事件处理与动态配置更新的场景下,需要格外注意资源的创建和销毁顺序。对于使用Envoy作为Redis代理的用户,建议关注官方修复进展,并在测试环境中充分验证配置变更的稳定性。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00