当前位置：首页 > news >正文

Redis 事务

news 来源：原创 2025/7/22 11:44:02

事务介绍

Redis 事务和 MySQL 事务在概念上类似的

把一些列的操作绑定成一组，让这一组能够批量执行

MySQL 事务

原子性：把多个操作打包成一个整体

一致性：事务执行前后数据合理

持久性：事务做出的操作都会修改硬盘

隔离性：事务并发执行

Redis 事务

1）弱化的原子性：Redis 没有“回滚机制”

只能做到“批量执行”，不能做到“一个错误就回到初始状态”

2）不保证一致性：不涉及“约束”，也没有“回滚”

MySQL 的一致性体现在运行时事务前后，结果都是合理有效的，不会出现中间非法状态

3）不需要隔离性：没有隔离级别

成功。 Red Redis 单线程处理请求

4）不需要持久性：保存在内存中

是否开启持久化，是 redis-server 的事情，与事务无关

Redis 事务的主要意义是为了”打包“，避免其他客户端的命令，插队到中间

Redis事务，本质上是在客户端上搞了一个“事务队列”，每次客户端在事务中执行一个操作，都会先把命令发给服务器，放到“事务队列”中（不会立即执行）

在收到 exec 命令时，才真正执行队列中的操作

Redis 事务设计简单的原因：

MySQL 事务在空间上，花费更多的空间存储数据；在时间上，会有更大的开销

场景引入

以商品超卖为例：

该操作并非原子性

多线程，是通过加锁的方式来避免插队

Redis直接使用事务即可（如果 Redis 按照集群模式部署，不支持事务）

Redis 原生命令中没有条件判断，但是 Redis原生命令支持 lua 脚本

通过 lua 脚本可以实现上述的逻辑判定（原子性），和事务一样也是打包批量执行的

lua 脚本的实现方式是 Redis 事物的进阶版本

Redis 中的 lua 脚本，也能起到类似事务的效果

事务能实现的任何效果，都可以使用 lua 脚本替代（原子性）

事务操作

1）开启事务 MULYI

在服务器的事务队列上，保存了上述请求

此时再开一个客户端，尝试查询上述设置的 key 的数据，是没有结果的

2）执行事务 EXEC

队列中有多少操作，返回多少个“OK”

3）放弃当前事务 DISCARD

开启事务，给服务器发送若干命令后，此时服务器重启 ——>

此时的效果类似于 discard

4) 监视 WATCH

在上述场景中，可以使用 watch 命令来监视这个 key

unwatch 取消对 key 的监控

查看当前 key 在事务的 multi 和 exec 之间是否被修改（即 set key 后，是否被其他客户端修改）

exec 在执行上述事务的命令时，发现 key 在外部有修改，于是真正执行 set key 22 命令没有执行

watch 原理

watch 的实现，类似于是一个“乐观锁”

乐观锁：加锁前，有一个心理预期，预期接下来锁冲突的概率比较低

悲观锁：加锁前，有一个心理预期，预期接下来锁冲突的概率比较高

C++ Linux中涉及到的锁 mutex / std::mutex 都是悲观锁

Java synchronized 可以在乐观锁 / 悲观锁之间自适应

当执行 watch key 时，就会给这个 key 安排一个版本号（可以理解成一个整数）

每次修改 key，版本号都会变大

watch 必须搭配事务使用，并且必须是在 multi 之前实现

watch 本质上是给 exec 加了个判定条件

在执行事务中命令的时候，会在 exec 处做出判断

判断当前这个 key 的版本号，和最初的 watch 时记录的版本号是否一致

如果一致，说明 key 在当前事务开启到最终执行的过程中，没有被其他的客户端修改，进行设置

如果不同，说明 key 在其他客户端中改过了，此处直接丢弃事务中的操作，exec 返回 nil

上述过程，在 CAS 里的 ABA问题中也涉及到了，思想及实现上都非常相似

