6.Redis事务

事务

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 取消监视