开源操作系统框架 Genode OS 发布 25.08 版本
开源操作系统框架 Genode OS 发布了 25.08 版本,引入了新的内核调度器以实现公平性和低延迟,探索了 XML 的替代方案,优化了块存储堆栈,并将所有基于 Linux 的 PC 驱动程序更新至内核版本 6.12。
此外,该版本还为最新版本 13.0 的 seL4 微内核解锁了更多动态场景。
- 核心调度器(Kernel Scheduler)重构:优化公平性与延迟
新版本对 Genode OS 中的内核调度器进行了全面重构,尤其为其通用操作系统 Sculpt OS 考量了动态工作负载的需求,优化了任务调度的公平性与响应延迟。
- 块存储层(Block Layer)改进
对块存储子系统进行了多项优化,包括精简数据路径、提升 I/O 性能。这些改进通过整体优化块存储栈,减少中间组件(如分区管理模块)的参与,增强了多队列硬件支持能力。
- Linux 驱动更新至 Kernel 6.12 LTS
Genode 的 Linux 驱动组件——在其 Linux 驱动环境中使用的驱动程序均已升级,基于 Linux 6.12 LTS 源代码,对硬件兼容性和稳定性进行了增强。
- 兼容 seL4 微内核:支持 seL4 版本 13.0
Genode 持续扩展其对 seL4 微内核的支持。此版本中,已将 seL4 内核更新到最新 13.0 版本,并解决了先前存在的可扩展性瓶颈,尤其改善了动态场景(如插拔式驱动加载)下的表现。
- 探索 XML 的替代语法
为了改进配置与报告流程,新版本引入了对 XML 的替代语法支持,允许配置文件逐步从 XML 切换到更轻量的形式,并支持与 XML 之间的互操作性,这一思路已规划超过两年,本次进入实用评估阶段。
详情查看 https://genode.org/documentation/release-notes/25.08
