Redis 事务

事务本质:一组命令的集合!一个事务中的所有命名都会被序列化,在事务执行过程中,会按照顺序执行!
一次性、顺序性、排他性!执行一系列命令!

Redis事务没有隔离级别的概念
所有的命令在事务中,并没有执行!只有发起执行命令的时候才会执行!Exec
Redis单条命令是保证原子性的(要么同时成功,要么同时失败),但是事务不保证原子性!

redis的事务:

  • 开启事务(MULTI)
  • 命名入队(。。。)
  • 执行事务()

正常执行事务!

127.0.0.1:6379[1]> MULTI    # 开启事务
OK
127.0.0.1:6379[1]> set k1 v1    # 命令入队
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> get k2
QUEUED
127.0.0.1:6379[1]> set k3 v3
QUEUED
127.0.0.1:6379[1]> EXEC    # 执行事务
1) OK
2) OK
3) "v2"
4) OK

放弃事务

127.0.0.1:6379[1]> multi    # 开启事务
OK
127.0.0.1:6379[1]> set k1 v1
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> set k4 v2
QUEUED
127.0.0.1:6379[1]> DISCARD    # 取消事务
OK
127.0.0.1:6379[1]> get k4    # 事务队列中命令都不会被执行
(nil)

编译型异常(代码有问题!命令有错!),事务中所有的命令都不会被执行

127.0.0.1:6379[1]> MULTI
OK
127.0.0.1:6379[1]> set k1 v1
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> set k3 v3
QUEUED
127.0.0.1:6379[1]> getset k3    # 错误的命名
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379[1]> set k4 v4
QUEUED
127.0.0.1:6379[1]> set k5 v5
QUEUED
127.0.0.1:6379[1]> EXEC    # 执行事务报错!
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379[1]> get k5    # 所有的命令都不会被执行!
(nil)

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

127.0.0.1:6379[1]> set k1 v1
OK
127.0.0.1:6379[1]> multi
OK
127.0.0.1:6379[1]> incr k1
QUEUED
127.0.0.1:6379[1]> set k2 v2
QUEUED
127.0.0.1:6379[1]> set k3 v3
QUEUED
127.0.0.1:6379[1]> get k3
QUEUED
127.0.0.1:6379[1]> exec
1) (error) ERR value is not an integer or out of range    # 虽然一条命令报错了,但是依旧正常执行成功了
2) OK
3) OK
4) "v3"
127.0.0.1:6379[1]> get k2
"v2"
127.0.0.1:6379[1]> get k3
"v3"

监控!Watch

悲观锁:

  • 很悲观,什么时候都会出问题,无论做什么都会加锁!
    乐观锁:
  • 很乐观,认为什么时候都不会出问题,所以不会上锁!更新数据的时候去判断一下,在此期间是否有人修改这个数据
  • 获取version
  • 更新的时候比较 version

Redis 监视测试

正常执行成功

127.0.0.1:6379[1]> set money 100
OK
127.0.0.1:6379[1]> set out 0
OK
127.0.0.1:6379[1]> watch money    # 监视 mony
OK
127.0.0.1:6379[1]> multi    # 事务正常结束,数据期间没有发生变动,这个时候就正常执行成功
OK
127.0.0.1:6379[1]> decrby money 20
QUEUED
127.0.0.1:6379[1]> incrby out 20
QUEUED
127.0.0.1:6379[1]> exec
1) (integer) 80
2) (integer) 20

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

127.0.0.1:6379[1]> watch money    # 监视money
OK
127.0.0.1:6379[1]> multi
OK
127.0.0.1:6379[1]> decrby money 10
QUEUED
127.0.0.1:6379[1]> incrby money 10
QUEUED
127.0.0.1:6379[1]> get money
QUEUED
127.0.0.1:6379[1]> exec    # 执行之前,另一个线程修改了值,就会导致事务执行失败
(nil)

使用exec和discard会自动解锁类似于JUC编程中的自旋锁。
如果修改失败,获取最新的值就好了。
事务

本作品采用《CC 协议》,转载必须注明作者和本文链接
讨论数量: 0
(= ̄ω ̄=)··· 暂无内容!

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!