PolarDB-X 高可用存储服务: 基于 X-Paxos 一致性协议

PolarDB-X 高可用存储服务：基于 X-Paxos 一致性协议

PolarDB-X 的高可用存储服务采用了 X-Paxos 一致性协议，以确保数据的高一致性和业务的连续性。以下是对该服务的详细解析：

一、PolarDB-X 系统结构与DN高可用方案

在 PolarDB-X 的系统结构中，DN（Data Node）组件负责数据存储。每个 DN 节点都是一个 MySQL 实例，为了数据安全和业务连续，需要实现多副本和高可用。PolarDB-X 的 DN 存储集群采用了强一致方案，通过 X-Paxos 一致性协议进行数据复制。

传统的 MySQL 或其他数据库高可用方案，如一主一从、一主多从、多主复制等，都有其各自的应用场景和限制。PolarDB-X 的方案则避免了引入第三方组件带来的新问题，通过 X-Paxos 协议实现了节点间的数据强一致和隐藏复杂的节点管理逻辑。

二、X-Paxos 协议详解

X-Paxos 是 Paxos 协议的具体实现，基于多数派理论保证数据一致性。其理论基础是经典的 Paxos 论文，通过选主和日志复制两个关键算法实现数据的一致性。

• 选主：是一个共识的过程，保证集群中同时只有一个 Leader 并且 Leader 已拥有达成多数派的所有日志。
• 日志复制：业务请求从 Leader 进入，Leader 将请求转化为一条增量日志并将日志广播到所有 Follower；等多数节点确认收到日志后，Leader 将日志应用到状态机，返回业务响应。

在协议模型中，还有 learner 角色，它不参与多数派决策，只是集群数据的订阅者。X-Paxos 测试协议组件包括网络层、算法模块、服务层和日志模块，分别负责异步网络通讯、协议业务逻辑、事件调度和日志处理。

三、DN 高可用体系

PolarDB-X 的 DN 高可用体系通过引入一致性协议，在 Leader 节点上实现了 Binlog 的 Flush 和 Sync 过程中将 Binlog 内容同时广播到所有 Follower。多数派达成后，Leader 再发起最后的引擎 Commit，以保证数据的强一致。

• Leader 状态管理：Leader 任期内，所有 Follower 都不再发起选主请求，也不投票其他节点的选主请求。但任期过后，如果 Follower 发现 Leader 异常，将重新发起选主；如果 Leader 发现与多数 Follower 通信异常，将自动降级并发起选主请求。
• 选主权重：默认情况下，集群内所有节点都公平选主。但可以对某些节点赋予更高的选主权重，使其当选 Leader 的几率增大。然而，选主最基本的原则还是节点需要拥有集群中已经达成共识的所有数据。
• Leader 切换与日志同步：新主选出后，需要完成日志同步和 Binlog 应用才能对外提供读写服务。如果 Leader 发现其他 Follower 更合适，则会将 Leader 角色让出。
• 反向心跳检测：Follower 节点会定期向 Leader 发起反向心跳，用于检测 Leader 的业务服务是否正常。如果不正常，则重新选主。

四、DN 部署与优化

PolarDB-X 的 DN 部署模式灵活多样，可以根据业务需求选择不同的部署方式。

• 常用部署模式：三个节点参与集群决策，一个或多个 Learner 作为订阅者提供只读服务。Logger 角色在协议层面是 Follower，但它不回放 Binlog，仅保留 Binlog，用于整个集群数据的强一致，能够减少一份 MySQL 实例的数据空间，降低存储成本。
• 同城 3 副本部署模式：实现了三个可用区各一个节点，两个实体节点，一个 Logger 节点。相比传统的主备模式，基本不增加存储成本，但可以实现数据的强一致。
• 跨城 5 副本模式：有了更多节点后，可以实现单 Region 不可用的容灾，同时配合权重选主可以定制 Region 的切换顺序。

综上所述，PolarDB-X 的高可用存储服务通过引入 X-Paxos 一致性协议，实现了数据的高一致性和业务的连续性。其灵活的部署模式和优化的策略，使得 PolarDB-X 能够满足不同业务场景的需求，提供高效、可靠的数据存储服务。