让 LLM 在内核里把“微系统调用”拼成应用要的语义
An Agentic OS Kernel for Flexible and Enhanced Semantics
Haocheng Wang, Xinyue Sun 等 6 人
内核的 syscall 接口通用但僵硬,eBPF 等定制手段受严格的安全和性能限制,而且只能定制机制、不能定制抽象。作者把单体 syscall 拆成可组合的 micro-syscall,新增 isyscall 入口让应用提交高层意图,由 LLM 生成组合计划;已验证的计划会被缓存,关键路径上不跑推理。安全性靠每个 micro-syscall 自身的检查,不依赖 LLM 输出正确。在 Linux 上实现为 IntentOS,跨 4 个内核版本测试。
参考价值论文把 eBPF 当作内核可定制性的主要对照,讨论它在安全和性能上的限制,有助于理解 eBPF 类扩展机制的定位和边界。
- 进程创建延迟 −17.55%
- 多文件操作 +6.97%
- 内核扩展
- 系统调用
- AI Agent