Redis从入门到入坟系列文章（九）：事物

今天来了解下Redis的事物。事务可以一次执行多个命令， 并且带有以下几个重要的保证：

• 事务是一个单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。

• 收到 EXEC 命令后进入事务执行，事务中任意命令执行失败，其余的命令依然被执行。
• 批量操作在发送 EXEC 命令前被放入队列缓存。

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

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

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

下面通过一个简单的栗子，来看看Redis事物的用法。

使用命令MULTI开启一个事物，然后添加一个字符串类型的key1并设置值为1，然后执行INCR命令，最后通过命令EXEC命令提交事物。提交后，我查看key1的值为2。

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set key1 1
QUEUED
127.0.0.1:6379> INCR key1
QUEUED
127.0.0.1:6379> EXEC
1) OK
2) (integer) 2
127.0.0.1:6379> GET key1
"2"

接下来，说下事物常用的几个命令：

1、MULTI：标记一个事务块的开始。

执行该命令后，返回值为OK。

127.0.0.1:6379> MULTI
OK

2、WATCH key1 [key ...]：标记所有指定的key 被监视起来，在事务中有条件的执行（乐观锁）。

• 如果在事务执行之前这个(或这些) key 被其他命令所改动，那么事务将被打断。
• 当客户端断开连接时， 该客户端对键的监视会被取消。

127.0.0.1:6379> WATCH key1 key2
OK

3、EXEC：执行事务块内所有的命令。

• 先执行MULTI后，才能执行EXEC。
• 当使用WATCH 时，只有当被监视的键没有被修改，且允许检查设定机制时，EXEC会被执行。
• 当EXEC 被调用时， 不管事务是否成功执行， 对所有键的监视都会被取消。

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> incrby key1 6
QUEUED
127.0.0.1:6379> EXEC
1) (integer) 9

4、UNWATCH：取消 WATCH 命令对所有 key 的监视。

• 如果执行EXEC 或者DISCARD， 则不需要手动执行UNWATCH。

127.0.0.1:6379> UNWATCH
OK

5、DISCARD：取消事务，放弃执行事务块内的所有命令。

        key1为9，执行DISCARD后，再GET key1，key1的值没有变。

127.0.0.1:6379> GET key1
"9"
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set key1 10
QUEUED
127.0.0.1:6379> DISCARD
OK
127.0.0.1:6379> GET key1
"9"

记住一点，Redis的事物是非原子性的（当然Redis的每个命令都是原子性的）。在 EXEC 命令执行之后所产生的错误， 并没有对它们进行特别处理： 即使事务中有某个/某些命令在执行时产生了错误， 事务中的其他命令仍然会继续执行。

以下栗子， LPOP 命令的执行将出错， 尽管调用它的语法是正确的：

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> SET key1 10
QUEUED
127.0.0.1:6379> LPOP key1
QUEUED
127.0.0.1:6379> EXEC
1) OK
2) (error) WRONGTYPE Operation against a key holding the wrong kind of value

当命令在入队时产生错误， 错误会立即被返回给客户端，此时再执行EXEC命令也会报错：

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> SET key1 10
QUEUED
127.0.0.1:6379> INCR key1 key2
(error) ERR wrong number of arguments for 'incr' command
127.0.0.1:6379> EXEC
(error) EXECABORT Transaction discarded because of previous errors.

问题：为什么 Redis 不支持回滚？

我们先看下官网的这段话：

•  It's important to note that even when a command fails, all the other commands in the queue are processed – Redis will not stop the processing of commands.

有道翻译成人话就是：

• 值得注意的是，即使一个命令失败了，队列中所有其他的命令都会被处理。Redis不会停止命令的处理。

以下是这些做法的原因：

• Redis 命令只会因为错误的语法而失败（并且这些问题不能在入队时发现），或是命令用在了错误类型的键上面：这也就是说，从实用性的角度来说，失败的命令是由编程错误造成的，而这些错误应该在开发的过程中被发现，而不应该出现在生产环境中。
• 因为不需要对回滚进行支持，所以 Redis 的内部可以保持简单且快速。

使用 check-and-set 操作实现乐观锁

从 2.2 版本开始，Redis 还可以通过乐观锁（optimistic lock）实现 CAS （check-and-set）操作，WATCH 命令可以为 Redis 事务提供 check-and-set （CAS）行为。

被 WATCH的键会被监视，并会发觉这些键是否被改动过了。 如果有至少一个被监视的键在EXEC 执行之前被修改了， 那么整个事务都会被取消，EXEC 返回nil-reply来表示事务已经失败。

举个简单的例子， 假设我们需要原子性地为某个值进行增 1 操作（假设 INCR 不存在）。首先我们可能会这样做：

val = GET key1
val = val + 1
SET key1 $val

这个实现在只有一个客户端的时候可以执行得很好。 但是， 当多个客户端同时对同一个键进行这样的操作时， 就会产生竞争条件。举个例子， 如果客户端 A 和 B 都读取了键原来的值， 比如 10 ， 那么两个客户端都会将键的值设为 11 ， 但正确的结果应该是 12 才对。

有了 WATCH ， 我们就可以轻松地解决这类问题了：

首先，我们先打开一个客户端，SET key1 = 20，接着执行WATCH key1监控key1；然后，打开另外一个客户端，执行命令INCR key1；最后回到第一个客户端，开启一个事物，执行EXEC命令，发现执行失败，返回nil。

        第一个客户端：

127.0.0.1:6379> SET key1 20
OK
127.0.0.1:6379> GET key1
"20"
127.0.0.1:6379> WATCH key1
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> INCR key1
QUEUED
127.0.0.1:6379> EXEC
(nil)
127.0.0.1:6379> GET key1
"21"

        第二个客户端：

127.0.0.1:6379> GET key1
"20"
127.0.0.1:6379> INCR key1
(integer) 21

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

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

Redis的事物就讲到这里了，得赶紧下班了，被领导发现这里写博客就惨了。。。