让智能体在多个进程中运行,故障互不干扰。
Logos: An Agent Harness on a Cross-Process Bus

- 每个插件独立为进程,仅通过只增不改的记录共享状态。
- 80次会话重启无重复效果,单点故障不影响其他进程。
- 适合构建高可用智能体系统,尤其需容错的复杂应用。
现代智能体系统在运行时动态组合能力,最近在时空可组合性演算中得到完整形式化,其中能力是携带追踪逆的组件,智能体作为插件组装。当前插件形式由单一进程承载,共享同一上下文,所有组件处于同一故障域,进程崩溃会同时中断所有会话。本文指出:模型语言的状态无关性使跨步骤状态脱离模型,且语义正确性不变量仅依赖状态空间本身。基于此提出四条引理,进而构建Logos——一种类ROS的跨进程智能体框架:插件即独立进程,唯一共享状态为只增不改的执行记录。在工具调用周期四个边界设置进程终止后,80次会话恢复无重复效应;与单进程基准对比显示,同故障下跨进程方案仅影响单个节点,而单进程方案中断所有共驻会话。
原文摘要 · Abstract (English)
Modern agent systems assemble capabilities at runtime, and this dynamic composition has recently received a complete formal treat ment in the spatiotemporal-composability calculus, in which a capability is a component carrying a tracked inverse, and agents are assembled as plugins. This plugin form is carried by a single process sharing one context, a carrier that places all components in one physical failure domain, a fault suspends every component at once, and process death interrupts every session the process hosts. This paper shows that neither the modeling nor the calculus binds an agent to one process, the statelessness of the language model keeps all cross-step state outside the model, and the soundness invariant is defined on the state space alone. These observations condense into four lemmas whose premises are the hypotheses of the calculus and the statelessness of language-model inference. On these lemmas this paper constructs Logos, a ROS-like cross process agent harness in which a plugin is a process and the only shared state is an append-only transcript. Eighty sessions resume with no repeated effect after kills placed at the four boundaries of the tool-call cycle, and a same-fault comparison with a single process reference configuration shows one fault interrupting every co-resident session while under the peer-process construction one fault ends at one node.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。