概述
Redis事务的本质:一组命令的集合;一个事务中的所有命令都会被序列化,在事务执行过程中,会按照顺序执行。
特性:一次性、顺序性、排它性。
redis事务没有隔离级别的概念
所有的命令在事务中,并没有直接被执行,而是放在待执行队列中,只有发起执行命令的时候才会执行。Exec
Redis单条命令是原子性的,事务没有原子性(部分成功,部分失败,在Mysql中是不可能的,mysql事务需满足ACID)
redis的事务:
- 开启事务(multi)
- 命令入队
- 执行事务(exec)
127.0.0.1:6379> multi # 开启事务
OK
# 命令入队
127.0.0.1:6379> set key1 aaa
QUEUED
127.0.0.1:6379> set key2 bbb
QUEUED
127.0.0.1:6379> get key2
QUEUED
127.0.0.1:6379> sadd myset dog
QUEUED
127.0.0.1:6379> smembers myset
QUEUED
127.0.0.1:6379> exec # 执行事务
1) OK
2) OK
3) "bbb"
4) (integer) 1
5) 1) "dog"
127.0.0.1:6379>
放弃事务
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set aa 123
QUEUED
127.0.0.1:6379> set ab 13432
QUEUED
127.0.0.1:6379> get aa
QUEUED
127.0.0.1:6379> discard # 放弃事务
OK
127.0.0.1:6379> get aa
(nil)
127.0.0.1:6379> exec
(error) ERR EXEC without MULTI
异常,如何执行
编译时异常(命令有错),事务中所有的命令都不会被执行
127.0.0.1:6379> multi
OK
127.0.0.1:6379> set a 10
QUEUED
127.0.0.1:6379> set b 11
QUEUED
127.0.0.1:6379> setget # 命令错误
(error) ERR unknown command `setget`, with args beginning with:
127.0.0.1:6379> get a
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
127.0.0.1:6379> incr k1 # 执行的时候会失败
QUEUED
127.0.0.1:6379> set k2 18
QUEUED
127.0.0.1:6379> get k2
QUEUED
127.0.0.1:6379> exec
1) OK
2) (error) ERR value is not an integer or out of range # 虽然失败,但是其他命令依旧执行成功
3) OK
4) "18"
127.0.0.1:6379> get k2
"18"
127.0.0.1:6379>
监控
悲观锁:
- 无论做什么都会加锁
乐观锁(redis实现):
- 认为什么时候都不会出现问题,所有不会加锁。
- 更新数据的时候判断一下,在此期间是否有人改动过数据。Mysql中通过添加一个version字段来处理。
- 获取version
- 更新的时候比较version
redis监视测试
通过watch当做redis的乐观锁操作
测试多线程修改值,使用watch可以当做redis的乐观锁
127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> watch money # 监视money
OK
127.0.0.1:6379> decrby money 10
(integer) 90
127.0.0.1:6379> set out 0
OK
127.0.0.1:6379> incrby money 10
(integer) 100
127.0.0.1:6379> exec # 执行之前,另外一个线程, 修改了money,这个时候就会导致事务执行失败
(error) ERR EXEC without MULTI
127.0.0.1:6379>
执行事务之前修改了money,导致watch监视的money值与事务开始的时候不一致。
set money 100
OK
127.0.0.1:6379> watch money
OK
127.0.0.1:6379> multi
127.0.0.1:6379> decrby money 10
(integer) 90
127.0.0.1:6379> set out 0
OK
127.0.0.1:6379> incrby money 10
(integer) 100
127.0.0.1:6379> exec
127.0.0.1:6379>
如果事务执行失败,可以先解锁,再去重新监视,执行事务时会比较watch的值是否发生变化,没有发生变化事务执行成功,发生变化重新解锁,在获取锁,执行事务。
127.0.0.1:6379> UNWATCH
OK
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 out 10
QUEUED
127.0.0.1:6379> exec
1) (integer) 0
2) (integer) 10
127.0.0.1:6379>