Redis——Redis是如何保证幂等性的？

Redis 确保幂等性的方式主要包括以下几个方面：

1. 命令的幂等性

许多 Redis 命令天生就是幂等的，即多次执行这些命令会得到相同的结果。

• SET key value: 该命令将 key 的值设置为 value。无论执行多少次，key 的值总是 value。

  SET user:1000:name "John"
  

  不论执行几次，user:1000:name 的值始终是 “John”。

• DEL key: 该命令删除 key。无论 key 是否存在，执行结果都一致。

  DEL user:1000
  

  无论 user:1000 是否存在，执行后 key 都会被删除。

2. 集合操作的幂等性

• SADD key member: 向集合添加一个成员。如果成员已经存在，集合不变。

  SADD myset "element"
  

  无论 “element” 是否已经在 myset 集合中，执行后 myset 只会包含一个 “element”。

• SREM key member: 从集合中移除一个成员。如果成员不存在，集合不变。

  SREM myset "element"
  

  如果 “element” 不在 myset 中，执行后 myset 仍然保持不变。

3. 有序集合操作的幂等性

• ZADD key score member: 向有序集合添加一个成员，如果成员存在，则更新其分数。

  ZADD myzset 1 "member"
  

  无论 “member” 是否已经在 myzset 中，执行后 “member” 的分数总是 1。

• ZREM key member: 从有序集合中移除一个成员。如果成员不存在，有序集合不变。

  ZREM myzset "member"
  

  如果 “member” 不在 myzset 中，执行后 myzset 仍然保持不变。

4. 原子操作

Redis 提供许多原子操作，确保在并发场景下操作的一致性和幂等性。

• INCR key: 递增 key 的值。

  INCR counter
  

  无论多少个客户端同时执行 INCR counter 命令，最终结果都是所有执行的次数之和。

• DECR key: 递减 key 的值。

  DECR counter
  

  无论多少个客户端同时执行 DECR counter 命令，最终结果都是所有执行的次数之和。

5. 乐观锁机制

Redis 提供 WATCH 命令来监视一个或多个 key，当这些 key 发生变化时，事务会被取消。

WATCH mykey
MULTI
SET mykey "newvalue"
EXEC

如果在 WATCH 和 EXEC 之间 mykey 被其他客户端修改，事务将失败并返回 nil，从而避免数据不一致。

6. 检查并设置

通过 GET 和 SET 命令实现检查并设置。

if redis.call('GET', key) == value then
    redis.call('SET', key, new_value)
end

这种方式可以确保只有在满足特定条件时才执行修改，从而实现幂等性。

实践中的幂等性策略

在实际开发中，幂等性可以通过以下策略实现：

1. 防重 Token：

   • 每次请求带上一个唯一的 Token，服务器端记录 Token，当检测到重复的 Token 时直接返回上一次的结果，从而避免重复执行。

2. 业务逻辑层面处理：

   • 在业务逻辑层面实现幂等性，比如处理重复支付、重复订单等场景。可以通过唯一索引、幂等表等方式确保操作的唯一性和幂等性。

总结

Redis 通过命令的天然幂等性、原子操作、乐观锁机制以及检查并设置策略，确保了在并发环境下的操作一致性和幂等性。通过理解和应用这些机制，可以设计出更加健壮和可靠的系统，避免因重复请求带来的潜在问题。