MGR 参数-group_replication_consistency

原文链接：https://blog.csdn.net/weixin_36187176/article/details/113338625

参数group_replication_consistency共 5 个值可选：

1. EVENTUAL：确保最终一致性，并不能保证数据实时同步。(MySQL 8.0.14 之前只有这一个选项)

2. BEFORE：确保本地强一致性，并不保证其他节点数据实时同步。

3. AFTER：确保全局强一致性，可以保证所有节点数据实时同步。

4. BEFORE_AND_AFTER：最高级别，确保本地强一致性，全局强一致性。结合 BEOFRE 和 AFTER 的特性。

5. BEFORE_ON_PRIMARY_FAILOVER：确保从节点晋升为主节点后的本地一致性。

EVENTUAL

这类选项代表最终一致性，组复制默认值。意思是说，设置了 EVENTUAL 的节点，其读或者写请求可以立即返回结果，不用等到新请求之前的中继日志处理完。

最终一致性模式优缺点。

优点：可以快速返回本节点已经成功应用的数据，不用等待所有的数据应用完成。

缺点：可能返回的数据比较旧。

BEFORE

这类选项代表保证本地节点强一致性。也就是说设置为此选项的本地节点必须要等待中继日志数据全部应用完成后，才会执行新的请求，否则会一直等待。等待的时间和中继日志里未应用的事务量成一定比率。

BEFORE 模式优先保证了本地节点永远读取到最新的数据。最大的缺点是必须煎熬等待本地节点中继日志里未应用的数据正常应用。如果日志里有很多写的不好的事务块或者大事务，则会造成本节点很大的延迟。

AFTER

这类选项代表全局强一致性。设置为此模式的节点，必须等待集群内其他所有其他节点应用完自己中继日志里的事务，才能返回结果。

AFTER 是一个强同步的选项。优先保证了集群内所有节点的数据一致性，但是也带来一个很大的性能问题：集群对外总的事务提交时间依赖于组内最慢的那个节点。如果最慢的节点遇到故障，那其他节点就必须等待超时回滚了。

AFTER 执行流程
首先，在事务执行节点上的流程如下：

1.首先，事务进入提交阶段后，会执行一个before_commit的HOOK，在 mgr 中，对应的实现是 group_replication_trans_before_commit。AFTER 的一致性保证通过该接口实现。 2.假设事务 T1 在节点 M1 上执行，如果是 AFTER 级别，会通过 paxos 发送一个携带事务全部数据的Transaction_with_guarantee_message消息，消息类型为 CT_TRANSACTION_WITH_GUARANTEE_MESSAGE。 3.节点接收到该消息并处理时，首先会获取当前集群中的 online_members。这里需要注意的是，即使节点状态变为 UNREACHABLE，只要没有踢出集群，也会认为是 online_members。 4.节点 M1 需要等待其它节点的消息反馈 5.节点M1只有收到上述 online_members 中所有节点的 prepared 消息时，才能继续完成提交

接下来，看一下其它节点（以M2节点为例）处理 AFTER 事务的流程：

1.首先，paxos 接收到事务，并进入事务执行阶段 2.事务T1在M2进入提交阶段时，调用 before_hook进行处理，不同于 M1的用户线程，M2上的复制线程是在 GR_APPLIER_CHANNEL 上执行 3.将事务加入到 prepared 事务列表 4.发送 transaction_prepared 消息给所有的节点，并等待处理 5.接收到其它节点对 transaction_prepared 消息确认后，从 prepared 事务列表中移除该事务，并继续提交

对于 AFTER 模式，所有的节点在处理事务时，均需要发送一个 transaction_prepared 消息并等待所有节点的确认，之后，用户线程执行的事务才能成功提交。排除用户线程等待所有节点事务提交的时间开销，这些消息处理的网络开销也会对性能造成一定的影响。

BEFORE 执行流程
与 AFTER 相对应的是 BEFORE，如果一个 session 开启了 BEFORE 级别，则在事务开启时，需要等待所有已经提交的事务已经在本地完成提交，这是通过 WAIT_FOR_GTID_SET 实现。在事务的开启时刻，获取到节点已经同步接收到的所有的事务 gtid 集合，并等待集合内所有的 gtid 完成提交，即可保证事务执行时，读取到最新的数据。

但是在获取 gtid 集合之前，节点需要通过 paxos 发送一个 SYNC_BEFORE_EXECUTION 类型的消息。由于 paxos 会对消息进行排队，因此，当 SYNC_BEFORE_EXECUTION 处理完成时，可以保证该消息发送之前的所有的事务消息均完成在 paxos 中的处理。由于该消息是本次事务开启时产生的，因而此时节点收到的 gtid 集合符合 BEFORE 级别。

如果节点不发送 SYNC_BEFORE_EXECUTION 消息，则 BEFORE 级别未必能够读取到最新数据。假设当前存在网络分区，总共三个节点A，B，C，网络分区后，A，B节点组成多数派，C节点为少数派，此时，A，B节点上新的写入事务将不会继续同步到C节点。在 C 节点被踢出集群之前，如果 C 开启了 BEFORE 级别，却未发送 SYNC_BEFORE_EXECUTION 消息，那么 C 中不能读取到新的数据，违背了 BEFORE 的设计宗旨。但是发送该消息后，由于无法达成消息一致性，那么新的事务将失败、或者一直等待消息返回，而不会返回用户过时的数据

原文链接：https://blog.csdn.net/weixin_36187176/article/details/113338625