Pika项目中TTL与INCR命令的主从同步问题解析与优化方案

背景与问题现象

在分布式缓存系统Pika的实际应用中，我们发现了一个涉及TTL（生存时间）和INCR命令的主从同步异常问题。具体表现为：当主节点执行SETEX key1 10 100后立即执行INCR key1时，主节点key1值变为101并在10秒后正常过期。然而若从节点在30秒后才收到同步日志，由于过期时间戳沿用主节点的设置，会导致从节点出现数据不一致的情况。

问题本质分析

这个问题的核心在于Pika的binlog同步机制存在设计缺陷：

1. 时间戳传递问题：主节点将带有绝对时间戳的pksetat命令同步给从节点，而从节点应用时仍使用原时间戳
2. 命令语义差异：INCR等命令具有"无中生有"的特性（对不存在的key操作时会自动创建），但同步时未携带TTL信息
3. 延迟放大效应：网络延迟导致从节点收到命令时，原TTL可能已经过期

影响范围评估

经过深入分析，我们发现这个问题不仅限于INCR命令，还涉及多个数据类型的相关命令：

String类型

• SET（带NX/XX选项时）
• INCR/INCRBY
• APPEND

Hash类型

• HSET
• HINCRBY

其他类型（暂不处理）

• List类型的LPUSH/RPUSH
• Set类型的SADD/SMOVE
• ZSet类型的ZADD

解决方案设计

经过技术讨论，我们确定了以下优化方案：

1. 命令重写机制：对于INCR等会创建key的命令，在生成binlog时检查并携带TTL信息
2. 统一同步协议：将相关命令统一重写为pksetat格式的binlog，确保TTL信息正确传递
3. 分级处理策略：
   • 优先处理String和Hash类型的核心命令
   • 其他数据类型的类似问题后续分批处理

技术实现细节

对于String类型的INCR命令，具体实现方案如下：

1. 主节点执行INCR时，检查目标key是否存在TTL
2. 若存在有效TTL，则构造包含TTL信息的pksetat格式binlog
3. 从节点应用时，既能获得正确的值也能保持一致的过期时间

以SETEX key1 10 1后接INCR key1为例：

• 主节点生成包含TTL的pksetat binlog
• 从节点应用后得到值为2且10秒后过期的key1

未来优化方向

1. 支持Hash类型field级别的TTL同步
2. 完善List/Set/ZSet等数据类型的类似问题处理
3. 优化binlog压缩机制，减少同步数据量
4. 考虑引入相对时间同步方案，降低延迟影响

总结

Pika作为高性能的Redis替代方案，其主从同步机制的健壮性至关重要。通过对TTL与INCR命令问题的深入分析和解决，我们不仅修复了现有缺陷，更为后续支持更复杂的数据过期场景打下了坚实基础。这种对数据一致性的极致追求，正是Pika在分布式缓存领域保持竞争力的关键所在。