Redis事务的本质:一组命令的集合,一个事务的所有命令都会被序列化,在事务的执行过程中,会按照顺序执行。
一次性、顺序性、排他性、执行一些命令
Redis事务中没有隔离级别的概念
所有的命令并没有直接执行,而是在发起执行命令的时候(exec)才会被执行
Redis单条命令会保证原子性,但是Redis事务不会保证原子性
Redi事务:
- 开启事务(multi)
- 命令入队()
- 执行事务(exec)
1.正常事务执行
127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379> set k1 v1
QUEUED #命令入队成功
127.0.0.1:6379> set k2 v2
QUEUED #命令入队成功
127.0.0.1:6379> sadd key3 v1 v2 v3
QUEUED #命令入队成功
127.0.0.1:6379> exec #执行事务
1) OK
2) OK
3) (integer) 3
127.0.0.1:6379>
2.放弃事务
127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379> set k2 v2 #入队操作
QUEUED
127.0.0.1:6379> set k5 v5
QUEUED
127.0.0.1:6379> discard #放弃事务,所有入队命令全部执行失败
OK
127.0.0.1:6379> get k5 #查询操作,发现为空,则放弃成功
(nil)
127.0.0.1:6379>
情况一:编译时异常
由于命令出现错误,执行事务时导致所有命令都会执行失败
127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379> set k1 v1
QUEUED
127.0.0.1:6379> setget k2
(error) ERR unknown command 'setget'
127.0.0.1:6379> set k3 v3
QUEUED
127.0.0.1:6379> exec
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379>
情况二:运行时异常
在执行命令的时候,运行到指定的命令出错,不影响其他命令的执行
127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379> set k1 v1
QUEUED
#由于k1的值是字符串,执行时无法执行成功,但是没有语法错误,入队依然成功
127.0.0.1:6379> incr k1
QUEUED
127.0.0.1:6379> set k2 v2
QUEUED
127.0.0.1:6379> exec
1) OK
#查看,此语句执行失败发现不影响其他语句执行
2) (error) ERR value is not an integer or out of range
3) OK
127.0.0.1:6379> get k2
"v2"
127.0.0.1:6379>
监控 watch
悲观锁
每次修改数据的时候都会悲观地认为有人会同时修改数据,所以都会加锁
乐观锁
每次修改数据的时候都会乐观地认为没有人同时修改数据,所以不会加上锁,但是在更新数据的时候都会去判断一下在此期间是否有人修改过数据(获取version,比较version)。
测试
1.
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set money 100 #设置卡1里有100
QUEUED
127.0.0.1:6379> set consum 0 #设置卡2里有0
QUEUED
127.0.0.1:6379> decrby money 20 #卡1转帐20,减去20
QUEUED
127.0.0.1:6379> incrby consum 20 #卡2到账20,加上20
QUEUED
127.0.0.1:6379> exec#执行,查询
1) OK
2) OK
3) (integer) 80
4) (integer) 20
127.0.0.1:6379>
2.测试多线程修改,使用watch当作乐观锁
127.0.0.1:6379> watch money
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379> decrby money 10
QUEUED
127.0.0.1:6379> incrby money 10
QUEUED
127.0.0.1:6379>
3.再次转账,注意并未执行exec操作!!,此时另一方也在同时操作:
127.0.0.1:6379> get money
"80"
127.0.0.1:6379> incrby money 30 #此时另一方同时向银行卡1增加了30
(integer) 110
127.0.0.1:6379> get money#查询,卡1有110
"110"
127.0.0.1:6379>
原理:在执行exec后,会对比卡1原来的钱,发现已经不是80,变成了110,则对比不一致,则会导致执行失败。
解决:
127.0.0.1:6379> unwatch #执行失败后,先解锁,
OK
127.0.0.1:6379> watch money #获取到最新的值后,再上锁
OK
127.0.0.1:6379> decrby money 10
(integer) 100
127.0.0.1:6379> incrby out 10
(integer) 10
127.0.0.1:6379>