事务
1、Redis 事务本质
一组命令的集合。 一个事务中的所有命令都会被顺序化,在事务执行过程的中,会按照顺序执行。
例如,正常执行事务:
------ 队列 set set set 执行 ------
2、Redis 事务的特性
一次性、顺序性、排他性,执行一系列的命令。
一次性:开启事务后,会在一个队列中一次性执行。
顺序性:会在队列中按照入队的顺序执行。
排他性:事务执行过程中,不允许其它线程干扰。
注意:
1.Redis单条命令是保存原子性的,但是事务不保证原子性。
2.Redis事务没有隔离级别的概念
3.所有的命令在事务中,并没有直接被执行,只有发起执行命令Exec的时候才会执行。
3、redis的事务
redis的事务分为三个阶段:
开启事务(multi)
命令入队(输入其它命令 set/get)
执行事务(exec) / 放弃事务(DISCARD)
注意:每次事务执行exec/DISCARD后,再次使用事务时需要重新开启事务multi。
4、正常执行事务 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> get k2
QUEUED
127.0.0.1:6379> set k3 v3
QUEUED
# 按一次性、顺序性、排他性特性,执行事务
127.0.0.1:6379> exec
1) OK
2) OK
3) "v2"
4) OK
注意:每次事务执行exec后,再次使用事务时需要重新开启事务multi。
5、放弃事务 DISCARD
# 开启事务
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
# 此时获取k4则没有值
127.0.0.1:6379> get k4
(nil)
注意:每次事务执行DISCARD后,再次使用事务时需要重新开启事务multi。
6、出现异常
6.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.
# 获取值,返回为null
127.0.0.1:6379> get k1
(nil)
127.0.0.1:6379> get k4
(nil)
6.2、运行时异常
# 运行时异常(1/0),若事务队列中存在语法性错误,那么执行命令的时候,其他命令是可以正常执行的,错误命令抛出异常。
# 开启事务
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 v2
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) "v2"
7、redis实现乐观锁
7.1、监控 Watch
悲观锁
很悲观,认为什么时候都会出问题,无论做什么都会加锁,非常影响性能。
乐观锁
很乐观,认为什么时候都不会出问题,所以不会加锁。更新数据的时候去判断一下,在此期间是否有人修改过这个数据。 性能相对好点。
原理:获取version,更新的时候比较version
7.2、Redis测监视测试
1). 正常执行成功
# 清空数据库
127.0.0.1:6379> flushdb
OK
127.0.0.1:6379> clear
# 设置值
127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 0
OK
# 监控money对象
127.0.0.1:6379> watch 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
2). 测试多线程修改值 , 使用watch可以当做redis的乐观锁操作
# 第一个客户端:开启监视money,开启事务,修改值
127.0.0.1:6379> set money 100
OK
127.0.0.1:6379> set out 0
OK
# 监视:使用watch可以当做redis的乐观锁操作
127.0.0.1:6379> watch 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
# 执行事务之前,另外一个线程修改了值,会导致事务执行失败,返回nil
127.0.0.1:6379> exec
(nil)
# 第二个客户端:修改监视的值
[root@iZuf67rdcsn46d295zbgomZ ~]# redis-cli -p 6379
127.0.0.1:6379> ping
PONG
127.0.0.1:6379> get money
"100"
127.0.0.1:6379> set money 1000
OK
因此,**redis实现乐观锁的原理**是:
执行监视watch某个值时,即获取当前值;在执行事务exec时需要更新值,此时需要与之前获取的值做比较。
3). 若事务执行失败,则先解锁,再重新监视,即获取最新的值
# 若事务执行失败,先解锁,放弃监视
127.0.0.1:6379> unwatch
OK
# 再开启监视,即获取最新的值select version
127.0.0.1:6379> watch 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) 980
2) (integer) 20
7.3、redis乐观锁实现机制
我们知道大多数是基于数据版本(version)的记录机制实现的。即为数据增加一个版本标识,在基于数据库表的版本解决方案中,一般是通过为数据库表增加一个version字段来实现读取出数据时,将此版本号一同读出,之后更新时,对此版本号加1。此时,将提交数据的版本号与数据库表对应记录的当前版本号进行比对,如果提交的数据版本号大于数据库当前版本号,则予以更新,否则认为是过期数据。
Redis中可以使用watch命令会监视给定的key,当exec时候如果监视的key从调用watch后发生过变化,则整个事务会失败。也可以调用watch多次监视多个key。这样就可以对指定的key加乐观锁了。注意watch的key是对整个连接有效的,事务也一样。如果连接断开,监视和事务都会被自动清除。当然了==exec,discard,unwatch命令都会清除连接中的所有监视==。
7.4、总结
==Redis中的事务(transaction)是一组命令的集合。==事务同命令一样都是Redis最小的执行单位,一个事务中的命令要么都执行,要么都不执行。Redis事务的实现需要用到 MULTI 和 EXEC 两个命令,事务开始的时候先向Redis服务器发送 MULTI 命令,然后依次发送需要在本次事务中处理的命令,最后再发送 EXEC 命令表示事务命令结束。
Redis的事务是下面5个命令来实现 :
1).multi 开启Redis的事务,置客户端为事务态。
2).exec 提交事务,执行从multi到此命令前的命令队列,置客户端为非事务态。
3).discard 取消事务,置客户端为非事务态。
4).watch 监视键值对,作用时如果事务提交exec时发现监视的监视对发生变化,事务将被取消。
5).unwatch 取消监视