spock：多主复制与冲突解决

项目介绍

spock 是一个为 PostgreSQL 14+ 提供多主复制及冲突解决功能的扩展。它基于 pgLogical 和 BDR2 项目构建，旨在为用户提供一个企业级的解决方案。spock 的核心功能是支持多主复制，并能够在不同节点间自动解决数据冲突，保证数据一致性。

项目技术分析

spock 扩展在 PostgreSQL 的基础上，增加了多主复制和冲突解决的关键能力。通过并行槽的实现，它能够支持混合的在线事务处理（OLTP）工作负载。此外，它还支持多种数据类型的 delta_apply 列，以实现冲突避免。

当前版本 4.0 的主要技术改进包括：

• 对并行槽的实现进行了全面重构，以支持混合的 OLTP 工作负载。
• 改进了 delta_apply 列的支持，以兼容更多数据类型。
• 增加了大量的回归测试覆盖。
• 支持 PostgreSQL 17beta 的逻辑复制。
• 支持自动复制 DDL 语句。

项目技术应用场景

spock 的技术应用场景广泛，包括但不限于以下几种情况：

• 异步多活动复制，支持冲突解决。
• 在主要版本之间进行升级。
• 完整的数据库复制。
• 使用复制集选择性地复制一组表。
• 选择性地在发布端或订阅端复制表行（row_filter）。
• 选择性地复制分区表。
• 在发布端选择性地复制表列。
• 从多个上游服务器收集/合并数据。

spock 的架构特点如下：

• 在数据库级别而非服务器级别上工作，与物理流复制不同。
• 一个提供者可以向多个订阅者发送数据，而不增加额外的磁盘写入开销。
• 一个订阅者能够合并来自多个源的变化，并能自动检测和配置冲突解决。

项目特点

spock 项目的特点可以概括为以下几点：

高度灵活的冲突解决

spock 通过 delta_apply 列支持冲突避免，它不依赖于特定的数据类型，适用于任何数值数据类型。这使得 spock 能够解决像银行账户余额这样的运行总和问题，即使两个节点上的事务发生冲突，也能够自动调整数据，以保持一致性。

支持分区表的复制

spock 支持分区表的复制，这为地理分片提供了便利。在复制分区表时，spock 可以同步现有分区，并在需要时添加新分区。此外，分区表还支持 row_filter，使得复制更加灵活。

自动复制 DDL 语句

spock 提供了自动复制 DDL 语句的功能，这意味着在配置正确的情况下，数据库模式的更改可以自动同步到所有节点。这大大简化了多节点数据库环境的维护工作。

Snowflake 序列支持

spock 支持 Snowflake 序列，这是一种在分布式集群中生成全局唯一 ID 的解决方案。它允许在多个 PostgreSQL 实例中共享同一个序列，确保生成的 ID 是唯一的。

强大的监控和管理

spock 提供了丰富的监控和管理统计信息，使得数据库管理员能够更好地监控复制状态和性能，及时处理可能出现的问题。

改进的故障转移支持

spock 通过集成 pg_failover_slots 扩展，提供了原生的故障转移槽支持，使得系统在故障发生时能够更快地恢复。

spock 的这些特点使其成为处理复杂多主复制场景的理想选择，为 PostgreSQL 用户提供了强大的数据一致性和高可用性保障。无论是地理分布式的应用，还是需要高可用性的企业级应用，spock 都能够提供可靠的支持。随着其功能的不断完善，spock 无疑会成为 PostgreSQL 社区中备受瞩目的项目之一。