操作系统 on MessageDailyhttps://inkeast.github.io/MessageDaily/tags/%E6%93%8D%E4%BD%9C%E7%B3%BB%E7%BB%9F/Recent content in 操作系统 on MessageDailyHugozh-cnThu, 24 Sep 2026 00:00:00 +0000当智能体开始给操作系统「付房租」：云栖2026上一场关于Agent OS定义权的暗战https://inkeast.github.io/MessageDaily/posts/2026-09-24-yunqi2026-agent-native-operating-system/Thu, 24 Sep 2026 00:00:00 +0000https://inkeast.github.io/MessageDaily/posts/2026-09-24-yunqi2026-agent-native-operating-system/2026云栖大会「AI Agent原生操作系统」分论坛回放：Agent负载让「换操作系统=白拿40%性能」、token成本治理下沉到系统调用层，AMD与Arm用「沙箱密度」重写CPU规格表，中兴提出OS的第一性使命是「踩刹车」。本文梳理Agentic OS、SysAgent、SkillHub、SAIL开源等发布，拆解负载变迁→OS价值位重估→治理标准之争三层传导，并给出可落地的观察指标。MachCSL 精读：MIT 用 AI Agent 把 xv6 内核验证推进到 RISC-V 硬件级https://inkeast.github.io/MessageDaily/posts/2026-09-06-machcsl-xv6-riscv-verification-paper-reading/Sun, 06 Sep 2026 00:00:00 +0000https://inkeast.github.io/MessageDaily/posts/2026-09-06-machcsl-xv6-riscv-verification-paper-reading/MIT CSAIL（Kaashoek×Zeldovich）的 MachCSL 把并发分离逻辑（Iris 系）扩展到 RISC-V 硬件级语义——页表翻译、TLB、特权级、DMA、断电——并以此为基座证明 6,593 行 xv6 内核的全部不变量。验证过程发现 9 个 xv6 bug 与 1 个 Sail 语义 bug；全程由 LLM Agent 深度参与：77 天、407 个 agent 会话、2,254 个子代理运行、Claude 累计运行 1,729 小时。