基于Patroni的PostgreSQL高可用集群一致性及隔离级别技术问询

咱们一步步拆解你的问题，先从Patroni集群的核心保障说起，再深入到事务层面的一致性模型。

一、集群拓扑层面的一致性：靠Consensus组件实现CP #

Patroni依赖etcd、Zookeeper这类共识组件（分别基于Raft、ZAB协议），这决定了集群在网络分区场景下会优先保证一致性（Consistency），牺牲部分可用性（Availability）——简单说就是不会出现脑裂，同一时间只有一个节点能获得quorum（多数派认可）成为主节点，对外提供写服务。

这个层面的一致性是集群状态的一致性：确保所有节点对“谁是主节点”这个结论达成共识，避免多个主节点同时写导致的数据分叉。但这只是集群拓扑的保障，和事务层面的一致性模型不是一回事。

二、先分清两个容易混淆的概念：事务隔离级 vs 分布式一致性模型 #

你提到的serializable是PostgreSQL的事务隔离级别，它是单节点内的保障：保证多个事务执行起来的效果，和它们按某种顺序串行执行的效果完全一致，不会出现脏读、不可重复读、幻读这类问题。

而linearizability、sequential consistency这些是分布式系统的一致性模型，关注的是多个客户端对不同节点的操作，在全局视角下的顺序和可见性规则——这是跨节点的全局保障，和单节点的事务隔离级不是一个维度的东西。

三、Serializable隔离级的事务能提供Linearizability吗？ #

答案是不能，原因有两个核心点：

1. Serializable是单节点内的保障：它只保证主节点上的事务串行化执行，但linearizability要求的是全局即时一致性——比如事务A提交后，任何客户端（不管连主节点还是备节点）的后续操作都必须能看到A的结果。但PostgreSQL的Serializable是基于快照的（新版本是Serializable Snapshot Isolation），即使在单节点，事务如果用快照读（默认的读方式），也可能看不到刚提交的事务结果（比如事务B在A提交后启动，但用的是A提交前的快照），这就不符合linearizability的要求。
2. 备节点复制的延迟/异步性：即使你用了同步复制，事务提交后只是保证至少一个备节点持久化了WAL，但备节点的查询可能还是基于旧的快照（因为备节点的回放是异步的，或者说事务的可见性规则在备节点也是基于快照）。不同客户端连接不同节点时，可能看到不同的数据状态，无法满足linearizability的全局统一可见性要求。

四、实际能获得的一致性模型？ #

这取决于你的读写策略和复制配置：

• 所有读写都只连主节点：此时你能获得PostgreSQL本身的serializable隔离级保障，但这只是单节点的串行一致性，不属于分布式一致性模型范畴——因为所有操作都集中在一个节点上，不存在跨节点的全局顺序问题。
• 使用备节点读（异步复制）：只能保证最终一致性——备节点的数据最终会和主节点同步，但在同步完成前，客户端读备节点可能看到旧数据。
• 使用备节点读（同步复制）：能获得因果一致性——如果事务A和事务B存在因果关系（比如B依赖A的结果），那么所有客户端都会看到A先于B执行的结果；同时同一客户端的操作顺序会被保留。但达不到sequential consistency（顺序一致性），因为对于没有因果关系的两个事务，不同客户端可能看到不同的执行顺序。

另外补充一点：Patroni的故障切换过程中，共识组件会确保只有拥有最新WAL的节点才能成为新主节点，所以切换后不会出现数据丢失（前提是配置了同步/半同步复制），切换后的集群状态依然是一致的，只是切换期间客户端的请求可能会失败，需要重试。

内容的提问来源于stack exchange，提问作者skyde