是什么
可以一次执行多个命令,本质是一组命令的集合。一个事务中的所有命令都会**序列化**,按顺序地串行化执行而不会被其它命令插入,不许加塞。
能做什么
一个队列中,一次性、顺序性、排他性的执行一系列命令
怎么用
redis事务命令:
discard | 取消事务,放弃执行事务块内的所有命令;放弃事务 |
exec | 执行所有事务块内的命令 |
multi | 标记一个事务块的开始 |
unwatch | 取消watch命令对所有key的监视 |
watch key [key …] | 监视一个(或多个)key,如果在事务执行之前这个(或这些)key被其他命令所改动,那么事务将被打断 |
一个事务内,出现一个错误,会发生:全体连坐,都不执行
对执行事务中有错误的,会将执行错的抛出
监控watch
1.乐观锁/悲观锁/CAS(Check And Set)
乐观锁 | 乐观锁(Optimistic Lock), 顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制。乐观锁适用于多读的应用类型,这样可以提高吞吐量,乐观锁策略:提交版本必须大于记录当前版本才能执行更新 |
悲观锁 | 悲观锁(Pessimistic Lock), 就是很悲观,每次去拿数据的时候都认为别人会修改,所以每次在拿数据的时候都会上锁,这样别人想拿这个数据就会block直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制,比如行锁,表锁等,读锁,写锁等,都是在做操作之前先上锁 |
CAS (Check And Set) | cas是我们常用的一种解决并发问题的手段。基于Watch和Multi的cas实现(即:基于“redis 事务”的); |
使用乐观锁替代目前的ZK锁,提高单体并发能力。
实际上所谓的redis事务并不像关系型数据库的事务那么复杂,举个例子, 使用了redis 某种语言框架的伪代码:
client = redis.newClient() //创建客户端
client.watch("teacher") // 对应redis的指令 watch teacher
client.multi() // 对应redis的指令 multi
a = client.get("teacher") // 对应redis的指令 get teacher
if a == "annie"
client.set("teacher", "joe") // 对应redis的指令 set teacher joe
else
client.set("teacher", "han") // 对应redis的指令 set teacher han
client.exec() // 对应redis的指令 exec
Redis的CAS方案 :
1.先了解:Redis事务:
Redis 通过MULTI 、EXEC、WATCH等命令来实现事务功能。事务提供了一种将多个命令请求打包,然后一次性、按顺序的执行多个命令的机制,并且在事务执行期间,服务器不会中断事务而去执行其他客户端的命令请求,它会将事务中所有的命令都执行完毕。
Redis事务不支持回滚操作,所以事务队列中某个命令执行错误,整个事务也会继续执行下去。
事务阶段
- 开始事务
MULTI 代表将客户端的REDIS__MULTI选项打开,使客户端进入事务状态执行命令返回QUEUED 代表命令已经进入事务队列了,EXEC命令将这个事务提交给服务器执行. - 命令入队
当Redis处理一个请求时, 其实并不是所有的命令都会被放进事务队列, 其中的例外就是 EXEC 、 DISCARD 、 MULTI 和 WATCH 这四个命令 。当这四个命令从客户端发送到服务器时, 它们会像客户端处于非事务状态一样, 直接被服务器执行。每个Redis客户端都有自己的事务状态,这个事务状态保存在客户端状态的mstate属性里面。
- 提交事务
一个处于事务状态的客户端向服务器发送EXEC命令时,这个EXEC命令将立即被服务器执行。服务器会遍历这个客户端的事务队列,执行队列保存的所有命令,最后统一返回所有的执行结果。 执行是有序的按照先进先出(FIFO)的顺序执行机制。事务在执行过程中不会被中断,所有命令命令执行之后,事务才结束。
WATCH命令实现
WATCH命令就是一个乐观锁,它可以在EXEC命令执行之前,监视任意数量的数据库键,并在EXEC命令执行时,检查被监视的键是否被修改了,如果被修改了服务器将拒绝执行事务,并向客户端返回空。
WATCH监控
每个Redis数据库都保存着一个watched_keys字典来保存被监控的键,字典值是一个链表,链表中记录了所有监视相应键的客户端
监控机制触发
所有对数据库进行修改的命令,如SET、LPUSH、SADD、ZREM、DEL、FLUSHDB等,在执行之后都会调用multi.c/touchWatchKey函数对watched_keys字典进行检查,查看是否有客户端正在监视刚刚被命令修改过的key,有的话touchWatchKey函数会将监视的客户端的REDIS_DIRTY_CAS标识打开,表示该客户端事物安全性已经被破坏。
判断事物是否安全
当服务器接收到一个客户端发来的EXEC命令时,服务器将会根据这个客户端是否打开REDIS_DIRTY_CAS标识来决定是否执行事物
总结
- 事务提供了一种将多个命令打包,然后一次性有序(FIFO)执行的机制
- 事务执行过程不会被中断
- 带WATCH命令的事务会将客户端和被监视的键在数据库watched_keys字典中进行关联,当键被修改程序会将所有监视键的客户端REDIS_DIRTY_CAS标识打开
- 在客户端提交EXEC命令时,会检查REDIS_DIRTY_CAS标识,标识打开事务将不会被执行
- Redis事务具有ACID的特性(当服务器运行在AOF模式下,并且appendfsync选项值为always时才具有持久性