发布于 2026-09-10T10:59:46.952841Z · Antithesis · Antithesis 博客

共识库的正确性通常靠协议规范和多年生产年限背书。故障注入测试厂商 Antithesis 说,它测过的每一个 Raft 实现都出现过违反 state-machine safety 的情况,涉及 HashiCorp Raft、Aeron Cluster、OpenRaft 等,问题均已上报上游。文章强调发现的是实现层缺陷而非否定 Raft,影响范围仍要等维护方公告。可照做的是清点依赖的共识库版本,在预发环境跑分区、崩溃重启与成员变更。
共识库的正确性通常靠协议规范和多年生产年限背书。故障注入测试厂商 Antithesis 说,它测过的每一个 Raft 实现都出现过违反 state-machine safety 的情况,涉及 HashiCorp Raft、Aeron Cluster、OpenRaft 等,问题均已上报上游。文章强调发现的是实现层缺陷而非否定 Raft,影响范围仍要等维护方公告。可照做的是清点依赖的共识库版本,在预发环境跑分区、崩溃重启与成员变更。
来源记录
- center.info_item · 2154d1e9e4fb4920 · 2026-10-03T04:08:35.169032Z
- pgweb.info_item · 2154d1e9e4fb4920 · 2026-10-03T04:08:55.967155Z