Redis事务

Redis事务

MULTI 、 EXEC 、 DISCARD 和 WATCH 是 Redis 事务相关的命令。事务可以一次执行多个命令， 并且带有以下两个重要的保证：

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

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

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

当使用 AOF 方式做持久化的时候， Redis 会使用单个 write(2) 命令将事务写入到磁盘中。

然而，如果 Redis 服务器因为某些原因被管理员杀死，或者遇上某种硬件故障，那么可能只有部分事务命令会被成功写入到磁盘中。

如果 Redis 在重新启动时发现 AOF 文件出了这样的问题，那么它会退出，并汇报一个错误。

使用redis-check-aof程序可以修复这一问题：它会移除 AOF 文件中不完整事务的信息，确保服务器可以顺利启动。

从 2.2 版本开始，Redis 还可以通过乐观锁（optimistic lock）实现 CAS （check-and-set）操作。

用法

MULTI 命令用于开启一个事务，它总是返回 OK 。 MULTI 执行之后， 客户端可以继续向服务器发送任意多条命令， 这些命令不会立即被执行， 而是被放到一个队列中， 当 EXEC命令被调用时， 所有队列中的命令才会被执行。

另一方面， 通过调用 DISCARD ， 客户端可以清空事务队列， 并放弃执行事务。

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> get key1
QUEUED
127.0.0.1:6379> exec   #执行事务
1) OK
2) (integer) 2
3) "2"

事务中的错误

使用事务时可能会遇上以下两种错误：

• 事务在执行 EXEC 之前，入队的命令可能会出错。比如说，命令可能会产生语法错误（参数数量错误，参数名错误，等等），或者其他更严重的错误，比如内存不足（如果服务器使用 maxmemory 设置了最大内存限制的话）。
• 命令可能在 EXEC 调用之后失败。举个例子，事务中的命令可能处理了错误类型的键，比如将列表命令用在了字符串键上面，诸如此类。

对于发生在 EXEC 执行之前的错误：

客户端以前的做法是检查命令入队所得的返回值：如果命令入队时返回 QUEUED ，那么入队成功；否则，就是入队失败。如果有命令在入队时失败，那么大部分客户端都会停止并取消这个事务。不过，从 Redis 2.6.5 开始，服务器会对命令入队失败的情况进行记录，并在客户端调用 EXEC 命令时，拒绝执行并自动放弃这个事务。

对于发生在 EXEC 执行之后的错误：

并没有对它们进行特别处理： 即使事务中有某个/某些命令在执行时产生了错误， 事务中的其他命令仍然会继续执行。

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set key2 djh
QUEUED
127.0.0.1:6379> get key2
QUEUED
127.0.0.1:6379> INCR key2
QUEUED
127.0.0.1:6379> get key2
QUEUED
127.0.0.1:6379> APPEND key2 123
QUEUED
127.0.0.1:6379> get key2
QUEUED
127.0.0.1:6379> exec
1) OK
2) "djh"
3) (error) ERR value is not an integer or out of range
4) "djh"
5) (integer) 6
6) "djh123"
127.0.0.1:6379> 

为什么 Redis 不支持回滚（roll back）

以下是这种做法的优点：

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

有种观点认为 Redis 处理事务的做法会产生 bug ， 然而需要注意的是， 在通常情况下， 回滚并不能解决编程错误带来的问题。 举个例子， 如果你本来想通过 INCR 命令将键的值加上 1 ， 却不小心加上了 2 ， 又或者对错误类型的键执行了 INCR ， 回滚是没有办法处理这些情况的。

放弃事务

当执行 DISCARD 命令时， 事务会被放弃， 事务队列会被清空， 并且客户端会从事务状态中退出

127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> set key3 djh
QUEUED
127.0.0.1:6379> APPEND key3 456
QUEUED
127.0.0.1:6379> DISCARD
OK
127.0.0.1:6379> get key3
(nil)

watch监视key

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

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

#开启第一个客户端，监视key4，并开启事务，但是没有执行事务
127.0.0.1:6379> set key4 hello
OK
127.0.0.1:6379> watch key4
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> append key4 123
QUEUED
127.0.0.1:6379> get key4
QUEUED
127.0.0.1:6379> 

#第二个客户端修改key4
127.0.0.1:6379> append key4 world
(integer) 10
127.0.0.1:6379> get key4
"helloworld"
127.0.0.1:6379> 

#回到第一个客户端，执行事务
127.0.0.1:6379> set key4 hello
OK
127.0.0.1:6379> watch key4
OK
127.0.0.1:6379> MULTI
OK
127.0.0.1:6379> append key4 123
QUEUED
127.0.0.1:6379> get key4
QUEUED
127.0.0.1:6379> exec
(nil)
    

用户还可以在单个 WATCH 命令中监视任意多个键

WATCH key1 key2 key3
OK