Patroni的Jepsen测试：PostgreSQL高可用性解决方案

本文作者对PostgreSQL高可用性解决方案Patroni进行了Jepsen测试。测试环境搭建在Kubernetes集群中，并模拟了节点崩溃和网络延迟等故障。测试结果复现了PostgreSQL复制机制中的一个已知问题，即在同步复制模式下，即使客户端取消了查询，主节点仍可能将事务视为已提交，导致在故障转移时发生数据丢失，违反了读取已提交隔离级别。此外，测试还发现当三个节点的集群丢失一个节点时，Patroni无法自动恢复。作者分析了这些问题的原因，并提出了一些改进建议，例如强制执行最小同步复制计数和基于LSN的自动故障转移。最后，作者还提到了Patroni Kubernetes Pod的角色标签不准确的小问题，并计划下一步测试使用DRBD进行复制的方案。