Redis——Redis_事务_锁机制_秒杀

Redis _事务_锁机制_秒杀

1、Redis 事务定义

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

送来的命令请求所打断。

Redis 事务的主要作用就是串联多个命令防止别的命令插队。

---

2、Multi、Exec、discard

从输入 Multi 命令开始，输入的命令都会依次进入命令队列中，但不会执行，直到输入 Exec 后，Redis 会将之前的命令队列中的

命令依次执行。

组队的过程中可以通过 discard 来放弃组队。

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set key1 value1
QUEUED
127.0.0.1:6379(TX)> set key2 value2
QUEUED
127.0.0.1:6379(TX)> exec
1) OK
2) OK

组队成功，提交成功。

127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> set a1 v1
QUEUED
127.0.0.1:6379(TX)> set a2 v2
QUEUED
127.0.0.1:6379(TX)> discard
OK

---

3、事务的错误处理

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

   

   127.0.0.1:6379> multi
   OK
   127.0.0.1:6379(TX)> set b1 v1
   QUEUED
   127.0.0.1:6379(TX)> set b2 v2
   QUEUED
   127.0.0.1:6379(TX)> set b3
   (error) ERR wrong number of arguments for 'set' command
   127.0.0.1:6379(TX)> exec
   (error) EXECABORT Transaction discarded because of previous errors.
   

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

   

   127.0.0.1:6379> multi
   OK
   127.0.0.1:6379(TX)> set c1 v1
   QUEUED
   127.0.0.1:6379(TX)> incr c1
   QUEUED
   127.0.0.1:6379(TX)> set c2 v2
   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、事务冲突——悲观锁和乐观锁

4.1、为什么要做成事务

想想一个场景：有很多人有你的账户，同时去参加双十一抢购

事务冲突的问题：

一个请求想给金额减 8000

一个请求想给金额减 5000

一个请求想给金额减 1000

4.2、悲观锁

悲观锁（Pessimistic Lock）, 顾名思义，就是很悲观，每次去拿数据的时候都认为别人会修改，所以每次在拿数据的时候都会上锁，这样别人想拿这个数据就会 block 直到它拿到锁。传统的关系型数据库里边就用到了很多这种锁机制，比如行锁，表锁等，读锁，写锁等，都是在做操作之前先上锁。

4.3、乐观锁

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

4.4、演示乐观锁和事务特性

4.4.1、WATCH key [key …]

在执行 multi 之前，先执行 watch key1 [key2]，可以监视一个（或多个）key ，如果在事务执行之前这个（或这些) key 被其他

命令所改动，那么事务将被打断。

两个终端连接 redis：

第一个：

127.0.0.1:6379> set balance 100
OK

127.0.0.1:6379> watch balance
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> incrby balance 10
QUEUED

第二个：

127.0.0.1:6379> watch balance
OK
127.0.0.1:6379> multi
OK
127.0.0.1:6379(TX)> incrby balance 20
QUEUED

第一个先执行：

127.0.0.1:6379(TX)> exec
1) (integer) 110

当第二个去执行时：

127.0.0.1:6379(TX)> exec
(nil)

4.4.2、UNWATCH

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

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

http://doc.redisfans.com/transaction/exec.html

---

5、Redis 事务三特性

1. 单独的隔离操作

   事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中，不会被其他客户端发送来的命令请求所打断

2. 没有隔离级别的概念

   队列中的命令没有提交之前都不会实际被执行，因为事务提交前任何指令都不会被实际执行

3. 不保证原子性

   事务中如果有一条命令执行失败，其后的命令仍然会被执行，没有回滚