小言_互联网的博客

Redis中的事务和监控(乐观锁)

304人阅读  评论(0)

事务

Redis事务本质:

一组命令的集合。一个事务中的所有命令都会被序列化,在事务执行过程中,会按顺序执行。

Redis事务的特性:

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

Redis事务没有隔离级别的概念

所有的命令在事务中并没有直接被执行,只有发起执行命令的时候才会执行 Exec

Redis单条命令是保证原子性的,但是事务是不保证原子性的!

Redis的事务

  1. 开启事务(multi)
  2. 命令入队(....)
  3. 执行事务(exec)

  
  1. 127 .0 .0 .1 :6379> multi    #开启事务
  2. OK
  3. #命令入队
  4. 127 .0 .0 .1 :6379> set k1   v1
  5. QUEUED
  6. 127 .0 .0 .1 :6379> set k2 v2
  7. QUEUED
  8. 127 .0 .0 .1 :6379> set k3 v3
  9. QUEUED
  10. 127 .0 .0 .1 :6379> get k3
  11. QUEUED
  12. 127 .0 .0 .1 :6379> exec  #执行事务
  13. 1) OK
  14. 2) OK
  15. 3) OK
  16. 4) " v3"

放弃事务


  
  1. 127 .0 .0 .1 :6379> multi   #开启事务
  2. OK
  3. 127 .0 .0 .1 :6379> set k1 v1
  4. QUEUED
  5. 127 .0 .0 .1 :6379> set k2 v2
  6. QUEUED
  7. 127 .0 .0 .1 :6379> set k4 v4
  8. QUEUED
  9. 127 .0 .0 .1 :6379> discard    #取消事务
  10. OK
  11. 127 .0 .0 .1 :6379> get k4    #事务队列中的命令都不会被执行
  12. ( nil)

两种异常

1、编译异常(命令有错),事务中所有命令都不会被执行


  
  1. 127.0.0.1:6379> multi  
  2. OK
  3. 127.0.0.1:6379> set k1 v1
  4. QUEUED
  5. 127.0.0.1:6379> set k2 v2
  6. QUEUED
  7. 127.0.0.1:6379> getset k3   #错误命令
  8. (error) ERR wrong number of arguments for 'getset' command
  9. 127.0.0.1:6379> set k4 v4
  10. QUEUED
  11. 127.0.0.1:6379> exec   #执行是事务报错
  12. (error) EXECABORT Transaction discarded because of previous errors.
  13. 127.0.0.1:6379> get k4   #所有的命令都不会执行
  14. ( nil

2、运行时异常(1/0),如果事务队列中存在语法性,那么执行命令的时候,其他命令都是可以正常执行的,错误命令抛出异常。


  
  1. 127 .0 .0 .1 :6379> set k1 " v1"
  2. OK
  3. 127 .0 .0 .1 :6379> multi
  4. OK
  5. 127 .0 .0 .1 :6379> incr k1  #字符串自增1 会执行失败
  6. QUEUED
  7. 127 .0 .0 .1 :6379> set k2 v2
  8. QUEUED
  9. 127 .0 .0 .1 :6379> set k3 v3
  10. QUEUED
  11. 127 .0 .0 .1 :6379> exec
  12. 1) ( error) ERR value is not an integer or out of range  #虽然第一条命令报错了,但是还是正常执行成功了
  13. 2) OK
  14. 3) OK
  15. 127 .0 .0 .1 :6379> get k2
  16. " v2"


监控 Watch (面试常问)

悲观锁:

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

乐观锁:

很乐观,认为什么时候都不会出问题,所以不会上锁,更新数据的时候去判断一下,在此期间是否有人修改过这个数据。

watch使用

  • 获取version
  • 更新的时候比较version
  • Redis测监视测试

正常执行成功:


  
  1. 127 .0 .0 .1 :6379> set money 100
  2. OK
  3. 127 .0 .0 .1 :6379> set out 0
  4. OK
  5. 127 .0 .0 .1 :6379> watch money   #监视 money对象
  6. OK
  7. 127 .0 .0 .1 :6379> multi  #事务正常结束,数据期间没有发生改变,这个时候正常执行成功!
  8. OK
  9. 127 .0 .0 .1 :6379> decrby money 20
  10. QUEUED
  11. 127 .0 .0 .1 :6379> incrby out 20
  12. QUEUED
  13. 127 .0 .0 .1 :6379> exec
  14. 1) ( integer) 80
  15. 2) ( integer) 20

测试多线程修改值,使用watch可以当作redis的乐观锁操作


  
  1. 127 .0 .0 .1 :6379> watch money   #监视 money
  2. OK
  3. 127 .0 .0 .1 :6379> multi
  4. OK
  5. 127 .0 .0 .1 :6379> decrby moeney 10
  6. QUEUED
  7. 127 .0 .0 .1 :6379> incrby out 10
  8. QUEUED
  9. 127 .0 .0 .1 :6379> exec   #执行之前,另外一个线程修改了 money的值,就会导致事务执行失败!
  10. ( nil)

修改失败:

  1. 如果发现事务执行失败,就先解锁
  2. 获取最新的值,再次监视
  3. 比对监视的值是否发生变化,如果没有发生变化,可以执行,如果变化就执行失败,继续解锁再次监视。

  
  1. 127 .0 .0 .1 :6379> unwatch   #如果发现事务执行失败,就先解锁
  2. OK
  3. 127 .0 .0 .1 :6379> watch money    #获取最新的值,再次监视
  4. OK
  5. 127 .0 .0 .1 :6379> multi
  6. OK
  7. 127 .0 .0 .1 :6379> decrby money 60
  8. QUEUED
  9. 127 .0 .0 .1 :6379> incrby out 60
  10. QUEUED
  11. 127 .0 .0 .1 :6379> exec  #比对监视的值是否发生变化,如果没有发生变化,可以执行,如果变化就执行失败,继续解锁再次监视。
  12. 1) ( integer) 1020
  13. 2) ( integer) 80

 


转载:https://blog.csdn.net/wan_ide/article/details/105483912
查看评论
* 以上用户言论只代表其个人观点,不代表本网站的观点或立场