数据校验和的 TAP 测试暴露崩溃恢复竞态 RSS

Tomas Vondra 给刚进主干的在线切换数据校验和写了一套 TAP 测试，用大约 80 个注入点检查状态变更与 checkpointer 之间的竞态。状态分散在四处，各由不同的锁保护。测试发现崩溃恢复后的最终状态会在 on 和 off 之间摇摆，取决于启动器写 XLOG2_CHECKSUMS 记录与 checkpointer 读共享内存做 REDO 的先后。他质疑 DELAY_CHKPT_START 是否真能挡住这类竞态。

发布于 2026-09-10T10:59:39.796752Z · Tomas Vondra · pgsql-hackers 邮件列表

数据校验和 测试 竞态

Tomas Vondra 给刚进主干的在线切换数据校验和写了一套 TAP 测试，用大约 80 个注入点检查状态变更与 checkpointer 之间的竞态。状态分散在四处，各由不同的锁保护。测试发现崩溃恢复后的最终状态会在 on 和 off 之间摇摆，取决于启动器写 XLOG2_CHECKSUMS 记录与 checkpointer 读共享内存做 REDO 的先后。他质疑 DELAY_CHKPT_START 是否真能挡住这类竞态。

Tomas Vondra 给刚进主干的在线切换数据校验和写了一套 TAP 测试，用大约 80 个注入点检查状态变更与 checkpointer 之间的竞态。状态分散在四处，各由不同的锁保护。测试发现崩溃恢复后的最终状态会在 on 和 off 之间摇摆，取决于启动器写 XLOG2_CHECKSUMS 记录与 checkpointer 读共享内存做 REDO 的先后。他质疑 DELAY_CHKPT_START 是否真能挡住这类竞态。

原始来源 ↗

来源记录

• center.info_item · 2ca233fb178fad35 · 2026-10-03T04:08:35.169032Z
• pgweb.info_item · 2ca233fb178fad35 · 2026-10-03T04:08:55.967155Z