Redis事务锁机制_秒杀

5/20/2019 redis笔记

# Redis事务锁机制_秒杀

# Redis 的事务定义

image-20211122114946935

Redis 事务是一个单独的隔离操作:事务中的所有命令都会序列化、按顺序地执行。事务在执行的过程中,不会被其他客户端发送来的命令请求所打断。 Redis 事务的主要作用就是串联多个命令防止别的命令插队。

# Multi、Exec、discard

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

image-20211122115005232

案例:

image-20211122115011147

组队成功,提交成功

image-20211122115054130

组队阶段报错,提交失败

image-20211122115103538

组队成功,提交有成功有失败情况

# 事务的错误处理

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

image-20211122115128904

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

image-20211122115136263

# 为什么要做成事务

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

# 事务冲突的问题

# 例子

一个请求想给金额减 8000 一个请求想给金额减 5000 一个请求想给金额减 1000

image-20211122115203692

# 悲观锁

image-20211122115235653

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

# 乐观锁

image-20211122115300224

乐观锁(Optimistic Lock), 顾名思义,就是很乐观,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,可以使用版本号等机制。乐观锁适用于多读的应用类型,这样可以提高吞吐量。Redis 就是利用这种 check-and-set 机制实现事务的。 10.5.4. WATCH key [key ...] 在执行 multi 之前,先执行 watch key1 [key2],可以监视一个(或多个) key ,如果在事务执行之前这个(或这些) key 被其他命令所改动,那么事务将被打断。

# unwatch

取消 WATCH 命令对所有 key 的监视。 如果在执行 WATCH 命令之后,EXEC 命令或 DISCARD 命令先被执行了的话,那么就不需要再执行 UNWATCH 了。 http://doc.redisfans.com/transaction/exec.html

image-20211122123434064

# Redis 事务三特性

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