bench/decimal 设计

设计目标

分别测量 IEEE 十进制栈每一层的开销，所用输入使所有层都必须得到相同结果，这样某一层的变化就会体现为某一个报告百分比的变化。

数学背景

对于一个数据集，令 $k_j$、$c_j$ 和 $f_j$ 分别为区块 $j$ 中 kernel、core 和 checked 路径的每次调用时间（没有 kernel 路径的情形只报告第二个量）。报告的量为

$$\text{core\_pct} = 100\,\frac{\operatorname{med}_j (c_j - k_j)}{\operatorname{med}_j k_j}, \qquad \text{full\_pct} = 100\,\frac{\operatorname{med}_j (f_j - c_j)}{\operatorname{med}_j c_j},$$

即某一层相对于其下一层的相对中位数配对开销。估计量、配对方式和 bootstrap 区间的推导见 bench 设计。

设计决策

工作负载

用例	数据集	实现	协议
decimal/add, decimal/mul, decimal/div	9、34、128、512 位数字	kernel/coefficient (BigInt), core/decimal (Decimal::add_ctx, mul_ctx, div_ctx), full/checked (DecimalChecked)	Development

输入是固定的数字模式；上下文精度为各操作数位数之和加 4，div 的被除数为两个模式的乘积，因此每个结果都是精确的整数。

正确性预言

输出与精确的 BigInt 结果核对（以 compare 进行数值比较）。与预言不符的输出计为失败，且性能测试断言不存在失败，因此比较永远不会发生在计算不同结果的路径之间。

精确输入

精确结果使各路径的算术工作完全相同：没有哪条路径能靠更早舍入而胜出，测得的差异即表示、上下文处理和检查的开销。

正确性 / 不变式

• 计划测试在普通测试运行中编译每个规格，因此基准不会在无人察觉的情况下失效。
• 性能测试断言 failed_count == 0：每个输出都与其预言一致。
• 种子是固定的（20260715），因此测量顺序和 bootstrap 重抽样都可复现。

被否决的替代方案

• 每个样本使用随机输入。 这会把输入方差混入计时方差；每个数据集使用固定模式可以隔离代码本身的开销。
• 只做端到端计时。 单个数字无法分辨回归发生在 kernel、core 还是 checked 包装层。

边界

• 仅限 native 目标；不对其他目标作任何结论。
• 没有公共 API；该包为 tools/benchmark.py 而存在。
• 测量结果是性能页面的证据，绝不是正确性的证据。