Proto：现代操作系统构建的引导之旅（SOSP 2025）
原题：Proto: A Guided Journey through Modern OS Construction
一句话总结：Proto 用 5 个 incremental prototype 将 per-app address space、USB、DMA、multicore 等机制连到目标应用。P5 的 kernel core 约 8K SLoC（完整 kernel 约 33K）；Pi3 上 DOOM 为 61.80 FPS、480p video 为 26.68 FPS，均为特定 app/configuration 测量。
问题与动机
本科 Operating-Systems 课程兴趣下滑（顶尖校 20/30 不再必修），部分因 instructional OS（如 xv6）难连接学生日常体验的应用。历史 UNIX/TeX/WWW 源于「为自己做系统」的动机，现教学常止于 shell/printf。Proto 回应：P1 吸引人应用、P2 真机可演示、P3 增量原型、P4 最小可行实现（每机制服务具体 app）。
关键观察 / 隐含假设
- 观察 1：以 framebuffer/USB/audio 为先类外设，可早期支撑游戏与媒体，比「先完成完整 POSIX」更能维持 17 周/150h 内进度。
- 依赖假设：学生具备 CSO + AI 工具辅助；ARMv8 廉价板足够。
- 可能失效场景：无硬件供应或评分只认 x86/QEMU 时 P2 受阻。
- 观察 2：增量 self-contained prototype 比 big-bang 更易 baseline 与 debug（Ford 747/SpaceX 类比）。
- 依赖假设：每阶段作业可独立验收运行。
- 可能失效场景：后期 prototype 依赖前期代码质量，差生可能卡在 P2。
- 假设 1：约 10K SLoC 的 kernel core 仍可涵盖现代概念（per-app AS、thread、FS、USB、DMA、multicore、WM）。
- 证据强度：中强；功能列表与 Figure 1 演示充分。
核心方法
五个 prototype（表 1）：从 3D 动画 → 游戏 → 视频/音乐 → 网络/区块链等，逐步引入机制。
特性：per-app address spaces、commodity FS、USB、DMA、multicore、self-hosted debug、window manager。
代码：https://github.com/fxlin/uva-os-main 。
设计取舍
- 取舍 1：娱乐/媒体 app 动机 vs 传统 syscall/调度深度——部分经典专题可能变浅。
- 取舍 2：ARM 真机优先 vs x86 教材生态。
- 边界条件：多数 microbench 与 xv6 同级 overhead，非全面超越 Linux。
实验与结果
指标、基线与边界：FPS 吞吐、功耗、self-reported survey；vs Linux/FreeBSD，Pi3 app workload、同 app source/compiler，或 Proto 课程问卷（§7）。
- P5 kernel core 约 8K SLoC，完整 kernel 约 33K；<10K 的描述不包括 FAT32/USB driver（§7.1，Fig.7）。
- Pi3 上 DOOM 为 61.80±0.01 FPS，480p/720p video 为 26.68±0.40/11.57±0.25 FPS（§7.3，Table 5）。对 Linux/FreeBSD 的特定 app throughput 范围为 0.8×–1.9×，不代表生产 OS 全面比较。
- Pi3+GAME-HAT：shell 约 3 W（约 3.7 h），mario-sdl/DOOM 约 4 W（约 2.6 h）（§7.4，Fig.12）。
- 课程 survey 收到 48/59 份答复，64% 选择真机实验；为单课程 self-report（§7.5，Fig.13）。
论断—证据表
| 论断 | 证据 | 指标 / 基线 / 评测边界 | 定位 | 置信度 |
|---|---|---|---|---|
| 小规模的 kernel core 不等于完整 kernel 代码量 | P5 core 约 8K、完整约 33K SLoC | instructional OS；xv6/Xinu/pennOS 为代码规模参照 | §7.1，Fig.7 | high |
| 多媒体结果来自特定 Pi3 app workload | 61.80 FPS、26.68 FPS、11.57 FPS | Pi3、DOOM direct rendering；VideoPlayer preload/direct rendering；vs Linux/FreeBSD | §7.3，Table 5 | high |
| 与 production OS 的吞吐比较有明确实现边界 | 0.8×–1.9× | 同硬件/source/compiler；production OS 可用 acceleration、X server 带额外开销 | §7.3 | high |
| 功耗结论限于手持装置与运行状态 | shell 3 W，game workload 4 W | Pi3+GAME-HAT、默认背光、3000mAh/3.7V 电池估算 | §7.4，Fig.12 | high |
| 教学反馈是单课程问卷结果 | 48/59 responses，64% 选真机 | Spring 2025 单校课程；无学习成效对照 | §7.5，Fig.13 | high |
批判性分析
论证链条
教育痛点 → 原则驱动分解 → 可演示现代 OS，论文类型偏系统教育非生产 OS。到「恢复 OS 必修吸引力」的因果需长期 enrollment 数据——user study 是短期调查。
假设压力测试
- 公平性：有游戏/多媒体背景学生可能优势不均。
- 安全：教学 WM/USB 栈安全深度 vs 速度 trade-off。
- 维护：5 prototype 分支长期与主线内核同步成本。
实验可信度
UVA 课程用户研究样本有限；性能对比 Linux/FreeBSD 同 app 有说服力。缺与其他 instructional OS（OS161、Pintos）学习成效对照实验。
系统性缺陷
非研究 OS；安全性、虚拟化、容器等现代云主题覆盖有限。论文未讨论学术诚信（AI Copilot 写 OS 作业）边界。
局限与后续工作
- 局限 1：150h 预算限制机制深度。
- 局限 2：ARM 为主，x86 实验室需额外移植。
- Future work 1：多校部署前后测标准 OS 概念掌握度与选修率。
- Future work 2：将 Proto P5 网络栈与 Dandelion 云原生模块对比教学路径。