• redis的事务、锁机制、秒杀


    redis的事务定义:

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

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

    为什么要有事务:

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

    例子:

    一个请求想给金额减8000

    一个请求想给金额减5000

    一个请求想给金额减1000

     

    Multi、Exec、discard

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

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

     

     组队成功,提交成功

    组队阶段报错,提交失败 (组队的时候有报错的,就不能提交)

    组队成功,提交有成功有失败情况 (组队的时候没有报错,执行时发现有错误,只是错误语句执行失败)

    悲观锁和乐观锁

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

     

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

     

    watch key ... 和unwatch

    假如某个(或某些) key 正处于 WATCH 命令的监视之下,且事务块中有和这个(或这些) key 相关的命令,那么 EXEC 命令只在这个(或这些) key 没有被其他命令所改动的情况下执行并生效,否则该事务被打断(abort)。

    1. 正常情况:监视 key ,且事务成功执行
    2. redis> WATCH lock lock_times
    3. OK
    4. redis> MULTI
    5. OK
    6. redis> SET lock "huangz"
    7. QUEUED
    8. redis> INCR lock_times
    9. QUEUED
    10. redis> EXEC
    11. 1) OK
    12. 2) (integer) 1
    1. 对比:# 监视 key ,且事务被打断
    2. redis> WATCH lock lock_times
    3. OK
    4. redis> MULTI
    5. OK
    6. redis> SET lock "joe" # 就在这时,另一个客户端修改了 lock_times 的值
    7. QUEUED
    8. redis> INCR lock_times
    9. QUEUED
    10. redis> EXEC # 因为 lock_times 被修改, joe 的事务执行失败
    11. (nil)

    unwatch

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

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

    Redis事务三大特性:

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

  • 相关阅读:
    【OpenCV】图像上绘制文字cv2.putText()函数用法,添加倾斜透明水印
    社区系统项目复盘-5
    导师问我打开句柄fd和没有打开的差异在哪里?
    codeblocks提示没有编译器,安装MinGW及运行heloword的方法
    5.6 XSS跨站脚本攻击
    React低代码平台实战:构建高效、灵活的应用新范式
    爬虫 | 基础模块了解
    「Java分享客栈」随时用随时翻:微服务链路追踪之zipkin搭建
    Nginx重定向
    com.sun.tools.javac.code.TypeTags解决办法
  • 原文地址:https://blog.csdn.net/m0_61454947/article/details/125902036