1. Redis事务的定义
Redis事务是一个单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。
事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。
2. Redis事务的操作
MULTI,EXEC,DISCARD
从MULTI
命令开始,输入的所有命令都会依次进入命令队列中,但不会执行,直到输入EXEC
命令,Redis会将之前的命令队列中的命令一次执行.
在输入EXEC
之前,可以使用DISCARD
命令,来放弃命令队列.
3. 事务的错误处理
3.1. 组队阶段错误
在EXEC
命令执行之前,报错 ,那么在使用EXEC
命令时,整个队列都会被取消.
3.2. 执行阶段报错
如果顺利的组队成功,在执行阶段某条命令A发生了错误,那么只有A命令不会被执行,其他没有问题的命令都会正常执行,换句话说,执行阶段无法保证事务的原子性
4. 锁——基于特定条件的事务执行
常见的锁分为悲观锁和乐观锁两种:
悲观锁(Pessimistic Lock):
顾名思义,就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会阻塞
直到它拿到锁。
传统的关系型数据库里边就用到了很多这种锁机制
,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁。
乐观锁(Optimistic Lock):
顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制。
乐观锁适用于多读的应用类型,这样可以提高吞吐量。 Redis就是利用这种check-and-set机制实现事务的。
业务场景:
天猫双11热卖过程中,对已经售罄的货物追加补货,4个业务员都有权限进行补货。
但是,假设A商品需要补货100件,但是4个人每个人都补了100件,那么多处了300件.
补货是一系列的多个连续的操作,如何保证操作不重复呢?
解决方案:
对key监视加锁,在exec前如果key发生了变化,则终止事务执行.
加锁:
watch key key2 ....
取消对所有key的监视
unwatch
对k1进行watch,将命令添加到队列(其中包含对k1的操作),如果队列执行成功,那么最后k1的值将变为30
.
此时,另一个终端操作修改k1的值
执行命令队列,发现执行为成功,并且队列中所有命令都没有执行.