Redis学习(三)之Redis的事务和乐观锁

一、Redis事务

Redis事务本质：一组命令的集合，一个事务中的所有命令都会被序列化，在事务执行过程中，会按照顺序执行。
一次性、顺序性、排他性。执行一些命令
Redis事务没有隔离级别的概念
所有的命令在事务中，并没有直接被执行，只有发起执行命令的时候才会执行（一次性），并且不会被其他命令打扰（排他性）
Redis单条命令保证原子性，但是事务不保证原子性

Redis的事务：

• 开启事务（multi）
• 命令入队（…）
• 执行事务（exec）

执行事务

127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> get k1
QUEUED
127.0.0.1:6379(TX)> exec #执行事务
1) OK
2) "v1"
#***可以看出只有发起执行事务的命令的时候才会执行里面的事务***

放弃事务

127.0.0.1:6379> multi #开启事务
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> get k1
QUEUED
127.0.0.1:6379(TX)> discard #放弃事务，事务队列中的命令都不会执行

编译型异常（代码有问题，命令有错），事务中所有的命令都不会被执行。

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> getset k3 #错误的命令
(error) ERR wrong number of arguments for 'getset' command
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> exec #执行报错
(error) EXECABORT Transaction discarded because of previous errors.
127.0.0.1:6379> get k2 #所有命令都不会被执行
(nil)

运行时异常(1/0等)，如果事务队列中存在语法性，那么执行命令的时候，其他命令是可以正常执行的，错误命令抛出异常

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set k1 v1
QUEUED
127.0.0.1:6379(TX)> incr k1 #对"v1"字符串进行自增，编译通过
QUEUED
127.0.0.1:6379(TX)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> set k3 v3
QUEUED
127.0.0.1:6379(TX)> get k2
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) (error) ERR value is not an integer or out of range #该命令执行抛异常，其他命令都执行成功
3) OK
4) OK
5) "v2"
127.0.0.1:6379> get k3
"v3"

二、Redis实现乐观锁

悲观锁

• 很悲观，认为什么时候都会出问题，无论做什么都会加锁。（极其影响性能）

乐观锁

• 很乐观，认为什么时候都不会出问题，所以不会上锁。更新数据的时候去判断一下，在此期间是否有人修改过这个数据。
• 获取Version
• 更新时比较Version

Redis监视 — Watch

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(TX)> decrby money 20
QUEUED
127.0.0.1:6379(TX)> incrby out 20
QUEUED
127.0.0.1:6379(TX)> exec #事务正常结束，数据期间没有发生变动，这个时候就执行成功
1) (integer) 80
2) (integer) 20

多线程修改值，使用watch可以当作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
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> decrby money 20
QUEUED
127.0.0.1:6379(TX)> incrby out 20 
QUEUED
127.0.0.1:6379(TX)> exec #执行时突然线程二执行了修改操作，整个事务都会执行失败
(nil)

线程二

127.0.0.1:6379> incrby money 1000
(integer) 1100

如果事务执行失败，获取最新的值就好

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(TX)> decrby money 100
QUEUED
127.0.0.1:6379(TX)> incrby out 100
QUEUED
127.0.0.1:6379(TX)> exec #监视值未发生变法，执行成功
1) (integer) 1000
2) (integer) 100

三、下一篇

Redis学习(四)之Springboot整合Redis