随着云原生时代的到来，主主同步已从简单的拉取复制（Pull）演进为基于分布式事务协议（如 Paxos、Raft 及其变体）的高效协同体系，其核心逻辑在于解决“两个主在哪里”以及“修改同一数据谁先写”的难题。在极创号深耕十余年的实践中，我们深刻体会到，主主同步不仅是数据库层面的技术实现，更是系统架构设计的基石，它需要在高可用性（HA）与最终一致性之间找到最佳平衡点，确保业务场景在极端异常下依然能稳定运行。
起源与演进：双主架构的诞生背景
mysql 主主同步原理的演进，源于早期单主架构在负载激增或故障频发时的局限性。在传统的单主模式下，若主库宕机，整个服务不可用；若在负载高峰期，单台服务器难以承载。为了应对这些挑战，业界引入了主主同步方案，即创建多个主库，它们共同维护同一份数据，通过协调机制实现数据的一致性。
历史经验表明，早期的主主方案往往依赖网络层面的轮询或简单的超时重试，这在分布式环境下面临诸多挑战。
随着对最终一致性要求的提升，基于 Paxos 等协议的主主同步成为了主流方向。在这种架构下，多个主节点通过握手建立连接，协商取模（modulo）来决定数据更新的归属，从而避免重复写入和顺序冲突。
极创号团队在十余年的技术实践中，见证了主主同步从“复制”到“协调”的跨越。早期方案多侧重于数据副本的生成，而现代方案则更侧重于事务级别的原子性保证。通过引入分布式锁、乐观锁机制以及专门的冲突解决工具，主主架构能够高效地处理并发场景。
核心机制：冲突检测与顺序协调
核心争议在于多主节点在修改相同数据时的冲突处理。在极创号的技术栈中，我们采用了一种基于取模（modulo）的协调机制，该机制保证了数据的有序性与唯一性。
当多个主库同时尝试更新同一行数据时，系统需识别冲突。冲突通常发生在双方都认为自己是当前主库，且数据发生变化时。
- 取模逻辑：系统利用取模运算（Modulo）来确定更新路径。
例如，主库 ID 为 1 和 2，数据操作序号为 5，则 (5 % 2) = 1，操作由主库 1 执行；若操作序号为 6，则 6 % 2 = 0，主库 2 执行。 - 顺序性保证：在取模逻辑中，若结果相同，则优先执行较小的主库 ID 操作。这确保了数据的更新顺序具有可预测性，避免了数据乱序带来的不可控问题。
- 冲突解决升级：在极创号推荐的技术场景中，当取模逻辑无法满足最终一致性要求时，系统会自动降级为分布式两步握手或基于 Paxos 协议的冲突解决流程。在此模式下，主节点之间会进行严格的协商，确保在数据提交前，所有节点达成一致。