事务
Redis事务本质:
一组命令的集合。一个事务中的所有命令都会被序列化,在事务执行过程中,会按顺序执行。
Redis事务的特性:
- 一次性
- 顺序性
- 排他性
Redis事务没有隔离级别的概念
所有的命令在事务中并没有直接被执行,只有发起执行命令的时候才会执行 Exec
Redis单条命令是保证原子性的,但是事务是不保证原子性的!
Redis的事务
- 开启事务(multi)
- 命令入队(....)
- 执行事务(exec)
-
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>
set
k3
v3
-
QUEUED
-
127
.0
.0
.1
:6379>
get
k3
-
QUEUED
-
127
.0
.0
.1
:6379>
exec #执行事务
-
1)
OK
-
2)
OK
-
3)
OK
-
4) "
v3"
放弃事务
-
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>
set
k4
v4
-
QUEUED
-
127
.0
.0
.1
:6379>
discard #取消事务
-
OK
-
127
.0
.0
.1
:6379>
get
k4 #事务队列中的命令都不会被执行
-
(
nil)
两种异常
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> getset k3
#错误命令
-
(error) ERR wrong number of arguments
for
'getset' command
-
127.0.0.1:6379> set k4 v4
-
QUEUED
-
127.0.0.1:6379> exec
#执行是事务报错
-
(error) EXECABORT Transaction discarded because of previous errors.
-
127.0.0.1:6379> get k4
#所有的命令都不会执行
-
(
nil)
2、运行时异常(1/0),如果事务队列中存在语法性,那么执行命令的时候,其他命令都是可以正常执行的,错误命令抛出异常。
-
127
.0
.0
.1
:6379>
set
k1 "
v1"
-
OK
-
127
.0
.0
.1
:6379>
multi
-
OK
-
127
.0
.0
.1
:6379>
incr
k1 #字符串自增1 会执行失败
-
QUEUED
-
127
.0
.0
.1
:6379>
set
k2
v2
-
QUEUED
-
127
.0
.0
.1
:6379>
set
k3
v3
-
QUEUED
-
127
.0
.0
.1
:6379>
exec
-
1) (
error)
ERR
value
is
not
an
integer
or
out
of
range #虽然第一条命令报错了,但是还是正常执行成功了
-
2)
OK
-
3)
OK
-
127
.0
.0
.1
:6379>
get
k2
-
"
v2"
监控 Watch (面试常问)
悲观锁:
很悲观,认为什么时候都会出现问题,无论做什么都会加锁
乐观锁:
很乐观,认为什么时候都不会出问题,所以不会上锁,更新数据的时候去判断一下,在此期间是否有人修改过这个数据。
watch使用
- 获取version
- 更新的时候比较version
- Redis测监视测试
正常执行成功:
-
127
.0
.0
.1
:6379>
set
money 100
-
OK
-
127
.0
.0
.1
:6379>
set
out 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 20
-
QUEUED
-
127
.0
.0
.1
:6379>
incrby
out 20
-
QUEUED
-
127
.0
.0
.1
:6379>
exec
-
1) (
integer) 80
-
2) (
integer) 20
测试多线程修改值,使用watch可以当作redis的乐观锁操作
-
127
.0
.0
.1
:6379>
watch
money #监视
money
-
OK
-
127
.0
.0
.1
:6379>
multi
-
OK
-
127
.0
.0
.1
:6379>
decrby
moeney 10
-
QUEUED
-
127
.0
.0
.1
:6379>
incrby
out 10
-
QUEUED
-
127
.0
.0
.1
:6379>
exec #执行之前,另外一个线程修改了
money的值,就会导致事务执行失败!
-
(
nil)
修改失败:
- 如果发现事务执行失败,就先解锁
- 获取最新的值,再次监视
- 比对监视的值是否发生变化,如果没有发生变化,可以执行,如果变化就执行失败,继续解锁再次监视。
-
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 60
-
QUEUED
-
127
.0
.0
.1
:6379>
incrby
out 60
-
QUEUED
-
127
.0
.0
.1
:6379>
exec #比对监视的值是否发生变化,如果没有发生变化,可以执行,如果变化就执行失败,继续解锁再次监视。
-
1) (
integer) 1020
-
2) (
integer) 80
转载:https://blog.csdn.net/wan_ide/article/details/105483912
查看评论