【redis】redis事务

目录

  • Redis事务
    • 四个命令
    • redis事务特性
    • redis事务执行原理
  • Redis 事务的使用
    • 基本使用
    • watch 监控
      • watch 实现原理
      • 补充

Redis事务

  • Redis事务是一种将多个命令打包成一个单独操作的机制,它保证了在执行这些命令期间,其他命令无法插入。

四个命令

Redis事务通过MULTI、EXEC、WATCH和UNWATCH四个命令来实现。

  1. MULTI命令:将Redis进入事务模式,之后所有的命令都会被认为是事务中的命令。在执行MULTI命令后,Redis会返回一个QUEUED响应。

  2. EXEC命令:用于执行事务中的所有命令。在执行EXEC命令之前,Redis会按顺序记录所有事务中的命令,并在执行期间暂停处理其他命令。

  3. WATCH命令:用于监视一个或多个键,当这些键被修改时,事务会被放弃而不执行。WATCH命令可以用来实现乐观锁的机制。

  4. UNWATCH命令:用于解除对键的监视。

事务中的每个命令的执行结果会被返回,但只有在执行EXEC命令后,Redis才会真正执行这些命令。如果在事务执行期间出现错误,Redis不会回滚已经执行的命令,而是继续执行剩余的命令。

redis事务特性

  • 原子性:在事务执行期间,所有的命令要么全部执行成功,要么全部不执行。
  • Redis保证了事务中的命令的原子性,即事务的执行是不可中断的。

与MySQL的事务特性对比来说

  1. 不具备一致性:redis 没有约束和回滚,事务执行一旦出错,就可能导致不一致的情况.
  2. 不具备持久性:Redis 本身就是内存数据库,数据是存储在内存中的. 虽然 Redis 也有持久化机制,但是这里的持久化机制和事务没有什么直接关系.
  3. 不具备隔离性:Redis 是一个单线程模型的服务器程序,所有的请求 / 事务,都是 “串行” 执行的.

redis事务执行原理

Redis事务的执行原理可以简要概括为以下几个步骤:

  1. 事务开启:使用MULTI命令开启一个事务。在事务开始之后,客户端发送的命令都会被暂时存储在一个事务队列中,而不是立即执行。

  2. 命令入队:在事务开启后,客户端可以发送多个命令,这些命令会被依次存储在事务队列中,而不会立即执行。

  3. 事务执行:使用EXEC命令来执行事务中的所有命令。在执行EXEC命令之前,Redis会对事务队列中的所有命令进行一致性检查,确保所有的命令可以顺序执行,并且没有冲突。

  4. 命令执行:Redis按照顺序执行事务队列中的所有命令。执行过程中,Redis会根据具体的命令类型进行相应的操作,比如读取、修改、删除等。

  5. 事务结果返回:执行完所有的命令后,Redis会将事务的执行结果以数组的形式返回给客户端。数组中的每个元素对应一个命令的返回结果。

需要注意的是,在事务执行过程中,如果某个命令执行失败,Redis不会回滚已经执行的命令,而是继续执行剩余的命令。执行结果会以特殊的标识表示失败的命令。

另外,Redis还提供了WATCH命令来实现乐观锁机制。客户端可以在事务开始之前使用WATCH命令监视一个或多个键,如果在事务执行期间,这些键被其他客户端修改,事务就会被中断。这可以用来保证事务的原子性和一致性。

Redis 事务的使用

基本使用

multi        开启事务(读作 “猫体”)
exec         执行事务
discard      放弃当前事务
watch        监控某个 key 是否在事务执行之前发生变化(必须搭配事务使用)
unwatch      放弃监控
  • 此时开启另一个客户端,查看这几个 key ,会发现这几个 key 并没有被赋值(说明此时还没有执行事务).,如下
    在这里插入图片描述在这里插入图片描述
  • 如果放弃事务,就相当于什么也没有发生
    在这里插入图片描述
  • 如果使用 exec,就会按顺序执行事务
    在这里插入图片描述在这里插入图片描述

watch 监控

  • watch 就是用来监控某个 key 是否在事务执行之前,发生改变,但必须搭配事务来使用.
  • 如下,用 watch 监控 key1,开启事务,并在执行事务之前,另一个客户端对 key1 进行修改
    在这里插入图片描述在这里插入图片描述
  • 执行事务后,发现 key 在外部由修改,会返回 nil ,表示事务什么都不会执行,如下
    在这里插入图片描述

watch 实现原理

在Redis中,watch命令用于在事务中监视一个或多个键,以确保在事务执行期间这些键没有被其他客户端修改。如果在执行事务期间有任何被监视的键发生了变化,事务将被中断并返回错误。

