Yifan Sui, Han Zhao, Rui Ma, Zhiyuan He, Hao Wang, Jianxun Li, Yuqing Yang | 2026-03 | https://arxiv.org/abs/2603.18897 Category: agent | Tags: serving, speculation, scheduling, tool-execution, latency-optimization Read: 2026-04-20
PASTE 通过模式感知的推测性工具执行(speculative tool execution)将 agent 任务完成时间缩短 48.5%、工具执行吞吐提升 1.8×。核心思路:agent 的 tool 调用序列虽然语义多变,但在应用层存在稳定的控制流模式(如 search→fetch、edit→test)和可预测的数据依赖(参数来自前序 tool 输出),PASTE 用 Pattern Tuple $(C, T, f, p)$ 形式化这些模式,在 LLM 还在"思考"时就提前投机执行下一个 tool。
提出 Pattern Tuple $(C, T, f, p)$ 抽象将 agent tool-call 的控制流和数据流解耦,配合风险感知的投机调度器,在不影响正确性的前提下实现 tool execution 与 LLM generation 的时间重叠,将 agent 端到端延迟降低 48.5%。
动机:LLM Agent 以串行的 "LLM→Tool→LLM→Tool" 循环执行任务,tool 执行占总时间 35%-61%(§2.2, Figure 3a)。现有优化要么关注 cold start(仅占工具时间 <20%,Figure 3b),要么优化 LLM serving 本身,都无法减少工具执行等待时间。serverless 工作流优化(ORION, SpecFaaS)假设静态 DAG,不适用于 agent 的在线生成控制流。
方法:PASTE 以两个洞察为基础——(1) agent tool 调用在应用层呈现稳定的控制流模式(coding 中 55% 的 file_editor 后紧跟 pytest;deep research 中 51% 的 search 后跟 web_fetch),(2) tool 参数可从前序 tool 输出中符号推导(95% 的 URL 来自 search 结果)。PASTE 引入 Pattern Tuple $(C, T, f, p)$:$C$ 是控制流上下文(事件签名序列),$T$ 是预测目标工具,$f$ 是符号值映射函数(延迟绑定参数推导),$p$ 是置信概率。离线阶段通过 PrefixSpan 挖掘频繁序列 + 符号依赖推断构建 pattern pool;在线阶段通过 hash-map 匹配 $O(1)$ 查找触发预测。风险感知调度器将工作负载分为 authoritative(正确性关键)和 speculative(尽力而为、可抢占),投机任务仅使用 slack 资源,通过 promotion protocol 在匹配时零冗余提升。
结果:在 3 种 agent(Gemini-CLI、Qwen-DR、VirtualLab)×3 种 benchmark(DeepResearchBench、SWE-bench、ScholarQA)的全面评估中,PASTE 平均将 E2E 延迟降低 48.5%,p95/p99 尾延迟分别降低 48.6%/61.9%,tool 执行吞吐提升 1.8×。Pattern predictor 达到 27.8% Top-1 准确率、93.8% overall hit rate。资源开销极低:每减少 1 秒延迟仅消耗 0.02 core-seconds CPU、2.6 MB 内存。

What it shows: 深度研究 agent (a) 和编码 agent (b) 中观察到的工具调用模式——Model Thinking(蓝色圆)与 Tool Execution(绿色方块)交替,橙色虚线箭头表示控制流模式(pattern-1: Search→Browse, pattern-2: Browse→Browse, pattern-3: Run Test→Install Missing Packages)。
Why it matters: 这是整篇论文的 motivation 图,直观展示了"虽然 agent 请求语义多样,但应用层存在可预测的控制流模式"这一核心洞察。
Detailed description: 图分为两部分。(a) Deep research agent:Search tool 执行后,LLM 思考,然后调用 Browse,再次思考后又调用 Browse。pattern-1 连接 Search→第一个 Browse,pattern-2 连接第一个 Browse→第二个 Browse,体现级联 fetch 模式。(b) Coding agent:Run Test 执行后,LLM 思考,再次执行另一个 tool,然后 Install Missing Packages。pattern-3 显示 test 失败后安装缺失包的因果模式。

