2025 年春夏季开源操作系统训练营第四阶段方向

[Azure-stars]

2025 年春夏季操作系统训练营第四阶段工作——宏内核

背景

• ArceOS 主线仓库：arceos-org/arceos
• ArceOS 用于参与 OS 比赛的下游仓库：oscomp/arceos
• Starry-Next 仓库：oscomp/starry-next

Starry Next 是基于组件化内核 ArceOS 开发的宏内核扩展，希望能够利用组件复用的思想降低开发新的宏内核的成本。

工作

已有 bug 修复

• 频繁调度导致 irq 无法触发：Frequent context switch leads to IRQ being silenced #29

• lwext4 文件系统并发支持：Multi-threaded support gkostka/lwext4#83

新特性支持

• 浮点特性支持：https://github.com/oscomp/arceos/issues/26，主要是为 LA 提供浮点特性支持
• 大页分配支持：mmap 等操作的时候可以考虑进行大页分配，而不是只用 4k
• copy on write 支持
• vdso 支持
• 对 loongarch64 的 rtc driver 支持
• 网络协议栈的适配：带网桥的协议栈的支持（默认的 ArceOS 协议栈无法同时支持 loopback 和以太网连接）
• 改进同步互斥相关crate，实现 futex 等同步原语（参考标准库和 POSIX 规范）：已有的工作详见：https://github.com/arceos-org/arceos/tree/axsync

应用支持

• 更多内核测例应用的支持：测例镜像

• LTP 测例的支持

• 实用应用支持：

  • git 应用
  • redis 应用
  • gcc 应用
  • syzkaller 应用

其他支持

• 给三阶段的oscamp项目添加github CI/CD支持
• 扩展三阶段的oscamp项目添加新的unikernel/monolithickernel/hypevisor的tutor例子
• 升级三阶段的oscamp项目，替换其repo中的arceos，直接采用主线的arceos
• 升级三阶段的oscamp项目，替换其repo中的arceos，直接采用OS比赛的arceos
• 升级三阶段的oscamp项目，支持x86-64
• 升级三阶段的oscamp项目，支持aarch64
• 升级三阶段的oscamp项目，支持loongarch64
• 改进starry-next tutorial book(writing)文档
• 为 starry-next 支持更多硬件设备，如星光二代、飞腾派等
• 改进支持starry-next的底层arceos ，能够与支持组件化axvisor hypervisor的底层arceos合并为一个arceos repo
• 改进/封装ext4（如lwext4等）文件系统crate，改进对应的CI/CD
• 改进/封装tcp/ip(如lwip等）协议栈crate，改进对应的CI/CD
• 改进/封装USB协议栈(如cherryUSB等)crate，改进对应的CI/CD

更多深入工作详见：https://github.com/orgs/rcore-os/discussions/15 ，请进一步联系助教或者老师。