Redis 事务

事务介绍 Redis 事务和 MySQL 事务在概念上类似的把一些列的操作绑定成一组，让这一组能够批量执行 MySQL 事务原子性：把多个操作打包成一个整体一致性：事务执行前后数据合理持久性：事务做出的操作都会修改硬盘隔离性&#…...

编程日记 2025/7/22 11:44:02

JavaScript day5

立即执行函数 <script>(function(){ console.log//函数不需调用，立马执行 })() </script> //另外写法 <script> (function(){}()) </script> 常见的内置对象 Math console.dir()——打印对象的使用Math中的属性——console.log(Math.…...

编程日记 2025/7/22 11:13:08

辛格迪客户案例 | 浙江高跖医药委托生产质量管理协同(OWL MAH)项目

一、案例概述浙江高跖医药科技股份有限公司是一家集“研、产、销”为一体的专业化药品持证企业。高跖医药自成立之初就建立并运行着一套相对完善的质量管理体系，涵盖了药品的研发、生产监管及销售。高跖医药于2022年选择实施了辛格迪的“委托生产质量管理协同解决…...

编程日记 2025/7/22 11:20:46

科学养生指南：解锁健康生活新方式

在快节奏的现代生活中，健康养生已成为人们关注的焦点。科学合理的养生方式，能帮助我们增强体质、预防疾病，享受更优质的生活。饮食是健康养生的基石。遵循 “均衡饮食” 原则，每日饮食需包含谷类、蔬菜水果、优质蛋白质和健康…...

编程日记 2025/7/22 11:24:24

FreeRTos学习记录--2.内存管理

后续的章节涉及这些内核对象：task、queue、semaphores和event group等。为了让FreeRTOS更容易使用，这些内核对象一般都是动态分配：用到时分配，不使用时释放。使用内存的动态管理功能，简化了程序设计：不再需…...

编程日记 2025/7/22 11:26:14

C++ 操作符重载Operator

C可以重载大多数操作符，如算术运算符号，-号。位操作符<<,>> 下标符号[]等都可以重载。重载的意思，是让这些符号，按你定义的行为来执行代码，但是这种自定义，是有限制的，必须有一…...

编程日记 2025/7/22 11:14:24

SBTI科学碳目标认证有什么要求？SBTI认证的好处？

SBTi（科学碳目标倡议）认证要求与好处 SBTi（Science Based Targets initiative，科学碳目标倡议）是由全球环境信息研究中心（CDP）、联合国全球契约（UNGC）、世界资源研究所&…...

编程日记 2025/7/22 11:20:46

RS232转Profibus DP网关：技术革新！

RS232转Profibus DP网关：技术革新！ 在工业自动化领域，通讯协议的多样性为系统设计提供了灵活性，但同时也带来了不同设备间通信的挑战。其中，RS232和Profibus DP是两种广泛应用的通讯协议。RS232，作为一种串…...

编程日记 2025/7/15 1:37:33

XAML基本语法与例子

XAML (eXtensible Application Markup Language) 是一种基于 XML 的声明性语言，主要用于 WPF、UWP、Xamarin.Forms 和 MAUI 等框架中构建用户界面。基本语法结构 1. 根元素和命名空间声明 <Page x:Class"MyNamespace.MyPage"xmlns"http://sch…...

编程日记 2025/7/22 11:05:21

map和set封装

创作中心-CSDNhttps://mpbeta.csdn.net/mp_blog/creation/editor/147238663 目录创作中心-CSDNhttps://mpbeta.csdn.net/mp_blog/creation/editor/147238663 一、封装原理二、改造红黑树三、实现迭代器四、测试五、小tip 一、封装原理上一篇文章我们完成了红黑…...

编程日记 2025/7/21 19:17:11

Java第六节：创建线程的其它三种方式（附带源代码）

作者往期文章 Java第五节：继承thread类创建线程-CSDN博客一、实现Runnable接口创建一个Thread02类实现Runnable接口二、使用匿名内部类在Main函数中匿名内部类创建线程三、使用Lambda表达式在Main函数中利用Lambda表达式创建一个线程四、源代码此项目源代…...

编程日记 2025/7/22 11:15:35

041-代码味道-大泥团模块

代码味道-大泥团模块代码味道-Blob Module深度解析与C重构实践一、Blob Module定义与特征 Blob Module（大泥团模块）是代码坏味道中的一种典型表现，指某个类或模块承担了过多不相关的职责，导致代码结构臃肿、可维护性差。其核心…...

编程日记 2025/7/22 11:42:20

强化学习系统学习路径与实践方法

一、学习路径规划 1. 基础巩固阶段（1-2个月） 必读教材： 《Reinforcement Learning: An Introduction》(Sutton & Barto) 第1-6章重点掌握：马尔可夫决策过程（MDP）、贝尔曼…...

编程日记 2025/7/21 17:22:04

CSS字体

CSS字体 CSS 中的字体样式设置是网页设计的重要部分，以下是一些关键知识点和常见用法： 1.font-family ： 用于设置元素的字体系列。可以指定一个或多个字体名称作为备选项，以确保如果某个字体不可用，可以使用下一个备选…...

编程日记 2025/7/22 11:09:02

JDBC:数据库访问的原始接口

目录一、JDBC 基础入门：数据库访问的原始接口 JDBC 是什么？它在 Java 中扮演什么角色？ JDBC 工作原理图解（驱动 -> 连接 -> 执行 -> 关闭） 常见 JDBC 驱动类型及差异第一个 JDBC 示例程序：连…...

编程日记 2025/7/22 11:07:38

使用 Electron 打包可执行文件和资源：完整实战教程

一.项目结构项目结构建议如下： my-electron-app/ ├── example.exe ← 需打包的外部程序 ├── config.json ← 配置文件 ├── native-lib/ ← 自定义库或 DLL │ └── yourlib.dll ├── main.js …...

编程日记 2025/7/17 11:44:17

【网络安全】CI/CD 流水线漏洞

【网络安全】CI/CD 流水线漏洞 1. 保护您的软件管道：CI/CD 安全2. 什么是 CI/CD 以及它为何重要？2.1 持续集成（CI）：构建坚实的基础2.2 持续交付（CD）：准备发布2.3 持续部署&#xff0…...

编程日记 2025/6/29 11:12:11

计算机是如何工作的（上）

对于学习JavaEE初阶为什么要知道计算机是如何工作的，是因为在未来我们写代码的时候，会出现一些bug，而在代码层面是看不出来的，所以我们需要了解一些关于计算机内部是如何工作的，从而提高代码的健壮度。计算机的组成&…...

编程日记 2025/7/18 20:18:45

【SF顺丰】顺丰开放平台API对接（Java对接篇）

对接前置篇： 【SF顺丰】顺丰开放平台API对接（注册、API测试篇）_顺丰api接口对接指南-CSDN博客 1.实现效果展示 2.SF顺丰开放平台，JDK资源下载。下载地址：顺丰开放平台 3.将下载的JDK放入项目中。 4.将JDK资源引入p…...

编程日记 2025/7/21 7:54:43

【KWDB创作者计划】_针对KWDB时序数据库（多副本集群环境）进行压力测试

【KWDB创作者计划】_针对KWDB时序数据库（多副本集群环境）进行压力测试 1. 概述2. 压测环境部署3. 生成测试数据4. 写入性能测试5. 查询性能测试7. 总结 1. 概述 KWDB是一款主要应用于工业物联网、数字能源、车联网、智慧产业等领域的时序数据库&#xff…...

编程日记 2025/7/16 16:33:00

24.中医知识问答删除历史对话功能前端代码实现

前端实现对话删除功能的完整指南功能概述前篇文章介绍了删除历史对话的后端开发，本篇将介绍如何在前端实现一个完整的对话删除功能，包括用户确认、API调用、状态管理和错误处理等关键环节。功能拆解 1. 用户确认机制 javascript const confirmDe…...

编程日记 2025/6/29 11:34:07

在Cursor编辑器上部署MCP（Minecraft Coder Pack）完整指南

MCP（Minecraft Coder Pack）是用于反编译和修改Minecraft Java版代码的工具包。本教程将详细介绍如何在Cursor编辑器中配置和运行MCP，以便高效地进行Minecraft模组开发或代码研究。 1. 准备工作 1.1 所需工具 Cursor编辑器（基于VS…...

编程日记 2025/7/7 22:59:53

STM32——相关软件安装

本文是根据江协科技提供的教学视频所写，旨在便于日后复习，同时供学习嵌入式的朋友们参考，文中涉及到的所有资料也均来源于江协科技（资料下载）。 Keil5 MDK安装 1.安装Keil5 MDK2.安装器件支持包方法一：离线…...

编程日记 2025/6/29 11:46:07

蓝牙WiFi模组rtl8821cs在Android14调

环境 SDK: AOSP14 主控：RK3576 蓝牙：RTL8821CS 先记一下官网文档关于蓝牙的资料蓝牙 | Android Open Source Project 还在调，先看看啥情况，点赞多或者想起来记录再回来 TODO...

编程日记 2025/6/29 11:36:10

MCP实践第一步--磕磕碰碰搭环境

由于deepseek-r1不支持function calling，所以我们采用了deepseek-v3进行实践，模型名称为deepseek-chat，在deepseek官网获取api-key。一、参照MCP官网设置环境创建项目目录 uv init mcp-client # 若没有uv，则先通过pip instal…...

编程日记 2025/7/18 16:21:27

Java并发：线程池

目录一、核心概念与设计原理 1、线程池的核心价值 2、核心接口和类 3、线程池的核心构造参数 4、线程池工作流程二、参数选择 1、任务队列选择 2、拒绝策略选择 3、常见线程池选择 4、参数调优三、应用 1、创建建议 2、生命周期管理：优雅关闭 3、…...

编程日记 2025/7/4 8:35:49

Kubernetes集群超配节点容量

目录： 1、节点超配简介2、创建 PriorityClass3、运行请求节点容量的 Pod4、调整占位资源请求5、设置所需的副本数量6、自动扩缩容组件6.1、手动方式6.2、自动方式 1、节点超配简介节点超配是一种主动预留部分集群计算资源的策略。这种预留有助于减少在扩缩容事件期…...

编程日记 2025/6/29 10:26:07

每日一题（小白）回溯篇7

首先我们可以判断出这是一个dfs的题目，因为简言之就是要求最短路径。其次这个题目与直接找最短路径有所不同，增加了条件必须依次穿过指定的符号。无论坦克走到任何一点都有四个方向可以走（越界要判断），结束的条件是到达…...

编程日记 2025/6/29 12:03:46

rk3588上完成halcon的形状模型配准以及和opencv的图像转换

一、准备工作 1）安装好halcon，确保halcon的c的调用是正常的 2）编译好opencv 上面的两个步骤，均可以参考我的两个博文完成： Halcon在linux及ARM上的安装及c工程化_halcon linux-CSDN博客 RK3588上编译opencv 及基于…...

编程日记 2025/6/29 10:04:57

Spring Boot 断点续传实战：大文件上传不再怕网络中断

精心整理了最新的面试资料和简历模板，有需要的可以自行获取点击前往百度网盘获取点击前往夸克网盘获取一、痛点与挑战在网络传输大文件（如视频、数据集、设计稿）时，常面临： 上传中途网络中断需重新开始服务器内…...

编程日记 2025/7/22 10:53:59

Springboot集成websocket实现消息推送

假设有个需求需要多个用户同时在对应的消息面板实时查看相关接口的执行流程进度，此时可以可考虑使用websocket来实现结果进度推送一、引入websocket依赖，并编写WebSocket配置类 <dependency><groupId>org.springframework.boot</group…...

编程日记 2025/7/10 12:15:27

PostgreSQL 用户资源管理

PostgreSQL 用户资源管理 PostgreSQL 提供了多种机制来管理和限制用户对数据库资源的使用，以下是全面的资源管理方法： 1 连接限制 1.1 限制最大连接数 -- 在 postgresql.conf 中设置 max_connections 100 -- 全局最大连接数-- 为特定用户设置连接限…...

编程日记 2025/7/9 15:34:06

Uniapp：pages.json页面路由

目录一、pages二、style 一、pages uni-app 通过 pages 节点配置应用由哪些页面组成，pages 节点接收一个数组，数组每个项都是一个对象，其属性值如下： 属性类型默认值描述pathString配置页面路径styleObject配置页面窗口表现nee…...

编程日记 2025/7/3 14:38:32

使用open3d将pcd点云按照颜色等级分块显示并令其随颜色变化播放

👑主页：吾名招财 👓简介：工科学硕，研究方向机器视觉，爱好较广泛… 💫签名：面朝大海，春暖花开！使用open3d将pcd点云按照颜色等级分块显示并令其随颜色变化播放引言显示效果点云获取完整代码引言有很多时候我们需要更改pcd点云某些区域的颜色，可能是颜色随着点…...

编程日记 2025/7/19 13:13:14

玩转Docker | 使用Docker部署nullboard任务管理工具

玩转Docker | 使用Docker部署nullboard任务管理工具前言一、nullboard介绍简介主要特点二、系统要求环境要求环境检查Docker版本检查检查操作系统版本三、部署nullboard服务下载镜像创建容器创建容器检查容器状态检查服务端口安全设置四、访问nullboard服务访问nullboard首页五…...

编程日记 2025/7/4 19:24:45

如何避免流程形式化导致的效率低下？

要避免流程形式化导致的效率低下，核心在于：聚焦流程价值、保障执行灵活性、优化流程设计、建立反馈机制、提升执行感知。其中，聚焦流程价值是解决流程“空转”的首要原则。流程不应只是文档或制度的堆叠，而要服务于业务目标&…...

编程日记 2025/6/29 12:08:14

Java学习手册：HTTP 协议基础知识

一、HTTP 协议概述 HTTP（HyperText Transfer Protocol）即超文本传输协议，是用于从万维网（WWW：World Wide Web ）服务器传输超文本到本地浏览器的传输协议。它是一个应用层协议，基于请求-响应模型…...

编程日记 2025/6/29 10:44:10

基于多模态融合算法的航空武器毁伤评估技术方案

基于多模态融合算法的航空武器毁伤评估技术方案 1. 引言航空武器毁伤评估（Damage Assessment, DA）是现代战争中的关键环节，直接影响后续作战决策。传统的人工评估方式效率低、主观性强，且在高强度战场环境下难以实时完成。因此，本研究提出一种基于多模态融合算法的自动…...

编程日记 2025/7/19 9:58:01

欧拉-国产操作系统替代产品如何

欧拉（openEuler）国产操作系统是由华为发起并联合开源社区共同开发的企业级操作系统，旨在构建自主可控的数字基础设施生态底座。以下从开发背景、技术特点、应用场景、生态建设及市场表现等方面进行全面介绍：一、开发背景与战略定位国家需求驱动在中美技术竞争背景下，国…...

编程日记 2025/6/29 11:08:18

入门-C编程基础部分：16、预处理器

飞书文档https://x509p6c8to.feishu.cn/wiki/DzSJwsGiTiXkeCkyEYUcuXbKnbf C 预处理是编译过程中一个单独的步骤，是一个文本替换工具而已。所有的预处理命令都是以井号（#）开头。指令描述#define定义宏#ifdef如果宏已经定义，则返…...

编程日记 2025/7/22 11:39:49

Spark-SQL4

一 .Spark-SQL核心编程（六） Spark-SQL连接Hive Apache Hive 是 Hadoop 上的 SQL 引擎，Spark SQL 编译时可以包含 Hive 支持，也可以不包含。包含 Hive 支持的 Spark SQL 可以支持 Hive 表访问、UDF (用户自定义函数)、Hive 查询语…...

编程日记 2025/7/18 20:40:13

模数转换【1】AD7699

1.开发背景一款可以模数转换芯片，兼容通用 SPI 接口，支持最多支持 8 个通道和 500KSPS 的采样率。支持单个通道采集和扫描采集模式。同系列的芯片还有 AD7682 和 AD7689 等。 2.开发需求配置内部参考电压4.096V，实现单个通道采集和扫描采集…...

编程日记 2025/7/19 10:28:49

P5670 秘籍-反复异或 Solution

Description 给定序列 a ( a 1 , a 2 , ⋯ , a n ) a(a_1,a_2,\cdots,a_n) a(a1,a2,⋯,an) 和常数 m m m，有 q q q 个操作分两种： add ⁡ ( l , r , x ) \operatorname{add}(l,r,x) add(l,r,x)：对每个 i ∈ [ l , r ] i\in[l,r] …...

编程日记 2025/6/29 12:10:33

PID控制程序编写

目录一、C语言PID控制器示例代码二、代码解释三、重要注意事项一、C语言PID控制器示例代码 #include <stdio.h> #include <stdlib.h> #include <unistd.h> // For sleep function typedef struct { double Kp; // 比例增益 double…...

编程日记 2025/7/13 13:29:18

基于Python的施工图与竣工图对比小工具开发方案

基于Python的施工图与竣工图对比小工具开发方案一、引言在工程建设领域，施工图与竣工图的对比是项目验收的关键环节。传统人工对比方式效率低、易出错，本文基于Python开发一款自动化对比工具，支持快速检测图纸差异并生成可视化报告&#x…...

编程日记 2025/7/9 15:22:12

2025年世界职业院校技能大赛实施方案（意见稿）

为贯彻落实《教育强国建设规划纲要（2024—2035年）》，进一步提升世界职业院校技能大赛（以下简称“大赛”）内涵质量，发挥大赛引领作用，提升高技能人才培养质量，服务现代职业教育体系建…...

编程日记 2025/6/29 12:00:56

辛格迪客户案例 | 苏州富士莱医药GMP培训管理(TMS)项目

一、案例概述富士莱医药股份有限公司位于美丽的江南水乡常熟，前身为常熟富士莱医药化工有限公司，从建厂初期面积仅有10余亩，逐步扩展到100余亩。近年来公司飞速发展，以黑马姿态发展成为中国专业生产硫辛酸系列产品、肌肽系列产品…...

编程日记 2025/7/13 23:43:55

《网安面试指南》https://mp.weixin.qq.com/s/RIVYDmxI9g_TgGrpbdDKtA?token1860256701&langzh_CN 5000篇网安资料库https://mp.weixin.qq.com/s?__bizMzkwNjY1Mzc0Nw&mid2247486065&idx2&snb30ade8200e842743339d428f414475e&chksmc0e4732df793fa3bf39…...

编程日记 2025/6/29 9:41:05

【基于WSAAsyncSelec模型的通信程序设计】

文章目录一、实验背景与目的二、实验设计与实现思路1. 设计思想2. 核心代码实现总结一、实验背景与目的这次实验主要是为了让大家了解基于 WSAAsyncSelect 模型通信程序的编写、编译和执行过程。通过实践操作，深入掌握这种模型在实现计算机之间通信时的应用。 …...

编程日记 2025/6/29 11:56:47