本 consumer 使用 POSIX loopback socket,只支持当前实现覆盖的 POSIX 环境。
mcpp build --profile release --strict
mcpp run --profile release -- --verify-gates
mcpp run --profile release--verify-gates 独立运行判定检查,不执行文件或网络负载。它验证精确数量、漏计、重复计数、重复或越界操作 ID、错误类别、错误非零 checksum,以及错 worker、错轮次、错场景和损坏的 payload。检查失败时进程返回非零。
完整负载只在以下条件全部成立时返回 0:
| 场景 | 操作数 | 成功数 | 预期失败数 | 意外失败数 |
|---|---|---|---|---|
| compute | 50,000 | 49,000 | 1,000 | 0 |
| file_io | 1,100 | 1,000 | 100 | 0 |
| network_loopback | 20,100 | 20,000 | 100 | 0 |
每个操作 ID 只能登记一次,且其结果类别必须匹配该 ID 的合同。计算失败必须是 std::invalid_argument,文件打开失败必须是 ENOENT,连接失败必须是 connection_refused。文件和网络内容编码了 worker、轮次和场景,并校验整个 payload。
计算成功结果按 XOR 汇总,参考值为 0x5d137ab556a93652。参考值可用独立的 Python 整数运算复核:
mask = (1 << 64) - 1
checksum = 0
for index in range(50_000):
if index % 50 == 0:
continue
value = index + 1
for _ in range(128):
value ^= (value << 13) & mask
value ^= value >> 7
value ^= (value << 17) & mask
checksum ^= value
print(hex(checksum))输出耗时包含正确性校验的开销:每个操作的原子登记、共享计数和 checksum,以及 payload 生成和比较。它可用于同一环境、同一版本和同一负载下的重复测量;性能结论需要独立评估这些测量开销。PASS 不设吞吐或耗时门槛。