子进程粒度的脚本推测重排（OSDI 2026）
原题：hS: Speculative Script Reordering at Subprocess Granularity
一句话总结：hS 无需command annotations，在sandbox中乱序执行shell command/pipeline并动态捕获filesystem effects；冲突时阻塞/回滚，安全时提交，real-world scripts相对Bash几何平均2.6×、最高9.3×，相对PaSh最高7×。
问题与动机
shell把任意语言binary串起来，subprocess对文件、网络和系统状态的effect通常是black box。PaSh/POSH依赖手写command annotations且保序，无法优化自编译binary、control-flow两侧或未标注domain tools。很多脚本命令实际上独立，却被;、loop和condition顺序执行。
关键观察 / 隐含假设
- shell structure自然暴露command/pipeline/synchronization region，可作为speculation unit，不必分析binary内部。
- filesystem read/write dependency可在执行时捕获；独立effect可以selective commit，冲突command重试即可保持原语义。
- network access、terminal/不可撤销effect必须阻塞或串行，不能乐观提交。
- workload需有足够coarse-grained independent commands摊销sandbox/tracing的每命令固定开销。
核心方法
orchestrator解析shell control-flow graph，在window内让未来command instances进入各自sandbox。executor通过filesystem tracing/COW layer记录read/write/create/delete和arguments，将candidate effect与按原程序顺序已commit state比对。无dependency conflict时把结果按语义顺序selectively commit；误推测则丢弃sandbox、在最新state重跑。unsafe/non-deferrable effect形成barrier。
dependency-aware speculation会利用已观察依赖改善后续iteration scheduling；pure assignment/control operations由轻量路径处理，避免每条shell语句都创建完整sandbox。
实验与结果
- benchmark含Unix tools、analytics、bioinformatics、TERA-Seq等real scripts；相对Bash几何平均2.6×，范围0.14×–9.3×（图 5）。
- 相对PaSh最高7×，且不需要split/merge或command effect annotations；TERA-Seq即使原作者已用
&/wait并行，仍几何平均1.5×、最高3.5×。 - 扩展到Python subprocess orchestration时几何平均3.26×、最高8.4×，说明抽象不限shell parser。
- 固定executor overhead平均约217 ms/command；I/O-heavy many-small-files workload可比Bash慢6.2×–7.2×，tracing overhead达310%，明确展示失效边界（§7.4）。
论断—证据表
| 论断 | 证据 | 边界 | 置信度 |
|---|---|---|---|
| 无annotation也可安全发现并行性 | benchmark correctness/effects | filesystem-centric scripts | 强 |
| real scripts显著加速 | 图 5 | 多类benchmark | 强 |
| 可超过annotation-based PaSh | §7.2 | PaSh支持的共同集合 | 强 |
| overhead对I/O-heavy可控 | §7.4 | 实际是明显负收益场景 | 弱 |
批判性分析
论证链条
hS把CPU的out-of-order/speculation思想放到coarse subprocess，动态dependency让它覆盖annotation无法预见的binary。论文诚实报告0.14×与small-file灾难，表明适用条件是任务足够长、可回滚effect占主导。
假设压力测试
外部database、socket、clock/randomness、device ioctl、distributed FS side effect难以rollback；把它们都设barrier会显著缩小真实DevOps script的窗口。non-deterministic command重跑也可能产生不同结果。sandbox commit的rename/permission/hardlink语义必须完整模拟。
实验可信度
实验覆盖主要机制与代表性负载，但平台和基线范围仍限制结论的普遍性。
系统性缺陷
平均217 ms/command使短脚本天然不适合；额外I/O与临时空间可能倍增。speculation扩大瞬时CPU/memory/I/O压力，会与脚本自身parallelism争资源；安全边界取决于effect interceptor的完备性。
局限与后续工作
- 建立effect coverage清单并对socket/DB/device interaction提供transaction plugin。
- 用cost model在短命令/I/O-heavy场景自动关闭speculation。
- fuzz POSIX filesystem edge cases、signal/job-control与nondeterminism，验证observational equivalence。