Redis 缓存和数据库双写不一致怎么办？

Question

仓乃文 · Accepted Answer

缓存和数据库双写时，由于两个操作不是原子的，中间可能被其他请求插入，导致缓存和数据库数据不一致。这是缓存使用中最经典也最头疼的问题，没有完美方案，只有适合业务场景的取舍。

不一致场景：
```bash
# 场景 1：先更新数据库，再更新缓存
# 线程 A 更新 DB 为 100
# 线程 B 更新 DB 为 200
# 线程 B 更新缓存为 200
# 线程 A 更新缓存为 100
# 结果：DB=200，缓存=100，不一致！

# 场景 2：先更新缓存，再更新数据库
# 线程 A 更新缓存为 100
# 线程 B 更新缓存为 200
# 线程 B 更新 DB 为 200
# 线程 A 更新 DB 为 100
# 结果：DB=100，缓存=200，不一致！
```

推荐方案——Cache Aside Pattern（旁路缓存）：
```bash
# 读操作：先读缓存，未命中读数据库，回写缓存
# 写操作：先更新数据库，再删除缓存

# 为什么是删除缓存而不是更新缓存？
# 1. 删除是幂等操作，重复执行无副作用
# 2. 更新缓存在并发下容易出问题（场景 1）
# 3. 如果缓存是复杂计算结果，更新代价可能很大

# 写操作伪代码：
function updateData(id, data):
    db.update(id, data)     # 先更新数据库
    cache.delete(id)         # 再删除缓存
```

极端情况的处理：
```bash
# 即使先更新 DB 再删缓存，仍有极小概率不一致：
# 线程 A 读缓存 miss → 读 DB（旧值 100）
# 线程 B 更新 DB 为 200 → 删除缓存
# 线程 A 写缓存为 100（旧值）
# 结果：DB=200，缓存=100

# 解决：延迟双删
function updateData(id, data):
    cache.delete(id)         # 第一次删除
    db.update(id, data)      # 更新数据库
    sleep(500ms)             # 等待读操作完成
    cache.delete(id)         # 第二次删除

# 更可靠的方案：基于 binlog 异步删除
# 数据库变更 → binlog → Canal/Debezium → 删除缓存
# 保证最终一致性，延迟通常在毫秒级
```

补充说明：
- Cache Aside 是业界最常用的模式，适合读多写少场景
- 延迟双删的 sleep 时间需大于一次读请求的耗时
- 基于 binlog 的方案是最终一致性，不是强一致性
- 规则：写操作更新数据库后删除缓存，不要更新缓存
- 对一致性要求极高的数据（如余额），不要用缓存，直接查数据库