What it shows: PASTE 的完整系统架构——作为 middleware 层介入 Agent 和 Tool System 之间,包含 Event Extractor、Pattern Miner、Predictor、Speculative Scheduler 和 Speculative Invocation Arbiter 五大组件。
Why it matters: 这是论文的"灵魂图",展示了 PASTE 如何将投机执行无缝嵌入现有 agent 运行时。
Detailed description: 顶层是 Agent,发出 Agent Tool Calls 进入 PASTE 中间件。Event Extractor 将工具调用标准化为事件签名,一路送给 Predictor 做在线预测,另一路送给 Pattern Miner 做离线挖掘。Pattern Miner 产出 Pattern Pool (P1, P2, P3...)。Predictor 从 Pattern Pool 查找匹配,生成 Speculative Tool Calls 送给 Speculative Scheduler。Scheduler 根据资源预算调度投机任务到 Spec Tool Procs,同时 Speculative Invocation Arbiter 管理 authoritative vs speculative 的优先级和 promotion。Tool System 包含 Agent Tool Procs(权威执行)和 Spec Tool Procs(投机执行,可抢占),Tool Call Results 反馈给 Pattern Miner 更新模式。

What it shows: 四种 agent 配置下 LLM 调用与 Tool 调用的时间占比——Gemini-Coding (Tool ~52%), Gemini-DR (Tool ~43%), Qwen-DR (Tool ~61%), Virtual-Lab (Tool ~35%)。
Why it matters: 量化了论文的核心 motivation:tool 执行占总时间的大头,且跨 agent/benchmark 一致。

What it shows: PASTE 与 SpecFaaS、ORION 的 E2E 延迟对比柱状图。PASTE(绿色)在所有四种配置中均显著低于两个 baseline。
Why it matters: 主实验结果图,直接证明 PASTE 的有效性——average speedup 1.25×/1.32× over ORION/SpecFaaS。

What it shows: ORION、SpecFaaS、PASTE 三者的时间组成分解——Overlap Region(黄色)、Tool Execution(绿色)、Tool Stall(红色)、Spec. Overhead(橙色)。PASTE 的 overlap 区域显著大于 baseline,tool stall 大幅缩小。
Why it matters: 解释了 PASTE 加速的机制——不是减少 tool 执行本身的时间,而是通过投机执行将 tool 工作与 LLM generation 重叠,从而隐藏 tool stall。ORION 约 150s 中大量红色 stall;PASTE 约 100s 中大部分是绿色执行+黄色 overlap,stall 显著减少。
| Element | P1 | P2 |
|---|---|---|
| C (Context) | [(Search, success)] | [(Search, success), (Web_fetch, fail)] |
| T (Target) | Web_fetch | Web_fetch |
| f (Function) | arg0 = SearchRes["list"][0]["url"] | arg0 = SearchRes["list"][1]["url"] |
| p (Probability) | 0.9 | 0.8 |
Takeaway: Pattern Tuple 将控制流(C)和数据流(f)解耦——P1 在搜索成功后预测 fetch 第一个 URL;P2 在首次 fetch 失败后降级到第二个 URL,体现了 fallback 模式的形式化。
| Component | Setting |
|---|---|
| Cluster | 4 nodes |
| Per-node CPU | 96 vCPUs, AMD EPYC 7V13 |
| Per-node Memory | 512 GB |
| Per-node GPU | 8× NVIDIA A100 80GB |
| Total GPUs | 32× A100 80GB |
| LLM API | Gemini-2.5-Pro, GPT-5.2 |
| Local Model | Qwen-DeepResearch-30B |
Takeaway: 评估覆盖了 API 模型(Gemini, GPT)和本地部署模型(Qwen-30B),确保结论不依赖于特定 LLM。
PASTE 不是一个 agent 本身,而是一个 agent serving 中间件。它位于 agent 和 tool execution backend 之间,作为 tool-serving proxy 运行。

解读: PASTE 的分层架构体现了一个关键设计理念:最小化侵入。Agent 不需要修改任何代码,只需将 tool 请求路由到 PASTE proxy。PASTE 内部的 Event Extractor → Predictor → Scheduler 形成一个旁路的投机执行 pipeline,与 agent 的 authoritative execution 完全隔离。Speculative Invocation Arbiter 是两条路径的汇合点,负责 promotion(投机命中时复用结果)和 preemption(资源争用时抢占投机任务)。
PASTE 不涉及 agent 的规划或推理——它工作在规划层之下的 执行层。