watch命令的实现原理如下:

  1. 客户端发送watch命令给Redis服务器,指定要监视的键。
  2. Redis服务器接收到watch命令后,将客户端加入到监视列表中,以便在键被修改时通知客户端。
  3. 当有其他客户端修改了被监视的键时,Redis服务器会通知所有监视该键的客户端。
  4. 当客户端执行事务时,Redis会检查被监视的键是否发生了变化。如果发生了变化,Redis将中断事务并返回错误。
  5. 如果被监视的键没有发生变化,事务将继续执行。

总结起来,watch命令的实现原理是在Redis服务器中维护一个监视列表,并在事务执行之前对被监视的键进行监视。当键发生变化时,通知事务中的客户端并中断事务的执行。这样可以确保在事务执行期间被监视的键没有被其他客户端修改。

补充

  • watch 的实现,类似于一个 “乐观锁”。而乐观锁,不是某个具体的锁,而是指某一类锁的特性:加锁之前,就会有一个心里预期,预期接下来锁冲突的概论比较低
  • redis 的 watch 就相当于基于 “版本号” 这样的机制,实现 “乐观锁”。
  • 当执行 watch key 的时候,就会给 key 安排一个 版本号,版本号可以理解成一个“整数”,每次在修改 key 的时候,版本号都会 “变大” (这个变大是没有规律的,不是每次都增长1),然后在执行 事务 的时候,就会做出判定,判断当前这个 key 的版本号和最初 watch 的时候,记录的版本号是否一致
    • 如果一致,说明当前 key 在事务开启到最终执行这个过程中,没有别的客户端修改,才能真正的执行事务.
    • 如果不一致,就说明 key 在其他客户端修改过了,因此就直接丢弃事务中的所有操作,最后返回 nil.

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/348687.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

基于Java+SpringBoot制作一个软考助手答题小程序

基于Java+SpringBoot制作一个软考小助手考试答题小程序。其中系统前端功能包括注册登录、公告通知、考试答题、视频课程、考试记录、题库、题目评论、错题统计、我的收藏和用户信息管理模块;系统后台功能包括用户管理、题库管理、答题管理、学习视频管理以及系统管理模块。 摘…

VRRP基础配置(华为)

#交换设备 VRRP基础配置 VRRP (Virtual Router Redundancy Protocol) 全称是虚拟路由规元余协议,它是一种容错协议。该协议通过把几台路由设备联合组成一台虚拟的路由设备,该虚拟路由器在本地局域网拥有唯一的一个虚拟 ID 和虚拟 IP 地址。实际上&…

线程池前置知识

并发和并行 并发是指在单核CPU上,多个线程占用不同的CPU时间片。线程在物理上还是串行执行的,但是由于每个线程占用的CPU时间片非常短(比如10ms),看起来就像是多个线程都在共同执行一样,这样的场景称作并发…

Spring对事务的支持

一、事务 事务防止进行操作时,数据库里面的数据丢失。 二、Spring事务注解方式 注解方式:在配置文件中配置事务管理器,利用注解,管理事务。 实例 银行转账:一个账户向另一个账户转账。 1)先在数据库my…

UE4/UE5像素流送云推流|程序不稳定、弱网画面糊怎么办?

看到不少反馈说像素流送技术在实际的应用中,存在一些问题,比如程序崩溃、画面模糊等。本文将探讨这些问题,并介绍点量云流软件提供了哪些有效的解决方案。 常见的像素流送技术问题 画面质量问题: 当快速操作UE模型或初次启动像素…

LVS – NAT 模式集群构建

目录 1 环境准备 1.1 准备四台服务器 1.2 IP与网关均按照下图配置 1.3 网卡配置 1.4 real server 安装 web服务 1.5 安装ipvsadm 管理工具 2 使用ipvsadm管理LVS 2.1 创建集群指定使用的算法 2.2 添加真实服务器指定工作原理 2.3 查看是否正确创建集群 2.4 开启FORWARD路由转发…

专项测试——web测试

1、web测试的总体策略 2、web测试的范围 功能性能界面安全性兼容性DB文档 2.1 功能测试 功能测试主要从链接、表单、cookie、设计语言、数据库、文件上传等方面进行。 2.1.1 链接 2.1.2 表单 2.1.3 cookie cookie是什么? 服务器发送到用户浏览器并保存在用户本…

Lecture2——最优化问题建模

一,建模 1,重要性 实际上,我们并没有得到一个数学公式——通常问题是由某个领域的专家口头描述的。能够将问题转换成数学公式非常重要。建模并不是一件容易的事:有时,我们不仅想找到一个公式,还想找到一个…

