Redis事务操作

Redis事务操作

Redis事务本质：

​ 一组命令的集合 , 一个事务中的所有命令都会被序列化 , 在事务执行过程中 , 会按照顺序执行

• 一次性 : 事务之间的事情，会一次性执行，而不是立刻执行
• 顺序性 : 会按照顺序进行执行
• 排他性 : 事务过程中，不允许被其他事情影响

Redis事务没有隔离级别的概念

Redis单条命令保存原子性 , 但事务不保证原子性

redis事务 :

• 开启事务( multi )
• 命令入队( 写命令 )
• 执行事务( exec )

所以事务中的命令在加入时都没有被执行，直到提交时才会开始执行( 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"

取消事务 (discard)

如果你在执行之前取消事务，那么你之前的操作都会取消，存入的元素也会当作没存

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)

错误示例

1.一次只能添加一个值

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)

2.代码语法错误

代码语法错误 ( 编译时异常 ) , 所有的命令都不执行

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)

3.代码逻辑错误

代码逻辑错误 ( 运行时异常 ) , 其他命令可以正常执行

所以不保证事务原子性

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"

监控watch

1.乐观锁、悲观锁

悲观锁:

• 很悲观 , 认为什么时候都会出现问题 , 所以无论做什么都会加锁

乐观锁：

• 很乐观 , 认为什么时候都不会出现问题 , 所以不会上锁

可以采用的解决方法：

• 更新数据的时候去判断一下 , 在此期间是否有人修改过这个数据
• 获取version
• 更新的时候比较version

在Redis中可以采用：

使用watch key监控指定数据 , 相当于乐观锁加锁

2.正常执行

以下用操纵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