解读: 在所有 agent×benchmark 配置中,PASTE 的 E2E 延迟一致低于两个 baseline。Gemini-CLI:Research 场景收益最大(因为 research 任务的 search→fetch 模式高度规律),Virtual-Lab 收益也显著(科研 agent 的工具序列较为固定)。
| Metric | PASTE vs ORION | PASTE vs SpecFaaS |
|---|---|---|
| Avg E2E latency reduction | up to 48.5% | up to 48.5% |
| p95 tail latency reduction | up to 48.6% | up to 48.6% |
| p99 tail latency reduction | up to 61.9% | up to 61.9% |
| Avg E2E speedup | 1.25× | 1.32× |
| Avg tool speedup | 1.71× | 1.83× |
| Tool stall reduction | 67% | 67% |
| Overlap improvement vs SpecFaaS | — | 10× |
N/A — PASTE 目前设计为单 agent session 内的优化。但论文的 scalability 实验(§7.4)表明在 100 并发 session 下仍保持 1.76×+ 加速,为 multi-agent 场景提供了基础。
| Layer | Impact |
|---|---|
| Algorithm | 不涉及训练——纯 serving-time 优化 |
| Kernel | 若 tool 包含 GPU kernel(如代码执行中的模型推理),投机执行需要 GPU 资源隔离 |
| Framework | 核心——可作为 agent serving framework (vLLM/SGLang) 的 tool-calling middleware |
| LLM | 模型无关,但 function calling 能力越强越受益 |
| Cost | 资源开销极低:每减少 1s 延迟仅 0.02 core-sec CPU + 2.6 MB mem + 0.9 MB network |
作者证明 类型: Agent 类 — empirical sweep matrix + 简化的分析优化模型
Notation:
| Symbol | Meaning |
|---|---|
| $\mathcal{P} = \{(C_i, T_i, f_i, p_i)\}$ | Pattern pool,所有验证通过的模式 |
| $C$ | Context — 事件签名的有序子序列 |
| $T$ | Target — 预测的 tool 类型 |
| $f$ | Value mapping function — 参数推导的符号函数 |
| $p$ | Probability — 模式的经验置信度 |
| $\mathcal{J}_s$ | Pending speculative jobs 集合 |
| $x_j \in \{0,1\}$ | 是否调度第 $j$ 个投机任务 |
| $p_j$ | 第 $j$ 个任务被消费的概率 |
| $T_j$ | 第 $j$ 个任务命中时的延迟收益 |
| $c_j$ | 第 $j$ 个任务的资源成本 |
| $d_j$ | 第 $j$ 个任务的预期执行时间 |
| $R_{\text{slack}}$ | 剩余 slack 资源 |
| $B$ | 投机资源预算上限 |
核心方程:
投机调度优化目标(Eq. 1):
$$\max \sum_{j \in \mathcal{J}_s} x_j \cdot p_j \cdot T_j \quad \text{s.t.} \quad \sum_{j \in \mathcal{J}_s} x_j \cdot c_j \leq \min(R_{\text{slack}}, B)$$
物理含义: 在不超过 slack 资源和预算上限的约束下,最大化投机任务的期望延迟收益。这是一个标准的 0-1 背包问题。
为什么是 $\min(R_{\text{slack}}, B)$: $R_{\text{slack}}$ 是物理约束(实际可用资源),$B$ 是策略约束(运维设定的投机上限)。取 min 确保两个约束都满足——即使有大量空闲资源,也不允许投机占用超过预算。
贪心近似的优先级评分(Eq. 2):
$$U(j_i) = \frac{p_i \cdot T_i}{c_i \cdot d_i}$$
物理含义: 单位资源-时间的期望收益。分子是"成功概率 × 延迟收益"(期望收益),分母是"资源成本 × 执行时间"(投入)。这是一个 ROI 度量——优先投机那些"成功率高、收益大、成本低、速度快"的任务。
单调性: $U$ 对 $p_i, T_i$ 单调递增,对 $c_i, d_i$ 单调递减。这意味着高置信、高收益、低成本的任务总是优先被调度——直觉正确。
模型→数字的一阶映射: 论文的 overall hit rate 达 93.8%(§7.5),意味着大多数投机任务的 $p$ 较高。同时 tool 执行减少 67%(§7.3),对应于 overlap analysis 中 PASTE 的黄色 overlap 区域远大于 baseline。资源开销(0.02 core-sec/s latency reduction)对应于 $c_i$ 项的实际数值——极低的 $c_i$ 使 $U$ 值偏高,解释了为什么 PASTE 可以激进投机而不浪费资源。
纯模型防守: "即使没有实验数据,仅凭 agent tool 调用的 trace 统计(55% edit→test, 95% URL from search),Pattern Tuple 的 confidence threshold $\tau$ 就能筛选出高收益投机目标;Eq. 2 的贪心排序确保在有限资源下最大化期望收益。"
可攻击面:
| Step | Premise (引用) | Conclusion | Evidence | Load-bearing? |
|---|---|---|---|---|
| 1 | Agent 以串行 LLM→Tool 循环运行 (§2.1.2, Figure 2) | Tool 等待是 E2E 延迟的组成部分 | 架构约束 | ✓ 基础设定 |
| 2 | Tool 执行占总时间 35%-61% (§2.2.1, Figure 3a) | Tool 等待是 主要 瓶颈 | 跨 3 benchmark × 3 agent 的实测数据 | ✓ 核心 motivation |
| 3 | Cold start 仅占 tool 时间 <20%;serverless DAG 假设不适用 (§2.2.2, Figure 3b) | 现有方法无法有效减少 tool 执行时间 | 排除替代方案 | ✓ 必要条件 |
| 4 | Agent tool 调用存在稳定控制流模式 (§2.3.1: 55% edit→test, 51% search→fetch) | 下一个 tool 是可预测的 | 在 SWE-bench, MetaGPT, OpenHands 上的统计 | ✓ 方案可行性前提 |
| 5 | Tool 参数可从前序输出推导 (§2.3.2: 95% URL from search results) | 投机执行不只是预测 tool 类型,参数也可以提前获取 | Producer-Consumer 模式分析 | ✓ 方案完整性前提 |
| 6 | Pattern Tuple $(C, T, f, p)$ 解耦控制流和数据流 (§4.1, Table 1) | 可以形式化、泛化、验证这些模式 | 抽象设计 + 挖掘算法 | 方案本身 |
| 7 | 风险感知调度 + promotion + preemption (§5, Algorithm 3) | 投机不影响 authoritative 执行的正确性和性能 | 调度设计 | ✓ 安全性保证 |
| 8 | PASTE 减少 E2E 延迟 48.5%, tool 吞吐 1.8×, 97% 请求正加速 (§7.2-7.3) | 方案有效且 robust | 全面实验 | 验证 |
Load-bearing steps: Steps 2, 4, 5 是核心——如果 tool 不是主要瓶颈(step 2 fail),或者 tool 调用不可预测(step 4 fail),或者参数无法推导(step 5 fail),PASTE 的整个论点就不成立。Step 7 是安全性保证——如果投机损害了 authoritative 性能,PASTE 就是 net negative。
PASTE 的核心壁垒在于 Pattern Tuple 的 control-data flow decoupling。仅预测下一个 tool 类型(control flow)是相对容易的(transition probability),但要真正提前执行 tool,必须同时解决参数推导(data flow)。PASTE 的 value mapping function $f$ 是一个符号函数(field lookup, index+fallback, string normalization),而不是一个需要 LLM 生成的自由文本——这个设计选择是整个方案 work 的根本原因。如果 $f$ 需要调用 LLM 来生成参数,那投机执行的延迟就和 LLM 推理本身差不多,没有加速空间。$f$ 的简洁性(只覆盖 3 种常见变换)使得参数推导可以在 <100ms 内完成,比 LLM token-by-token 生成快几个数量级。
生态现状校验: Agent serving 在 2025-2026 仍处于早期阶段。OpenAI Deep Research、Manus、Claude Code 等产品都面临 tool 延迟问题。PASTE 的核心假设(tool 调用有模式、参数可推导)在当前主流 agent 架构(ReAct loop)下是合理的。如果未来 agent 架构发生根本变化(如 tree search with backtracking, 或 model-internal tool execution),模式可能变得不可预测——但在当前 (2026-04) ReAct 仍是主流的 1-2 年窗口内,bet 是安全的。

解读: 按 benchmark 分解的预测质量。Top-1 准确率在 coding 任务(结构化循环)上较高,在 open-ended research 任务上较低。但 Overall Hit Rate 普遍较高(因为可以同时投机多个候选)。这验证了 PASTE 的设计哲学:不需要精确预测单个 tool,多候选投机 + 资源控制就足够。

解读: 这张图是理解 PASTE 加速机制的关键。ORION 的大量红色 Tool Stall 表明 agent 在等待 tool 完成时空转。SpecFaaS 的 Spec. Overhead 较大但 Overlap 很小,因为它基于静态 DAG 预测,无法准确预测 agent 的动态 tool 调用参数。PASTE 的 Overlap Region 大幅增加,Tool Stall 显著缩小——tool 工作被提前到 LLM 思考时段执行,总时间线从 ~150s 缩短到 ~100s。