Redis - 事务操作

Redis的事务基于四个命令：

• MULTI
• EXEC
• DISCARD
• WATCH

创建事务

Redis的事务从一个MULTI命令开始，MULTI总会命令返回"ok"。
接着就可以开始输入操作数据，每一条操作命令都会进入队列。
最后执行EXEC，在队列中的命令得到执行。

比如这样：

> MULTI
OK
> INCR foo
QUEUED
> INCR bar
QUEUED
> EXEC
1) (integer) 1
2) (integer) 1

如果事务中出现错误怎么办?
首先我们将事务中的错误分为两类：

• 进入队列前发现错误，比如命令的语法错误。
• EXEC执行后发现错误，比如对同一个key执行的两次不同数据类型的操作。

第一种很好理解，就像上面给出的例子中，成功进入队列后会立马返回"QUEUED"。
如果没能进入队列，则整个事务都会失效，提示"Transaction discarded because of previous errors."

关于EXEC执行后出现的错误，凡是成功进入队列的都会被执行，即便同一事物中有执行失败的命令，其余的命令都会得到执行。

这让那些用过关系型数据库的人们感到诧异， 为什么Redis不支持roll back?
对此官网的两点说法：

• Redis commands can fail only if called with a wrong syntax (and the problem is not detectable during the command queueing), or against keys holding the wrong data type: this means that in practical terms a failing command is the result of a programming errors, and a kind of error that is very likely to be detected during development, and not in production.

• Redis is internally simplified and faster because it does not need the ability to roll back.

有人说不支持roll back会引发各种bug。但需要明白的是，roll back不是用来解决编程层面上的错误的。
而且，导致命令失败只有两种可能：

• 语法错误
• 执行了与key的数据类型不匹配的操作

鉴于此，roll back几乎没有任何意义，Redis更倾向于不支持roll back而是保持简洁和高效。

丢弃事务

DISCARD可以用作丢弃当前事务，并将连接状态恢复为正常状态。
使用方法如下：

> SET foo 1
OK
> MULTI
OK
> INCR foo
QUEUED
> DISCARD
OK
> GET foo
"1"

原子性

check-and-set(CAS)之类的操作往往会出现竟态条件。
Redis提供了WATCH用于观察key的变化。
当一个被观察的key在EXEC执行前变化时，整个事务会终止并返回Nil，对该key的观察也会结束。
刚接触WATCH的时候，感觉这种处理方式很晦涩。不能加个显示锁什么的吗？
好在官网给出了充分的说明，先假设Redis没有提供INCR，我们现在要模拟一个递增操作：

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

一个client进行该操作时是没有问题，但多个client一起进行该操作时会出现竟态条件。
比如A和B两个client同时进行了GET mykey，得到的都是10，因此两次执行的结果是11而不是12。
而加入WATCH后：

WATCH mykey
val = GET mykey
val = val + 1
MULTI
SET mykey $val
EXEC

如果WATCH和EXEC之间有其他的什么东东改变了被观察的key，该事务则会失败。
如果希望本次事务执行成功则需要在循环中执行，当然，这也是一种locking方式。
事实上，多个client访问同一key的冲突并不常见，看具体情况进行操作吧。

相应地，也有UNWATCH可以用于释放所有被观察的key。

比如下面的例子中，事务内的INCR会成功执行：

WATCH key
UNWATCH key
MULTI
INCR key
EXEC

关于WATCH，需要注意的一点是：设置了生存时间(EXPIRE)的key不会因为到期而被WATCH当作以改变。