Redis系统学习之事物

Redis事物操作

• Redis 事务可以一次执行多个命令， 并且带有以下三个重要的保证：

• 批量操作在发送 EXEC 命令前被放入队列缓存。
• 收到 EXEC 命令后进入事务执行，事务中任意命令执行失败，其余的命令依然被执行。
• 在事务执行过程，其他客户端提交的命令请求不会插入到事务执行命令序列中。

• 一个事务从开始到执行会经历以下三个阶段：

• 开始事物->命令入队->执行事务|取消事物

• 单个 Redis 命令的执行是原子性的，但 Redis 没有在事务上增加任何维持原子性的机制，所以 Redis 事务的执行并不是原子性的。
• 事务可以理解为一个打包的批量执行脚本，但批量指令并非原子化的操作，中间某条指令的失败不会导致前面已做指令的回滚，也不会造成后续的指令不做。
• 队列中间有命令执行错误

• 错误包含

• 编译型错误(代码写的有问题),命令写错了,这个时候所有的命令都不会执行
• 其中getset k1 是语法错误
• 
• 运行时错误,不会影响到成功的命令执行结果,不会回滚
• 对字符串进行累加,属于运行时错误,可以去到k2,只有第一行命令错误,不会影响其他的
• 

• Redis事物具有以下特性

• 一次性
• 顺序性
• 排他性

开始事务。

• multi
• 

命令入队。

• 要执行的Redis命令
• 

执行事务。

• exec
• 

取消事物

• discard
• 事物取消后无法提交,入队的命令也不会执行
• 

监视(实现乐观锁)

• 悲观锁

• 很悲观,认为什么时候都会出问题,无论做什么都加锁

• 乐观锁

• 很乐观,认为什么时候都不会出现问题,所以不会加锁,更新数据的时候,判断一下,在此期间是否有人改动过数据
• 获取version
• 更新时比较version

• watch key[key循环]

• 事物正常结束,数据期间没有发生变动,这个时候就正常执行成功(就是看你的钱,在你花的期间,有没有人动过)
• 一但事物执行成功监控就会取消
• 
• 在链接一个客户端(测试失败)
• 
• A线程准备执行事物并监控qian这个key,然后命令入队,但是还没有执行提交
• 
• B线程在这个时候对qian这个key的值进行修改
• B线程重置成1000
• 
• A线程开始提交事物
• 
• 提交后返回空,因为监控的变量qian被修改过,所以不做任何操作
• ok,也相当于事物回滚了
• 测试会不会有ABA问题
• A线程
• 
• B线程
• 
• A线程
• 
• 经过测试发现,不会存在ABA问题

取消监视

• unwatch
• 取消全部的监视

• 经过测试多个进程取消监视不会影响其他已开启事物的监视
• A线程
• 
• B线程
• 
• A线程
• 
• 返回结果为空,所以监视并没有被取消

• Redis事物详解(来自小姐姐的面试题71)
• A原子性：命令要么一起执行，要么一起不执行，没有mysql的rollback
• C一致性：执行到一半可恢复
• I持久性：RDB和AOF两个持久化机制
• D隔离性：redis是单线程，没有mysql中可见性的问题

• 事务开始：执行MULTI命令，标志着事务的开始，该命令会将客户端状态的flags属性中的REDIS_MULTI标示打开
• 命令入队：当客户端切换到事务状态后，服务器会根据这个客户端发来的命令执行不同的操作：

• 如果发送命令为MULTI（事务开始）、EXEC（事务执行）、WATCH（监控key值）、DISCARD（结束事务）命令中的一个，则立即执行
• 如果是其他命令，则不执行。先检查命令是否正确，无语法错误，如不正确，服务器会在客户端状态redisClient的flags属性关闭；如果正确，将这个命令放入一个事务队列，并向客户端返回QUEUED回复
• 事务队列按照FIFO（先进先出）的方式保存入队的命令

• 事务执行：客户端发送EXEC命令，服务器执行事务。

• 客户端状态flags属性不包含REDIS_MULTI标示，或包含REDIS_DIRTY_CAS或REDIS_DIRTY_EXEC标示，直接取消事务执行
• flags中有REDIS_MULTI标示，无xxxCAS或xxxEXEC标示，服务器会遍历客户端的事务队列，并执行事务队列中的所有命令，将返回结果全部返回给客户端
• redis不支持事务回滚机制，但会检查每一个事务命令是否有语法错误；redis事务不支持检查程序员的逻辑错误，如对String类型对数据库执行hashMap类型的操作

• WATCH命令：乐观锁，可以为redis事务提供check-and-set（CAS）行为。可以监控一个或多个键，一旦其中一个键被修改或删除，之后的事务就不会执行，监控一直延续到EXEC命令。可在MULTI命令之前或其执行中。
• MULTI命令：用于开启事务，返回永远是ok。客户端可以继续向服务器发送任意多条命令，不会执行，放入命令队列，当EXEC命令被调用时，所有队列中的命令先进先执行
• EXEC命令：执行所有事务块内的命令，返回事务块内所有命令的返回值，按命令执行的先后顺序排列。当操作被打断时，返回空值null
• DISCARD命令：清空事务队列，并放弃执行事务，客户端会从事务状态中退出
• UNWATCH命令：取消watch对所有key的监控

作者：彼岸舞

时间：2021\05\05

内容关于：Redis

本文属于作者原创,未经允许,禁止转发