Kubespray v2.26.0 版本发布:全面支持 Kubernetes 1.30 及多项重要更新
Kubespray 作为 Kubernetes 集群部署的自动化工具,近日发布了 v2.26.0 版本。本次更新带来了多项重要改进,包括对 Kubernetes 1.30 的全面支持、多个核心组件的版本升级,以及多项功能增强和问题修复。
核心组件升级
本次版本更新将 Kubernetes 默认版本提升至 v1.30.4,同时 etcd 升级到 v3.5.12 版本。在容器运行时方面,Docker 更新至 v26.1,containerd 升级到 v1.7.21。这些核心组件的升级为用户带来了最新的功能特性和安全补丁。
网络插件更新
在网络插件方面,Calico 升级到 v3.28.1 版本,Weave CNI 也更新至社区维护的 v2.8.7 版本。Kube-OVN 更新到 v1.12.21,为用户提供了更稳定的网络解决方案。值得注意的是,CNI 插件版本已升级至 v1.4.0,为容器网络提供了更好的支持。
存储插件增强
存储插件方面也有多项更新,包括 Cinder CSI 插件升级到 v1.30.0,AWS EBS CSI 驱动更新至 v0.5.0,Azure 磁盘 CSI 驱动升级到 v1.10.0。这些更新为不同云平台上的持久化存储提供了更好的支持。
重要功能改进
-
操作系统支持调整:移除了对 CentOS 7 和 Debian 10 的支持,这些系统将不再进行测试和维护。
-
Kubelet 配置增强:新增了
kubelet_max_parallel_image_pulls参数,允许用户配置并行拉取镜像的最大数量,优化了节点资源利用率。 -
日志级别配置:现在用户可以配置 Calico-kube-controllers、local-volume-provisioner 和网络检查器组件的日志级别,便于问题排查。
-
Ubuntu 内核更新控制:新增了
ubuntu_kernel_unattended_upgrades_disabled选项,允许用户控制 Ubuntu 系统上内核和相关软件包的自动更新行为。 -
系统依赖管理:用户现在可以通过跳过
system-packages标签来禁用使用系统包管理器安装操作系统依赖项。
应用组件更新
- Cert-manager 升级到 v1.14.7
- Ingress-nginx 控制器更新至 v1.11.2
- Helm 升级到 v3.15.4
- Kube-vip 更新至 v0.8.0
- Node-feature-discovery 升级到 v0.16.4
问题修复
本次版本修复了多个重要问题,包括:
- 修复了 etcd 在使用自定义访问地址时无法启动的问题
- 解决了 kube-apiserver 广告地址配置错误的问题
- 修正了 OpenStack 环境下 Ansible 清单可能损坏的问题
- 修复了在重置操作时网络服务重启的问题
- 解决了 kubeadm 1.30 升级过程中的命令行参数变更导致的升级失败问题
使用建议
对于计划升级到 Kubespray v2.26.0 的用户,建议:
- 首先确认目标操作系统在支持列表中
- 仔细阅读变更日志,特别是已移除的功能和组件
- 在测试环境中验证升级过程
- 对于生产环境,建议先进行小规模验证再全面推广
Kubespray v2.26.0 通过多项功能增强和问题修复,为用户提供了更稳定、更灵活的 Kubernetes 集群部署体验。特别是对 Kubernetes 1.30 的全面支持,使集群能够利用最新的 Kubernetes 特性和安全更新。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C077
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0131
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00