阿姆斯特丹的咖啡馆：当现有方案成为评判标准时
The Café in Amsterdam: When the Incumbent Becomes the Oracle
浏览论文内容
中文总结 AI 辅助
探讨现代加速器计算重新制定问题，基于相关理论提出“基线捕获”，区分重新制定可评判及发现能否自动化的问题，通过案例说明并提出“购买验证器”做法，让需求独立于现有方案。
中文摘要 AI 辅助
一个领域可以在需求明确的地方自由重新制定其计算方式，而不受任何现有实现方式的影响。但当现有方案的输出悄然成为规范时，就无法做到这一点。本文以这一观察为视角，探讨现代加速器的计算重新制定问题。以测试预言机问题、需求工程中的实现偏差概念以及屋顶线性能模型为基础，提出了“基线捕获”这一病理现象。区分了两个容易混淆的问题：重新制定是否可评判（取决于是否存在独立于现有方案的需求）以及其发现能否自动化（还取决于评估该需求的成本）。通过一些简短案例进行了说明，并提出了“购买验证器”的做法，即让需求明确、可操作且独立于现有方案。
英文摘要
A field can reformulate its computations freely exactly where its demand is stated independently of any incumbent implementation, and finds itself unable to when the incumbent's own output has quietly become the specification. This note offers that observation as a lens on computational reformulation for modern accelerators, where posing a problem in a hardware-friendly form can yield large speed and energy gains, but only if a replacement can be judged at all. Building on the test-oracle problem (Weyuker; Barr et al.), on requirements engineering's notion of implementation bias (Zave and Jackson), and on the case for judging approximate designs by acceptability rather than numerical proximity (Felzmann et al.), it names the pathology "baseline capture": the moment an incumbent stops being evidence that a demand can be met and becomes the definition of meeting it. It then separates two questions that are easily confused: whether a reformulation can be judged at all, which turns on the existence of an incumbent-independent demand, and whether its discovery can be automated, which turns additionally on the cost of evaluating that demand. Short cases -- shortest-path routing, learnable audio frontends, ZIP-215 for Ed25519 signature validation, CESM-ECT for climate models, and a single-GEMM audio frontend measured at 1.64x-3.29x speedup and up to 3.03x less energy -- illustrate the pattern and the move of "buying a verifier": making a demand explicit, operational, and independent of the incumbent. No component is claimed novel in isolation; the contribution is the synthesis and the single question it makes easy to ask of any reformulation result -- does its acceptance test mention the incumbent's output?
发表机构
- IME, University of São Paulo（圣保罗大学工业工程系）
机构由 AI 辅助整理，请以论文原文为准。
