Redis事务与锁机制

Redis事务与锁机制

1. Redis的事务定义

Redis事务是一个单独的隔离操作：事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。

注意： Redis的事务与MySQL的事务不同，Redis事务的主要作用就是串联多个命令防止别的命令插队。

2. 事务相关命令 (Multi, Exec, Discard)

Multi, Exec, Discard三个命令进行配合使用实现Redis的事务操作。

从输入Multi命令开始，输入的命令都会依次进入命令队列中，但不会执行，直到输入Exec后，Redis会将之前的命令队列中的命令依次执行。组队的过程中可以通过discard来放弃组队。

使用举例：

• 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)> set k2 v2
QUEUED
127.0.0.1:6379(TX)> lpush list1 java php c++
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) OK
3) (integer) 3
127.0.0.1:6379> keys *
1) "list1"
2) "k1"
3) "k2"
127.0.0.1:6379> 

• multi开启事务，Discard取消：

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set 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)> discard
OK
127.0.0.1:6379> keys *
(empty array)
127.0.0.1:6379> 

3. 事务的错误处理

发生错误的时机有两种情况：

• 组队阶段出错
• 执行阶段出错

组队阶段出错：

组队中某个命令出现了报告错误，执行时 整个队列的任务都会被取消 。

执行阶段出错：

执行阶段某个命令报出了错误，则 只有报错的命令不会被执行 ，而其他的命令都会执行，不会回滚。

4. Redis事务的三特性

• 单独的隔离操作
  • 事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断。
• 没有隔离级别的概念
  • 队列中的命令没有提交之前都不会实际被执行，因为事务提交前任何指令都不会被实际执行。
• 不保证原子性
  • 事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚。

5. 事务冲突问题

5.1 问题描述

假设一个账户上有10000元：

• 一个请求想要扣除8000元
• 一个请求想要扣除3000元
• 一个请求想要扣除1000元

如果三个请求进来并发的执行会产生一定问题，最极端的如下图这种情况：

解决方式使用加锁的方式：

• 乐观锁
• 悲观锁

5.2 悲观锁

悲观锁(Pessimistic Lock) 是基于一种悲观的态度类来防止一切数据冲突，总是假设出现最坏的情况，在操作之前先上锁。例如：每次去获取数据的时候都认为别人会修改，所以每次在获取数据的时候都会上锁，这样别人想获取这个数据就会阻塞直到拿到锁。

传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。在Java中，synchronized从偏向锁、轻量级锁到重量级锁，全是悲观锁。JDK提供的Lock实现类全是悲观锁。

5.3 乐观锁

乐观锁(Optimistic Lock) ， 顾名思义，就是很乐观，每次去拿数据的时候都认为别人不会修改，所以不会上锁，但是在更新的时候会判断一下在此期间别人有没有去更新这个数据，可以使用版本号等机制。乐观锁适用于多读的应用类型，这样可以提高吞吐量 。Redis就是利用这种check-and-set机制实现事务的。

5.4 WATCH 命令

在执行multi之前，先执行WATCH key [key ...],可以监视一个(或多个) key ，如果在事务执行之前这个(或这些) key被其他命令所改动，那么事务将被打断。

5.5 UNWATCH 命令

取消 WATCH 命令对所有 key 的监视。

如果在执行 WATCH 命令之后，EXEC 命令或DISCARD 命令先被执行了的话，那么就不需要再执行UNWATCH 了。

**补充: ** 通过WATCH命令可以实现乐观锁的功能，无法实现悲观锁操作。但是可以通过编写LUA脚本，让Redis加载脚本，从而实现悲观锁。