论文

以Oracle计算模型统一Agent与工作流的运行语义

We Query, Therefore We Compute: On Oracle Computation beyond the Machine, with an Application to Agents

智能体系统AI 基础设施Agent HarnessAI 开发与运维平台

摘要

Agentic 系统使用大型语言模型 (LLM) 来执行具体任务。之前的工作经常从操作系统中零碎地借用调度、缓存或隔离等抽象概念,因此它构建的机制几乎没有共同点,并且两种形式的 Agentic 系统(工作流和Agent)的共享视图也很有限。我们构建了一个提供两者的抽象机器。我们将 LLM 视为 Oracle,并用一条指令扩展了一个两堆栈下推自动机,该指令将整个堆栈作为 Oracle 的查询,并将答案附加到同一堆栈。因此,机器执行两种计算,即神谕计算和图灵完备计算,我们称之为女祭司。程序仅附加到的堆栈会自回归增长,就像Agent的上下文一样。两个对称性破缺(存储中的 S 和转换中的 T)使 Priestess 程序成为 Oracle 运行的程序的操作系统,并产生 Agent 和 Workflow 作为任务程序的两个位置。对于内部自回归预言机,这两个计算在某些条件下在每个答案结束时同步,通过该同步,我们对缓存进行建模并分析调度。不能保证每个 Oracle 都可以修复两个计算之间交叉的内容,但这样的保证确实修复了边界本身。 V 型结构将机器安装到冯·诺依曼计算机上。为了证明它是可实现的,我们提出了 ArchNights,一个扩展的 RISC-V ISA 和一个通过设计实现机器的 Linux 风格的操作系统。 ArchNights-SE作为计算机系统运行在gem5上,当它作为Oracle运行LLM时成为agentic系统,并且将开源。 Agentic 系统可以像计算机系统一样进行设计。有了基础和统一的视图,未来的工作就可以共享不变量和界限,每个都有其条件。

以Oracle计算模型统一Agent与工作流的运行语义:论文原图
图 7:ArchNights-SE 制作 world.execute(me); 音乐视频的会议。上图:显示视频的模拟显示屏;它的文字和图表,例如两个堆栈,属于视频,而不是本文。下图:gem5 的消息和 PRTS 上的 shell 会话,在提示符下有一个自然语言的请求,命名它想要的调用(其中有 fb_play),操作员调用任务,每个任务都有其结果。会话的用户 oracle 是普通 O 模式用户(第 6.3 节)。 bash 的每次调用都会经过 𝚜𝚘𝚍𝚘\mathtt{sodo},与我们所有的测试一样,其审核在本次运行中关闭,而 fb_play 是在内核模块中注册的语义委托调用(第 6.4 节)。主机路径和主机命令由占位符替换。