Windows搭建nacos集群

Nacos是阿里巴巴的产品,现在是SpringCloud中的一个组件。相比Eureka功能更加丰富,在国内受欢迎程度较高。 下载地址:Tags alibaba/nacos GitHub 链接:百度网盘 请输入提取码 提取码:8888 解压文件夹 目录说明&am…

Vue3中的常见组件通信之`$refs`、`$parent`

Vue3中的常见组件通信之$refs、$parent 概述 ​ 在vue3中常见的组件通信有props、mitt、v-model、 r e f s 、 refs、 refs、parent、provide、inject、pinia、slot等。不同的组件关系用不同的传递方式。常见的撘配形式如下表所示。 组件关系传递方式父传子1. props2. v-mod…

webp2jpg网页在线图片格式转换源码

源码介绍 webp2jpg-免费在线图片格式转化器, 可将jpeg、jpg、png、gif、 webp、svg、ico、bmp文件转化为jpeg、png、webp、webp动画、gif文件。 无需上传文件,本地即可完成转换! 源码特点: 无需上传,使用浏览器自身进行转换批量转换输出we…

set与map的详细封装步骤

目录 一.set与map在STL中的源码 二.修改红黑树 1.插入与查找时的比较方式 2.插入时的返回值 3.补充成员函数 三.封装set与map 1.迭代器的实现 2.函数接口 3.map中的operator[] 四.完整代码 set.h map.h RBTree.h 一.set与map在STL中的源码 想要简单实现set与map 需…

【x264】变换量化模块的简单分析

【x264】变换量化模块的简单分析 1. 变换量化1.1 变换(transform)1.2 量化(quant) 2. 编码入口(x264_macroblock_encode)2.1 内部编码(macroblock_encode_internal)2.1.1 SKIP模式2.…

多源最短路径算法 -- 弗洛伊德(Floyd)算法

1. 简介 Floyd算法,全名为Floyd-Warshall算法,亦称弗洛伊德算法或佛洛依德算法,是一种用于寻找给定加权图中所有顶点对之间的最短路径的算法。这种算法以1978年图灵奖获得者、斯坦福大学计算机科学系教授罗伯特弗洛伊德的名字命名。 2. 核心思…

从报名到领证:软考初级【信息系统运行管理员】报名考试全攻略

本文共计9991字,预计阅读33分钟。包括七个篇章:报名、准考证打印、备考、考试、成绩查询、证书领取及常见问题。 一、报名篇 报名条件要求: 1.凡遵守中华人民共和国宪法和各项法律,恪守职业道德,具有一定计算机技术…

centos7.9部署k8s的几种方式

文章目录 一、常见的k8s部署方式1、使用kubeadm工具部署2、基于二进制文件的部署方式3、云服务提供商的托管 Kubernetes 服务4、使用容器镜像部署或自动化部署工具 二、使用kubeadm工具部署1、硬件准备(虚拟主机)2、环境准备2.1、所有机器关闭防火墙2.2、…

sizeof和strlen

1.sizeof和strlen的对比 1.1sizeof sizeof是计算变量所占内存空间大小的,单位是:字节 如果操作数是类型的话,计算的是使用类型创建的变量所占内存空间的大小。 sizeof只关注占用内存空间的大小,不在乎内存中存放的是什么数据 …

vuInhub靶场实战系列--Kioptrix Level #4

免责声明 本文档仅供学习和研究使用,请勿使用文中的技术源码用于非法用途,任何人造成的任何负面影响,与本人无关。 目录 免责声明前言一、环境配置1.1 靶场信息1.2 靶场配置 二、信息收集2.1 主机发现2.1.1 netdiscover2.1.2 arp-scan主机扫描 2.2 端口扫描2.3 指纹识别2.4 目…

CBoard开源数据可视化工具

CBoard开源数据可视化工具 文章目录 CBoard开源数据可视化工具介绍资源列表基础环境一、安装JDK二、安装Maven2.1、安装Maven2.2、配置Maven 三、安装Tomcat8四、安装MySQL5版本4.1、安装相关依赖4.2、二进制安装4.3、设定配置文件4.4、配置systemcatl方式启动4.5、访问MySQL数…

韩国版AlphaFold?深度学习模型AlphaPPIMd:用于蛋白质-蛋白质复合物构象集合探索

在生命的舞台上,蛋白质扮演着不可或缺的角色。它们是生物体中最为活跃的分子,参与细胞的构建、修复、能量转换、信号传递以及无数关键的生物学功能。同时,蛋白质的结构与其功能密切相关,而它们的功能又通过与蛋白质、多肽、核苷酸…