1、什么是redis事务
可以一次执行多个命令,本质是一组命令的集合。一个事务中的所有命令都会序列化,按顺序地串行化执行而不会被其它命令插入,不许加塞。就是说在一个队列中,一次性、顺序性、排他性的执行一系列命令。
2、命令
序号 | 命令及描述 |
---|---|
1 | MULTI:标记一个事务块的开始。 |
2 | EXEC:执行所有事务块内的命令。 |
3 | DISCARD:取消事务,放弃执行事务块内的所有命令。 |
4 | UNWATCH:取消 WATCH 命令对所有 key 的监视。 |
5 | WATCH :WATCH key [key …]监视一个(或多个) key ,如果在事务执行之前这个(或这些) key 被其他命令所改动,那么事务将被打断。 |
一个事务从开始到执行会经历以下三个阶段:
开始事务。MULTI
命令入队。
执行事务。EXEC
如下图:
watch的作用:
如下图:
-----------------------客户端1 --------------------------------------------------客户端2----------------
Watch指令,类似乐观锁,事务提交时,如果Key的值已被别的客户端改变,比如某个list已被别的客户端push/pop过了,整个事务队列都不会被执行
乐观锁(Optimistic Lock), 顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用 版本号 等机制。乐观锁适用于多读的应用类型,这样可以提高吞吐量,
乐观锁策略:提交版本必须大于记录当前版本才能执行更新
通过WATCH命令在事务执行之前监控了多个Keys,倘若在WATCH之后有任何Key的值发生了变化,EXEC命令执行的事务都将被放弃,同时返回Nullmulti-bulk应答以通知调用者事务执行失败
根据以上理念,可以实现秒杀功能
3、redis事务的特性
单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。
没有隔离级别的概念(脏读,不可重复读,幻读):队列中的命令没有提交之前都不会实际的被执行,因为事务提交前任何指令都不会被实际执行,只要是提交了的数据就可以用
不保证原子性:redis同一个事务中如果有一条命令执行失败,其后的命令仍然会被执行,没有回滚,所以redis事务就是半支持事务,并不保证原子性