1.Redis 事务是什么
可以一次执行多个命令,本质是一组命令的集合。一个事务中的,所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许加塞。
2.Redis 事务的作用
一个队列中,一次性、顺序性、排他性的执行一系列命令。
一个事务从开始到执行会经历以下三个阶段:
开始事务:以MULTI开始一个事务
命令入队:将多个命令入队到事务中,接到这些命令并不会立即执行,而是放到等待执行的事务队列里面
执行 :由EXEC命令触发事务
3.Redis 事务特性
单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。
没有隔离级别的概念:队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行,也就不存在”事务内的查询要看到事务里的更新,在事务外查询不能看到”这个让人万分头痛的问题。
不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚。
4.Redis 事务缺点
遇到有查询的情况穿插在事务中间,不会返回结果:设置事务开始标志后,所有的命令都是queued,即使是查询指令。 如果后续的更新操作需要依赖于前面的查询指令,那redis事务就无法有效的完成任务。
事实上,事务中的每条命令都与redis服务器进行了一次网络交互。
小优化: 对于所有的get/set操作,可使用现有的mget/mset指令;对于各种不同类型的更新操作,可使用lua脚本将命令打包后,发送到服务器端一次执行。
5.Redis 事务命令
下表列出了 redis 事务的相关命令:
6.实例
以下是一个事务的例子, 它先以 MULTI 开始一个事务, 然后将多个命令入队到事务中, 最后由 EXEC 命令触发事务, 一并执行事务中的所有命令所遇到的各种情况说明:
6.1 Case1:正常执行
6.2 Case2:放弃事务
6.3 Case3:全体连坐
6.4 Case4:冤头债主
6.5 Case5:watch监控
① 悲观锁(Pessimistic Lock): 顾名思义,就是很悲观,每次去拿数据的拿数据的时候都认为别人会修改,所以每次在时候都会上锁,这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁。
② 乐观锁(Optimistic Lock):顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制。乐观锁适用于多读的应用类型,这样可以提高吞吐量。
乐观锁策略:提交版本必须大于记录当前版本才能执行更新 。
③ WATCH 命令和基于CAS的乐观锁:
在Redis的事务中,WATCH命令可用于提供CAS(check-and-set)功能。假设我们通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Null multi-bulk应答以通知调用者事务执行失败。例如,我们再次假设Redis中并未提供incr命令来完成键值的原子性递增,如果要实现该功能,我们只能自行编写相应的代码。其伪码如下:
val = GET mykey
val = val + 1
SET mykey $val
以上代码只有在单连接的情况下才可以保证执行结果是正确的,因为如果在同一时刻有多个客户端在同时执行该段代码,那么就会出现多线程程序中经常出现的一种错误场景--竞态争用(race condition)。比如,客户端A和B都在同一时刻读取了mykey的原有值,假设该值为10,此后两个客户端又均将该值加一后set回Redis服务器,这样就会导致mykey的结果为11,而不是我们认为的12。为了解决类似的问题,我们需要借助WATCH命令的帮助,见如下代码:
WATCH mykey
val = GET mykey
val = val + 1
MULTI
SET mykey $val
EXEC
和此前代码不同的是,新代码在获取mykey的值之前先通过WATCH命令监控了该键,此后又将set命令包围在事务中,这样就可以有效的保证每个连接在执行EXEC之前,如果当前连接获取的mykey的值被其它连接的客户端修改,那么当前连接的EXEC命令将执行失败。这样调用者在判断返回值后就可以获悉val是否被重新设置成功。
④ watch监控实例
【1】初始化信用卡可用余额和欠额
【2】无加塞篡改,先监控再开启multi,保证两笔金额变动在同一个事务内
【3】有加塞篡改:监控了key,如果key被修改了,后面一个事务的执行失效
【4】unwatch
⑤ watch 小结:
Watch指令,类似乐观锁,事务提交时,如果Key的值已被别的客户端改变,比如某个list已被别的客户端push/pop过了,整个事务队列都不会被执行。
通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Nullmulti-bulk应答以通知调用者事务执行失败。