2. Redis核心数据结构回顾：String、List、Hash、Set、Sorted Set在回放场景下的状态特征

在集成环境回放（Replay）场景中，Redis 作为状态缓存层，其数据结构的底层编码与操作语义直接影响回放结果的正确性。不同数据结构在序列化、并发写入、过期与快照恢复时的行为差异，是故障排查的核心切入点。本节从回放视角重新审视五种常用数据结构的“状态特征”，重点分析它们在回放过程中容易引发数据不一致的关键点。

2.1 数据结构概览与回放关注点

下表总结了五种数据结构在回放场景下的核心关注维度：

2.2 String：最基础也最容易出问题的状态单元

String 在回放中承担 Session、Token、计数器等关键状态。其状态特征集中在三个维度：

• 原子性与CAS：SETNX / SET ... NX 在回放中可能因 Key 已存在而失败，导致回放流程中断。
• TTL 残留：回放写入时若未显式设置 EX / PX，可能继承线上残留的过期时间，造成回放未结束 Key 已过期。
• 值类型转换：整数型 String 在回放中若写入非数字字符串，底层编码从 int 转为 raw，影响后续 INCR / DECR 操作。

# 回放中常见的 String 状态残留问题示例
# 线上 Key 带有 TTL
SET session:abc "token_123" EX 3600

# 回放时未清理，直接覆盖
SET session:abc "replay_token_456"
# 此时 TTL 仍为 3600 秒（如果未显式取消），回放结束后 Key 提前过期

2.3 List：顺序敏感型状态的回放陷阱

List 在消息队列、操作日志回放中广泛使用。其状态特征包括：

• 顺序保证：LPUSH / RPUSH 在回放中若并发执行，可能打乱原始操作顺序。
• 截断边界：LTRIM 在回放中若参数错误，可能误删有效数据。
• 阻塞操作：BLPOP / BRPOP 在回放环境中若无生产者写入，会导致回放线程永久阻塞。

# 回放中 List 截断边界错误示例
# 原始线上操作：保留最新 100 条日志
LTRIM log_queue 0 99

# 回放时误写为
LTRIM log_queue 0 9
# 导致 90 条有效日志被删除，回放状态不完整

2.4 Hash：字段级状态还原的精度要求

Hash 适合存储对象型状态（如用户信息、配置项）。回放中的关键特征：

• 字段级覆盖：HSET 只覆盖指定字段，其他字段保留线上值，造成“新旧混合”状态。
• 大 Key 拆分：Hash 超过 hash-max-ziplist-entries（默认 512）时编码转为 hashtable，回放大量写入可能触发编码转换，引发内存抖动。
• 删除粒度：HDEL 只删除指定字段，回放前需用 DEL 整体删除 Key 再重建，否则残留字段污染回放结果。

2.5 Set：去重语义与游标遍历的边界

Set 在标签系统、去重集合中常见。回放状态特征：

• 去重语义：SADD 重复添加相同元素不会报错，但回放中若未清空集合，会导致线上元素残留。
• 集合运算：SUNION / SINTER 在回放中若源 Key 未完全还原，结果集会缺失。
• SSCAN 游标：回放中遍历大 Set 时，SSCAN 可能因集合在遍历期间被修改而返回不完整或重复数据。

# SSCAN 在回放中的游标状态问题
# 回放脚本遍历 Set
SSCAN user_tags 0 MATCH * COUNT 100
# 返回游标 42 和部分元素

# 此时另一个回放线程删除了集合中的元素
SREM user_tags "tag_abc"

# 继续遍历时，游标 42 可能跳过已删除元素，导致回放数据不一致

2.6 Sorted Set：Score精度与排名偏移的根源

Sorted Set 在排行榜、延迟队列中扮演核心角色。回放状态特征最为敏感：

• Score 精度：Redis 的 Score 使用双精度浮点数，回放中若原始 Score 为字符串形式（如 "3.141592653589793"），写入时可能发生精度截断。
• 排名偏移：ZRANK / ZREVRANK 基于 Score 排序，回放中若 Score 相同，Redis 按字典序排列，与线上顺序可能不一致。
• ZREMRANGE 边界：ZREMRANGEBYSCORE 的闭区间特性，回放中若边界值计算错误，可能多删或少删元素。

# Score 精度截断示例
# 线上 Score 为高精度值
ZADD leaderboard 3.141592653589793 "player_abc"

# 回放时通过 JSON 反序列化可能丢失精度
ZADD leaderboard 3.14159265358979 "player_abc"
# 导致排名偏移，回放结果与线上不一致

2.7 回放场景下的数据结构状态特征对比

下图从“状态还原难度”和“故障影响面”两个维度，对五种数据结构进行定性对比：

2.8 回放状态校验清单

基于上述特征分析，在回放前后应执行以下状态校验：

1. 编码一致性校验：使用 OBJECT ENCODING key 对比回放前后数据结构底层编码是否一致。
2. TTL 残留校验：回放后对 String 类型执行 TTL key，确认无意外过期时间残留。
3. 元素数量校验：对 List / Set / Sorted Set 使用 LLEN / SCARD / ZCARD 确认元素数量与预期一致。
4. Score 精度校验：对 Sorted Set 抽样 ZSCORE，对比原始 Score 与回放后 Score 的浮点精度。
5. Hash 字段完整性校验：使用 HGETALL 对比回放前后字段集合，确认无残留或缺失字段。