Redis系统学习之事物

Redis事物操作

• Redis 事务可以一次执行多个命令， 并且带有以下三个重要的保证：
  • 批量操作在发送 EXEC 命令前被放入队列缓存。
  • 收到 EXEC 命令后进入事务执行，事务中任意命令执行失败，其余的命令依然被执行。
  • 在事务执行过程，其他客户端提交的命令请求不会插入到事务执行命令序列中。
• 一个事务从开始到执行会经历以下三个阶段：
  • 开始事物->命令入队->执行事务|取消事物
• 单个 Redis 命令的执行是原子性的，但 Redis 没有在事务上增加任何维持原子性的机制，所以 Redis 事务的执行并不是原子性的。
• 事务可以理解为一个打包的批量执行脚本，但批量指令并非原子化的操作，中间某条指令的失败不会导致前面已做指令的回滚，也不会造成后续的指令不做。
• 队列中间有命令执行错误
  • 错误包含
    • 编译型错误(代码写的有问题),命令写错了,这个时候所有的命令都不会执行
    • 其中getset k1 是语法错误

    

    image.png

    • 运行时错误,不会影响到成功的命令执行结果,不会回滚
    • 对字符串进行累加,属于运行时错误,可以去到k2,只有第一行命令错误,不会影响其他的

    

    image.png

• Redis事物具有以下特性
  • 一次性
  • 顺序性
  • 排他性

开始事务。

• multi

image.png

命令入队。

• 要执行的Redis命令

image.png

执行事务。

• exec

image.png

取消事物

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

image.png

监视(实现乐观锁)

• 悲观锁
  • 很悲观,认为什么时候都会出问题,无论做什么都加锁
• 乐观锁
  • 很乐观,认为什么时候都不会出现问题,所以不会加锁,更新数据的时候,判断一下,在此期间是否有人改动过数据
  • 获取version
  • 更新时比较version
• watch key[key循环]
  • 事物正常结束,数据期间没有发生变动,这个时候就正常执行成功(就是看你的钱,在你花的期间,有没有人动过)
  • 一但事物执行成功监控就会取消

  

  image.png

  • 在链接一个客户端(测试失败)

  

  image.png

  • A线程准备执行事物并监控qian这个key,然后命令入队,但是还没有执行提交

  

  image.png

  • B线程在这个时候对qian这个key的值进行修改
  • B线程重置成1000

  

  image.png

  • A线程开始提交事物

  

  image.png

  • 提交后返回空,因为监控的变量qian被修改过,所以不做任何操作
  • ok,也相当于事物回滚了
  • 测试会不会有ABA问题
  • A线程

  

  image.png

  • B线程

  

  image.png

  • A线程

  

  image.png

  • 经过测试发现,不会存在ABA问题

取消监视

• unwatch
• 取消全部的监视
  • 经过测试多个进程取消监视不会影响其他已开启事物的监视
  • A线程

  

  image.png

  • B线程

  

  image.png

  • A线程

  

  image.png

  • 返回结果为空,所以监视并没有被取消
• 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

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