为分布式 Agent Harness 打造可编程事件循环
本文介绍了 Comma 的分布式 Agent 框架 Salix 中的 Loop 机制：由 Agent 自己编写的小型 C 程序，编译为 eBPF 后在集群中 7x24 持续运行，充当外层事件循环，负责廉价地过滤和监控海量事件，仅在值得关注的情形下唤醒昂贵的内层模型 Agent 循环。文章阐述了为何选择 eBPF（内存占用小、可安全运行不可信代码、等待近乎零成本），并介绍了底层用户态 eBPF 运行时 Spinfoam：基于 async-ebpf，协程式异步、完全抢占式调度，并通过 Lean 形式化证明保证内存安全。实测 10,000 个监控 Loop 单线程运行，每个仅占约 64KB 内存。
