Redis事务本质: 一组命令的集合 , 一个事务中的所有命令都会被
序列化
, 在事务执行过程中 , 会按照顺序
执行
Redis事务没有隔离级别的概念 Redis单条命令保存原子性 , 但事务不保证原子性 redis事务 :
所以事务中的命令在加入时都没有被执行,直到提交时才会开始执行( Exec )一次性完成
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> set k1 v1 # 存入 k1:v1
QUEUED
127.0.0.1:6379> set k2 v2 # 存入 k2:v2
QUEUED
127.0.0.1:6379> get k1 # 获取k1对应的值
QUEUED
127.0.0.1:6379> set k3 v3 # 存入 k3:v3
QUEUED
127.0.0.1:6379> keys * # 查看全部的key
QUEUED
127.0.0.1:6379> exec # 执行上面命令,下面是依次的结果
1) OK
2) OK
3) "v1"
4) OK
5) 1) "k3"
2) "k2"
3) "k1"
4) "sign"
如果你在执行之前取消事务,那么你之前的操作都会取消,存入的元素也会当作没存
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> set k1 v1 # 存入 k1:v1
QUEUED
127.0.0.1:6379> discard # 取消事务
OK
127.0.0.1:6379> exec # 执行事务,因为已经取消事务,会报错
(error) ERR EXEC without MULTI
127.0.0.1:6379> get k1 # 获取k1的值,但是取消事务了,k1为null
(nil)
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> set k1 v1 k2 v2 # 存入 k1:v1、k2:v2
QUEUED
127.0.0.1:6379> keys * # 查看全部的key
QUEUED
127.0.0.1:6379> exec # 执行上面命令
1) (error) ERR syntax error
2) (empty array)
代码语法错误 ( 编译时异常 ) , 所有的命令都不执行
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> set k v # 存入 k:v
QUEUED
127.0.0.1:6379> error k # 输入了一个错误语句,报错,而且看似没影响后面的语句
(error) ERR unknown command `error`, with args beginning with: `k`,
127.0.0.1:6379> get k # 获取k的值
QUEUED
127.0.0.1:6379> exec # 执行事务
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k # 事务已经结束,之后获取k的值
(nil)
代码逻辑错误 ( 运行时异常 ) , 其他命令可以正常执行 所以不保证事务原子性
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> set k v # 存入 k:v
QUEUED
127.0.0.1:6379> incr k # 元素k的值+1
QUEUED
127.0.0.1:6379> get k # 获取k的值
QUEUED
127.0.0.1:6379> exec # 执行事务
1) OK
2) (error) ERR value is not an integer or out of range
3) "v"
悲观锁:
乐观锁:
可以采用的解决方法:
在Redis中可以采用:
使用watch key
监控指定数据 , 相当于乐观锁加锁
以下用操纵100元的例子进行模拟:
127.0.0.1:6379> set money 100 # 存入money100
OK
127.0.0.1:6379> set out 0 # 此时支出为0
OK
127.0.0.1:6379> watch money # 对money进行监控
OK
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> decrby money 10 # 使用了10元钱
QUEUED
127.0.0.1:6379> incrby out 10 # 支出的钱增加10元
QUEUED
127.0.0.1:6379> exec # 执行事务
1) (integer) 90
2) (integer) 10
测试多线程修改值 , 使用watch可以当做redis的乐观锁操作:
线程1:
127.0.0.1:6379> watch money # 对money进行监控
OK
127.0.0.1:6379> multi # 开启事务
OK
127.0.0.1:6379> decrby money 20 # 使用money20
QUEUED
127.0.0.1:6379> incrby out 20 # 支出增加20
QUEUED
127.0.0.1:6379>
在线程1没执行事务的时候,线程2对money进行操作:
127.0.0.1:6379> incrby money 300 # 此时线程1还没执行,增加money300
(integer) 390
此时,线程1执行事务:
127.0.0.1:6379> exec # 线程1执行,但是另一个线程修改了我们的值,这个时候就会导致事务执行失败
(nil)
127.0.0.1:6379> get money # 因为事务执行失败,所以只是线程2的money修改结果
"390"
127.0.0.1:6379> get out # 因为事务执行失败,支出数值没有被修改
"10"
个人博客为: MoYu’s HomePage