Kube-Router中LoadBalancer服务导致API服务器不可达问题分析
问题背景
在Kubernetes网络插件Kube-Router的使用过程中,用户报告了一个严重问题:当创建类型为LoadBalancer的服务后,Kubernetes API服务器会变得不可达。这个问题在IPv6环境下尤为突出,影响了集群的正常运维操作。
问题现象
用户在使用Kube-Router v2.1.2版本时发现,执行以下操作后API服务器无法访问:
- 创建一个LoadBalancer类型的服务
- 尝试访问API服务器端点或ping API服务器IP地址
通过检查系统状态,发现API服务器的IP地址被错误地添加到了inet6:kube-router-svip这个ipset集合中,导致所有发往API服务器的流量被iptables规则错误地拦截。
技术分析
IPVS服务管理机制
Kube-Router使用IPVS来实现Kubernetes服务负载均衡。在内部实现中,它会维护几个关键的ipset集合:
kube-router-svip:存储所有服务VIP地址kube-router-svip-prt:存储服务VIP和端口组合kube-router-local-ips:存储本地IP地址
正常情况下,API服务器的IP地址不应该出现在kube-router-svip集合中,因为这不是一个服务VIP。然而在问题场景下,这个IP被错误地加入了集合。
流量拦截机制
Kube-Router设置了以下iptables规则链来处理服务流量:
Chain KUBE-ROUTER-SERVICES (1 references)
target prot opt source destination
ACCEPT ipv6-icmp -- anywhere anywhere /* allow icmp echo requests to service IPs */
ACCEPT ipv6-icmp -- anywhere anywhere /* allow icmp ttl exceeded messages to service IPs */
ACCEPT ipv6-icmp -- anywhere anywhere /* allow icmp destination unreachable messages to service IPs */
ACCEPT all -- anywhere anywhere /* allow input traffic to ipvs services */ match-set inet6:kube-router-svip-prt dst,dst
REJECT all -- anywhere anywhere /* reject all unexpected traffic to service IPs */ ! match-set inet6:kube-router-local-ips dst reject-with icmp6-port-unreachable
当API服务器IP被错误加入kube-router-svip后,流量会进入这个规则链。由于该IP不在kube-router-local-ips集合中,最终会被REJECT规则拒绝。
根本原因
经过深入分析,发现问题出在Kube-Router构建ipset集合的逻辑上。代码中会遍历所有IPVS服务来构建kube-router-svip集合,但没有正确过滤掉非Kubernetes服务创建的IPVS条目。在某些情况下,这会导致节点IP被错误包含。
解决方案
该问题已在后续版本中通过以下改进得到修复:
- 严格区分Kubernetes服务创建的IPVS条目和系统其他部分创建的条目
- 在构建ipset集合时增加更严格的过滤条件
- 确保节点IP不会被误认为服务VIP
用户可以通过升级到包含修复的版本来解决此问题。测试表明,修复后的版本不再出现API服务器不可达的情况。
最佳实践建议
对于使用Kube-Router的用户,特别是IPv6环境下的用户,建议:
- 定期检查
ipset list和ipvsadm -L -n输出,确保没有异常条目 - 监控API服务器的可访问性,特别是在创建LoadBalancer服务后
- 考虑使用较新版本的Kube-Router,其中包含了对这类问题的修复
- 在生产环境部署前,充分测试网络组件的兼容性
总结
Kube-Router作为Kubernetes网络解决方案,在大多数场景下工作良好,但在特定配置下可能会出现边缘情况。本次分析的LoadBalancer服务导致API服务器不可达问题,展示了网络组件实现细节对集群稳定性的重要影响。通过理解底层机制和及时应用修复,可以确保生产环境的稳定运行。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00