命令参考:https://redis.readthedocs.io/en/2.4/transaction.html
关键词:事务+WATCH:实现CAS功能
命令:WATCH
WATCH key [key ...] 总是返回OK
监视一个(或多个) key ,如果在事务执行之前这个(或这些) key 被改动(不管自己还是别人),那么事务将被打断(不论事务中是否包含对KEY的操作)。
正常场景:
错误使用:
在执行MULTI前,如果自己或别人对KEY修改;此时必须先UNWATCH,再WATCH,否则事务执行失败
命令 UNWATCH
取消 WATCH 命令对所有 key 的监视
Redis 事务的 unwatch 命令用于取消 WATCH 命令对所有 key 的监视。 unwatch 命令可以在事务中执行。
如果在执行 WATCH 命令之后, EXEC 命令或 DISCARD 命令先被执行了的话,那么就不需要再执行 UNWATCH 了。
因为 EXEC 命令会执行事务,因此 WATCH 命令的效果已经产生了;而 DISCARD 命令在取消事务的同时也会取消所有对 key 的监视,因此这两个命令执行之后,就没有必要执行 UNWATCH 了。
错误实现:在执行exec后,仍调用unwatch,将得到如下异常
命令MULTI
标记一个事务块的开始。
事务块内的多条命令会按照先后顺序被放进一个队列当中,最后由 EXEC 命令在一个原子时间内执行。
命令:EXEC
执行所有事务块内的命令。事务执行期间,其他client的操作将会被阻塞;
CAS场景:假如某个(或某些) key 正处于 WATCH 命令的监视之下,EXEC 命令只在这个(或这些) key 没有被其他命令所改动的情况下执行并生效,否则该事务被打断(abort)。
时间复杂度:事务块内所有命令的时间复杂度的总和。
返回值:1)事务块内所有命令的返回值,按命令执行的先后顺序排列。 2)当操作被打断时,返回空值 nil 。
不管执行成功与否,都会导致UNWATCH操作。
命令:DISCARD
取消事务,放弃执行事务块内的所有命令。
如果正在使用 WATCH 命令监视某个(或某些) key ,那么取消所有监视,等同于执行命令 UNWATCH 。
返回值:总是返回OK
常见异常:JedisDataException
如果在执行 WATCH 命令之后, EXEC 命令或 DISCARD 命令先被执行了的话,那么就不需要再执行 UNWATCH 了。因为 EXEC 命令会执行事务,因此 WATCH 命令的效果已经产生了;而 DISCARD 命令在取消事务的同时也会取消所有对 key 的监视,因此这两个命令执行之后,就没有必要执行 UNWATCH 了。
错误实现:在执行exec后,仍调用unwatch,将得到如下异常