Longhorn存储引擎在节点滚动更新时陷入停止状态的技术分析
问题背景
在Kubernetes生产环境中使用Longhorn作为分布式存储解决方案时,运维团队在进行节点滚动更新操作时遇到了一个严重问题:部分存储引擎(Engine)和对应的副本(Replica)会陷入"stopped"状态,导致相关存储卷(Volume)无法成功挂载到Pod上。这种情况在Longhorn 1.7.x版本中尤为明显,影响了生产环境的稳定性。
问题现象
当集群执行节点滚动更新操作时,特别是通过Cluster API进行节点替换时,会出现以下典型症状:
- 多个Engine组件进入"stopped"状态
- 关联的存储卷无法完成挂载操作
- Pod事件中反复出现"FailedAttachVolume"错误
- 系统可能长时间(90分钟以上)无法自动恢复
根本原因分析
经过深入分析,这个问题主要由两个相互关联的因素导致:
1. 副本数量与调度条件的严格校验
在Longhorn 1.7.2版本中引入了一个关键变更:系统不仅检查现有副本是否已调度,还会严格比较当前副本数量与配置的副本数量(spec.numberOfReplicas)。当两者不匹配时,系统会将卷标记为"Scheduled=False",进而导致卷处于"NotReadyForWorkload"状态。
这种设计在正常情况下可以防止数据不一致,但在节点滚动更新这种特殊场景下会产生问题:
- 当节点被排空(drain)和封锁(cordon)时,该节点上的副本会被标记为失败
- 系统会删除长时间处于失败状态的副本CR
- 由于卷处于分离(detached)状态,系统不会立即补充新副本
- 导致当前副本数量小于配置值,触发"Scheduled=False"状态
- 进而阻止卷重新挂载,形成死锁
2. 实例管理器(Instance Manager)不可用
另一个相关问题是当节点被封锁后:
- 节点上的实例管理器(Instance Manager)Pod无法启动
- 导致该节点上的副本无法正常运行
- 如果此时其他副本也出现问题,系统可能无法自动重建
- 特别是在"allow-volume-creation-with-degraded-availability=false"设置下,问题更加明显
解决方案与优化建议
针对这一问题,Longhorn团队已经制定了修复方案,并将包含在1.7.3和1.8.1版本中。主要改进包括:
-
优化调度条件判断逻辑:调整卷"Scheduled"条件的判断逻辑,避免在节点滚动更新时产生死锁情况。
-
临时解决方案:在生产环境可以暂时将"allow-volume-creation-with-degraded-availability"设置为true,虽然这不符合生产环境的最佳实践,但可以缓解问题。
-
增强副本重建机制:改进副本重建逻辑,确保在节点维护期间也能保持足够的副本可用性。
最佳实践建议
对于使用Longhorn的生产环境,特别是在需要频繁进行节点维护的场景下,建议:
-
在升级到1.7.3或1.8.1版本前,评估临时启用"allow-volume-creation-with-degraded-availability"的必要性
-
进行节点滚动更新时,监控Longhorn卷的状态变化,特别是副本数量和调度状态
-
考虑在维护窗口期进行节点更新,减少对业务的影响
-
确保集群有足够的容量冗余,避免因单个节点不可用导致副本无法重建
总结
Longhorn存储引擎在节点滚动更新时陷入停止状态的问题,揭示了分布式存储系统在动态Kubernetes环境中的复杂性。通过深入分析问题根源,Longhorn团队已经找到了解决方案,并将通过后续版本更新提供给用户。对于生产环境用户,理解这一问题的影响范围和临时解决方案,可以帮助更好地规划系统维护和升级策略。
GLM-5智谱 AI 正式发布 GLM-5,旨在应对复杂系统工程和长时域智能体任务。Jinja00
GLM-5-w4a8GLM-5-w4a8基于混合专家架构,专为复杂系统工程与长周期智能体任务设计。支持单/多节点部署,适配Atlas 800T A3,采用w4a8量化技术,结合vLLM推理优化,高效平衡性能与精度,助力智能应用开发Jinja00
请把这个活动推给顶尖程序员😎本次活动专为懂行的顶尖程序员量身打造,聚焦AtomGit首发开源模型的实际应用与深度测评,拒绝大众化浅层体验,邀请具备扎实技术功底、开源经验或模型测评能力的顶尖开发者,深度参与模型体验、性能测评,通过发布技术帖子、提交测评报告、上传实践项目成果等形式,挖掘模型核心价值,共建AtomGit开源模型生态,彰显顶尖程序员的技术洞察力与实践能力。00
Kimi-K2.5Kimi K2.5 是一款开源的原生多模态智能体模型,它在 Kimi-K2-Base 的基础上,通过对约 15 万亿混合视觉和文本 tokens 进行持续预训练构建而成。该模型将视觉与语言理解、高级智能体能力、即时模式与思考模式,以及对话式与智能体范式无缝融合。Python00
MiniMax-M2.5MiniMax-M2.5开源模型,经数十万复杂环境强化训练,在代码生成、工具调用、办公自动化等经济价值任务中表现卓越。SWE-Bench Verified得分80.2%,Multi-SWE-Bench达51.3%,BrowseComp获76.3%。推理速度比M2.1快37%,与Claude Opus 4.6相当,每小时仅需0.3-1美元,成本仅为同类模型1/10-1/20,为智能应用开发提供高效经济选择。【此简介由AI生成】Python00
Qwen3.5Qwen3.5 昇腾 vLLM 部署教程。Qwen3.5 是 Qwen 系列最新的旗舰多模态模型,采用 MoE(混合专家)架构,在保持强大模型能力的同时显著降低了推理成本。00- RRing-2.5-1TRing-2.5-1T:全球首个基于混合线性注意力架构的开源万亿参数思考模型。Python00