跳到正文
返回论文列表
cs.SE提交于 已译

推测性分叉:将空闲等待转化为代码仓库环境配置的并行探索

Speculative Forking: Turning Idle Wait into Parallel Exploration for Repository Environment Setup

Yuling Shi · Mingchu Zhong · Zhensu Sun · Weihan Peng · Zhi Chen · Shilin He · et al.

中文摘要

开发者使用软件项目前通常需先让其运行,这往往涉及安装语言运行时、系统包、构建工具并执行测试命令。基于 LLM 的智能体会检查仓库、编写配置脚本、执行脚本并修复错误,但仍采用串行试错流程:尝试一种方案,等待缓慢命令结束,观察失败后再决定下一步,限制了并行探索。SpecBuild 通过推测性分叉并行探索候选配置分支,保留首个提交成功的环境并丢弃其余分支。策略级分叉探索不同基础镜像和依赖策略等替代路线;命令级分叉预测命令运行失败,并在失败出现前准备修复分支。在覆盖 40 个仓库、9 种语言和 334 个任务的 Multi-Docker-Eval 上,基于三种骨干模型的 SpecBuild 相比最强基线将成功率提高 6.4 至 12.0 个百分点,平均配置时间缩短 22.4% 至 41.6%,表明并行推测性探索可同时提升速度与可靠性。

关键要点

  1. 01串行试错使智能体等待慢命令并一次只能探索一种配置路线。
  2. 02SpecBuild 并行探索候选环境配置分支,保留首个成功提交的环境。
  3. 03策略级分叉探索基础镜像和依赖策略等替代配置路线。
  4. 04命令级分叉预测运行失败,并提前准备对应的修复分支。
  5. 05在 Multi-Docker-Eval 的 334 个任务中,成功率提高 6.4–12.0 个百分点,配置时间缩短 22.4%–41.6%。

解读

尚无解读。

原始英文摘要

arXiv:2610.33129v1 Announce Type: cross Abstract: Before developers can use a software project, they must first get it to run. This often requires installing the right language runtime, system packages, build tools, and test commands. Recent LLM-based agents automate environment setup by inspecting a repository, writing setup scripts, running them, and repairing the resulting errors. However, these agents still follow a sequential trial-and-error loop: they try one setup route, wait for slow commands to finish, observe the failure, and only then decide what to try next. Because environment commands often take long to run, this sequential workflow makes setup slow and limits exploration to one route at a time. We present SpecBuild, an LLM-based environment setup system designed to be both faster and more successful through speculative forking. SpecBuild explores candidate setup branches in parallel, returns the first committed environment, and discards the rest. It applies this design at two granularities: strategy-level forking explores alternative setup routes, such as different base images and dependency policies, while command-level forking predicts failures of running commands and prepares repair branches before those failures are observed. We evaluate SpecBuild on Multi-Docker-Eval, covering 334 tasks from 40 repositories and 9 programming languages. Across three backbone models, SpecBuild improves the success rate by 6.4 to 12.0 percentage points over the strongest baseline, while reducing average setup time by 22.4% to 41.6%. These results show that LLM-based environment setup need not trade speed for reliability: parallel speculative exploration can make agents both faster and more successful.

同方向论文 · cs.SE

查看全部 →

反向发现 · 这篇论文相关的工具与提示词

去交叉发现 →

关联提示词 · 6

编程tech.qimao.com·外部收录·

按规范检查 Go 代码改动,分析问题与服务影响并生成 Code Review 报告

``` # Code Review 规范 你是 golang 编程的专家,现在对代码进行 Code Review,请按照以下步骤进行: (若遇到 git 命令分页的情况,请加上`| cat`) ## 步骤一:代码规范检查 - [ ] 是否遵循最佳实践 @.cursor/rules/rule-code-spec.mdc - [ ] 是否存在重复代码 - [ ] 是否有充分的注释和文档 - [ ] 是否易于理解和维护 ## 步骤二:功能问题分析 - [ ] 分析本次代码改动的影响…

编程zhuanlan.zhihu.com·外部收录·

用于指导 Claude Code 按阶段规划、测试驱动实现、重构并提交代码。

### 1. 规划与分阶段 将复杂的工作分解为 3-5 个阶段。在 `IMPLEMENTATION_PLAN.md` 中记录: ```text ## 阶段 N: [Name] **目标**: [具体可交付成果] **成功标准**: [可测试的结果] **测试**: [具体的测试用例] **状态**: [未开始|进行中|已完成] ``` * 随着进展更新状态 * 所有阶段完成后删除文件 ### 2. 实现流程 1. **理解** - 研究代码库中的现有模式 2. **测试**…

编程github.com/f/awesome-chatgpt-prompts·外部收录·

VLSI asic design verification engineer

This is the job of the model Create a test pinch and Raman hotel minis verification test in Raymond for SBI from the scratch along with the design as well dispatched be in the uvm environment and also it is pinch is should be expendable wh…

编程github.com/f/awesome-chatgpt-prompts·外部收录·

debug

Please debug the current codebase and implement a robust development plan to ensure the system is fully functional. Prioritize refactoring the application architecture to follow industry best practices, resolve existing build errors, and en…