以Oracle计算模型统一Agent与工作流的运行语义
We Query, Therefore We Compute: On Oracle Computation beyond the Machine, with an Application to Agents
摘要
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 系统可以像计算机系统一样进行设计。有了基础和统一的视图,未来的工作就可以共享不变量和界限,每个都有其条件。
