浅谈Redis事务解决并发问题

简介

---

和其他大部分的 NoSQL 不同，Redis 是存在事务的，尽管它没有数据库那么强大，但是它还是很有用的，尤其是在那些需要高并发的网站当中。

使用 Redis 读/写数据要比数据库快得多，如果使用 Redis 事务在某种场合下去替代数据库事务，则可以在保证数据一致性的同时，大幅度提高数据读/写的响应速度。

在 Redis 中，存在多个客户端同时向 Redis 系统发送命令的可能性，因此同一个数据，可能在不同的时刻被不同的线程所操纵，这样就出现了并发下的数据一致的问题。

为了保证异性数据的安全性，Redis 为提供了事务方案。

使用事务

---

在Redis中使用事务命令 multi…exec 组合来实现事务。

具体示例如下：

> MULTI
OK

> INCR foo
QUEUED

> INCR bar
QUEUED

> EXEC
1) (integer) 1
2) (integer) 1

流程分析：

• MULTI 命令用于开启一个事务，它总是返回 OK
• MULTI 执行之后，客户端可以继续向服务器发送任意多条命令，这些命令不会立即被执行，而是被放到一个队列中，当 EXEC 命令被调用时，所有队列中的命令才会被执行
• 另一方面，通过调用 DISCARD ，客户端可以清空事务队列，并放弃执行事务
• EXEC 命令的回复是一个数组，数组中的每个元素都是执行事务中的命令所产生的回复。 其中，回复元素的先后顺序和命令发送的先后顺序一致
• 当客户端处于事务状态时，所有传入的命令都会返回一个内容为 QUEUED 的状态回复（status reply），这些被入队的命令将在 EXEC 命令被调用时执行

关于事务

---

Redis 的事务是使用 MULTI-EXEC 的命令组合，使用它可以提供两个重要的保证：

• 事务是一个被隔离的操作，事务中的方法都会被 Redis 进行序列化并按顺序执行，事务在执行的过程中不会被其他客户端发生的命令所打断。
• 事务是一个原子性的操作，它要么全部执行，要么就什么都不执行。

EXEC 命令负责触发并执行事务中的所有命令：

• 如果客户端在使用 MULTI 开启了一个事务之后，却因为断线而没有成功执行 EXEC ，那么事务中的所有命令都不会被执行
• 另一方面，如果客户端成功在开启事务之后执行 EXEC ，那么事务中的所有命令都会被执行

事务中的错误：

• 事务在执行 EXEC 之前，入队的命令可能会出错
  • 如命令可能会产生语法错误（参数数量错误，参数名错误，等等），或者其他更严重的错误，比如内存不足（如果服务器使用 maxmemory 设置了最大内存限制的话）
  • 对于发生在 EXEC 执行之前的错误，客户端以前的做法是检查命令入队所得的返回值：如果命令入队时返回 QUEUED ，那么入队成功；否则，就是入队失败。
  • 如果有命令在入队时失败，那么大部分客户端都会停止并取消这个事务。
  • 从 Redis 2.6.5 开始，服务器会对命令入队失败的情况进行记录，并在客户端调用 EXEC 命令时，拒绝执行并自动放弃这个事务
• 命令可能在 EXEC 调用之后失败
  • 如事务中的命令可能处理了错误类型的键，比如将列表命令用在了字符串键上面等
  • 在 EXEC 命令执行之后所产生的错误，并没有对它们进行特别处理
  • 即使事务中有某个/某些命令在执行时产生了错误，事务中的其他命令仍然会继续执行，执行错误的命令会在返回结果中呈现
  • 至于怎样用合适的方法来表示事务中的错误，则是由客户端自己决定的

** 与关系式数据库中的事务执行失败回滚不同，最重要的是记住这样一条，即使事务中有某条/某些命令执行失败了，事务队列中的其他命令仍然会继续执行 —— Redis 不会停止执行事务中的命令 **

Redis 不支持回滚：

• Redis 命令只会因为错误的语法而失败（并且这些问题不能在入队时发现），或是命令用在了错误类型的键上面：这也就是说，从实用性的角度来说，失败的命令是由编程错误造成的，而这些错误应该在开发的过程中被发现，而不应该出现在生产环境中
• 因为不需要对回滚进行支持，所以 Redis 的内部可以保持简单且快速
• 鉴于没有任何机制能避免程序员自己造成的错误，并且这类错误通常不会在生产环境中出现，所以 Redis 选择了更简单、更快速的无回滚方式来处理事务

注意：

• 当使用 AOF 方式做持久化的时候，Redis 会使用单个 write(2) 命令将事务写入到磁盘中
• 如果 Redis 服务器因为某些原因被管理员杀死，或者遇上某种硬件故障，那么可能只有部分事务命令会被成功写入到磁盘中
• 如果 Redis 在重新启动时发现 AOF 文件出了这样的问题，那么它会退出，并汇报一个错误
  • 使用 redis-check-aof 程序可以修复这一问题：它会移除 AOF 文件中不完整事务的信息，确保服务器可以顺利启动

乐观锁与并发

---

事务保证了发送到 Redis 的指令原子执行，这在只有单个客户端连接的情况下不会有任何问题。

假设我们需要原子性地为某个值进行增 1 操作（不使用 INCR key 命令）：

val = GET mykey
val = val + 1
SET mykey $val

该实现在只有一个客户端的时候可以执行得很好。

但是，当多个客户端同时对同一个键进行这样的操作时，就会产生竞争条件。

如果客户端 A 和 B 都读取了键原来的值，比如 10 ，那么两个客户端都会将键的值设为 11 ，但正确的结果应该是 12 才对。

使用 WATCH ，可以轻松解决这个问题。

WATCH 命令可以为 Redis 事务提供 check-and-set （CAS）行为。

被 WATCH 的键会被监视，并会发觉这些键是否被改动过了。

如果有至少一个被监视的键在 EXEC 执行之前被修改了，那么整个事务都会被取消，EXEC 返回空多条批量回复（null multi-bulk reply）来表示事务已经失败。

代码修改如下：

WATCH mykey

val = GET mykey
val = val + 1

MULTI
SET mykey $val
EXEC

这样，如果在 WATCH 执行之后，EXEC 执行之前，有其他客户端修改了 mykey 的值，那么当前客户端的事务就会失败。 程序需要做的，就是不断重试这个操作，直到没有发生碰撞为止。

这种形式的锁被称作乐观锁，它是一种非常强大的锁机制。 并且因为大多数情况下，不同的客户端会访问不同的键，碰撞的情况一般都很少，所以通常并不需要进行重试。

关于WATCH

---

WATCH 使得 EXEC 命令需要有条件地执行： 事务只能在所有被监视键都没有被修改的前提下执行， 如果这个前提不能满足的话，事务就不会被执行。

使用时注意以下几点：

• 如果你使用 WATCH 监视了一个带过期时间的键， 那么即使这个键过期了， 事务仍然可以正常执行
• WATCH 命令可以被调用多次。 对键的监视从 WATCH 执行之后开始生效， 直到调用 EXEC 为止
• 可以在单个 WATCH 命令中监视任意多个键
• 当 EXEC 被调用时， 不管事务是否成功执行， 对所有键的监视都会被取消
• 当客户端断开连接时， 该客户端对键的监视也会被取消
• 使用无参数的 UNWATCH 命令可以手动取消对所有键的监视