如下是一个事务例子, 它原子地增长了 foo 和 bar 两个键的值: html
> MULTI OK > INCR foo QUEUED > INCR bar QUEUED > EXEC 1) (integer) 1 2) (integer) 1
MULTI 命令用于开启一个事务,它老是返回 OK 。程序员
MULTI 执行以后, 客户端能够继续向服务器发送任意多条命令, 这些命令不会当即被执行, 而是被放到一个队列中, 当 EXEC 命令被调用时, 全部队列中的命令才会被执行。redis
当客户端处于事务状态时, 全部传入的命令都会返回一个内容为 QUEUED 的状态回复(status reply), 这些被入队的命令将在 EXEC 命令被调用时执行。编程
EXEC 命令的回复是一个数组, 数组中的每一个元素都是执行事务中的命令所产生的回复。 其中, 回复元素的前后顺序和命令发送的前后顺序一致。数组
MULTI +OK SET a 3 abc +QUEUED LPOP a +QUEUED EXEC *2 +OK -ERR Operation against a key holding the wrong kind of val
EXEC 返回两条批量回复(bulk reply): 第一条是 OK ,而第二条是 -ERR 。 至于怎样用合适的方法来表示事务中的错误, 则是由客户端本身决定的。服务器
最重要的是记住这样一条, 即便事务中有某条/某些命令执行失败了, 事务队列中的其余命令仍然会继续执行 —— Redis 不会中止执行事务中的命令。spa
对于发生在 EXEC 执行以前的错误,客户端之前的作法是检查命令入队所得的返回值:若是命令入队时返回 QUEUED ,那么入队成功;不然,就是入队失败。若是有命令在入队时失败,那么大部分客户端都会中止并取消这个事务。code
在 Redis 2.6.5 之前, Redis 只执行事务中那些入队成功的命令,而忽略那些入队失败的命令。 而新的处理方式则使得在流水线(pipeline)中包含事务变得简单,由于发送事务和读取事务的回复都只须要和服务器进行一次通信。htm
至于那些在 EXEC 命令执行以后所产生的错误, 并无对它们进行特别处理: 即便事务中有某个/某些命令在执行时产生了错误, 事务中的其余命令仍然会继续执行。队列
如下是这种作法的优势:
有种观点认为 Redis 处理事务的作法会产生 bug , 然而须要注意的是, 在一般状况下, 回滚并不能解决编程错误带来的问题。 举个例子, 若是你原本想经过 INCR 命令将键的值加上 1 , 却不当心加上了 2 , 又或者对错误类型的键执行了 INCR , 回滚是没有办法处理这些状况的。
鉴于没有任何机制能避免程序员本身形成的错误, 而且这类错误一般不会在生产环境中出现, 因此 Redis 选择了更简单、更快速的无回滚方式来处理事务。
redis> SET foo 1 OK redis> MULTI OK redis> INCR foo QUEUED redis> DISCARD OK redis> GET foo "1"
当执行 DISCARD 命令时, 事务会被放弃, 事务队列会被清空, 而且客户端会从事务状态中退出.
WATCH 命令能够为 Redis 事务提供 check-and-set (CAS)行为。
被 WATCH 的键会被监视,并会发觉这些键是否被改动过了。 若是有至少一个被监视的键在 EXEC 执行以前被修改了, 那么整个事务都会被取消, EXEC 返回空多条批量回复(null multi-bulk reply)来表示事务已经失败。
举个例子, 假设咱们须要原子性地为某个值进行增 1 操做(假设 INCR 不存在)。
首先咱们可能会这样作:
val = GET mykey val = val + 1 SET mykey $val
上面的这个实如今只有一个客户端的时候能够执行得很好。 可是, 当多个客户端同时对同一个键进行这样的操做时, 就会产生竞争条件。
举个例子, 若是客户端 A 和 B 都读取了键原来的值, 好比 10 , 那么两个客户端都会将键的值设为 11 , 但正确的结果应该是 12 才对。
有了 WATCH , 咱们就能够轻松地解决这类问题了:
WATCH mykey val = GET mykey val = val + 1 MULTI SET mykey $val EXEC
使用上面的代码, 若是在 WATCH 执行以后, EXEC 执行以前, 有其余客户端修改了 mykey 的值, 那么当前客户端的事务就会失败。 程序须要作的, 就是不断重试这个操做, 直到没有发生碰撞为止。
这种形式的锁被称做乐观锁, 它是一种很是强大的锁机制。 而且由于大多数状况下, 不一样的客户端会访问不一样的键, 碰撞的状况通常都不多, 因此一般并不须要进行重试。
WATCH 使得 EXEC 命令须要有条件地执行: 事务只能在全部被监视键都没有被修改的前提下执行, 若是这个前提不能知足的话,事务就不会被执行。
WATCH 命令能够被调用屡次。 对键的监视从 WATCH 执行以后开始生效, 直到调用 EXEC 为止。
用户还能够在单个 WATCH 命令中监视任意多个键, 就像这样:
redis> WATCH key1 key2 key3 OK
当 EXEC 被调用时, 无论事务是否成功执行, 对全部键的监视都会被取消。
另外, 当客户端断开链接时, 该客户端对键的监视也会被取消。
使用无参数的 UNWATCH 命令能够手动取消对全部键的监视。 对于一些须要改动多个键的事务, 有时候程序须要同时对多个键进行加锁, 而后检查这些键的当前值是否符合程序的要求。 当值达不到要求时, 就可使用 UNWATCH 命令来取消目前对键的监视, 中途放弃这个事务, 并等待事务的下次尝试。
WATCH 能够用于建立 Redis 没有内置的原子操做。
举个例子, 如下代码实现了原创的 ZPOP 命令, 它能够原子地弹出有序集合中分值(score)最小的元素:
WATCH zset element = ZRANGE zset 0 0 MULTI ZREM zset element EXEC
程序只要重复执行这段代码, 直到 EXEC 的返回值不是空多条回复(null multi-bulk reply)便可。