亚马逊RDS for PostgreSQL多AZ集群的快照隔离性问题

Jepsen团队对亚马逊RDS for PostgreSQL多可用区集群进行了测试，发现其并未完全保证快照隔离性，存在G-非相邻循环等异常现象，违反了快照隔离的规则。这些异常现象包括长分支（Long Fork），表明RDS for PostgreSQL可能提供了稍弱的并行快照隔离。这意味着在高并发场景下，读事务可能会对事务执行顺序产生不一致的观测结果。用户应注意事务结构，避免长分支，或仅使用写入端点以恢复快照隔离。