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

我们来学mysql -- 事务并发之幻读(原理篇)

事务并发之幻读

  • 题记
  • 幻读
  • 系列文章

题记

  • 在《事务之概念》提到事务对应现实世界的状态转换,这个过程要满足4个特性
  • 这世界,真理只在大炮射程之类,通往和平的道路,非“常人”可以驾驭
  • 一个人生活按部就班,人多起来,难免鸡飞狗跳
  • 同理现实世界的状态转换映射到数据库,满足4个特性也非一帆风顺
  • 数据库江湖,一个事务任我行,两个事务南北双雄,多事务江湖大乱
  • 接下来便是并发事务,幻读的问题

幻读

  • 引子

    • 组长召开了晨会,更新了开发任务,福报996,那大饼画的真香
    • 你情绪激昂,做出积极表态,保证完成任务
    • 等等…,这画风完全不符合咱们的审美
    • 真实的场景:回到工位上你,先伸个懒腰,侦查完四周,刷起短视频

  • 举例子

    • 卓别林正在农场中清点猪数,第一此20只,第二遍30只,第三遍15只…
    • 某人不禁笑出了猪叫,同事给你使眼色,身后组长的气压蔓延开来
    • 就这?说好的通俗易懂,段子多多呢!
    • 好吧,江郎才尽…啊!
      在这里插入图片描述

  • 如果一个事务先根据某些条件查询出一些数据,该事务未提交,另一个事务写入、删除了其他符合条件的记录,这就是幻读

    • 卓别林数猪,条件是猪,鸡鸭不会计算在内
    • 第一遍数了10只
    • 隔壁农场正值壮年的猪三哥,看到大圈中搔首弄姿的母猪花花,不服猪命,翻越栅栏,混了进来,第二遍一数11只
    • 因此初步理解,便有了转机,前后数的不一样
    • 但,这不合理吗?
    • 合理呀,学生报名,今天查10个,明天退学了仨,查是7,不一样,合现实世界的理呀!
    • 百思不得其解,撇了眼上面的定义,还有个点,会是关键吗?是啥呢!
      • 查出一些数据,该事务还未提交
      • 你说,咱就数个猪,不是说好的查(select)无事务(铁定不会有锁)
      • 问题TM的应该就是这个未提交,但咱不能理解!
    • 过了几天,突然一想,这是否应该在一系列场景(业务)下的要求
      • 农场展开一场牲畜数量的比赛
      • 你数鸡的数量
      • 他数牛的数量
      • 卓别林数猪的数量
      • 在比赛还未结束时(未提交)
      • 裁判人员再次进行计算(再数一遍)
      • 此时,隔壁农场,放出猪三哥,拐走了母猪花花,咱要公平,就得防着被阴一招
      • 所以,裁判人员数的有问题吗,没有问题的
      • 只是在当前这个业务下,是有问题的
      • 我特么真是个人才…

系列文章

我们来学mysql – 有无事务ID(原理版)
我们来学mysql – 建立索引(原理版)
我们来学mysql – 使用索引(原理版)
我们来学mysql – 索引失效(原理版)
我们来学mysql – 用不上的索引(原理版)
我们来学mysql – 索引上的锁(原理版)
我们来学mysql – 访问方法(原理篇)
我们来学mysql – 连接(原理版)
我们来学mysql – 查询成本之索引选择(原理篇)
我们来学mysql – EXPLAIN之ID(原理篇)
在这里插入图片描述

相关文章:

我们来学mysql -- 事务并发之幻读(原理篇)

事务并发之幻读 题记幻读系列文章 题记 在《事务之概念》提到事务对应现实世界的状态转换,这个过程要满足4个特性这世界,真理只在大炮射程之类,通往和平的道路,非“常人”可以驾驭一个人生活按部就班,人多起来&#x…...

Ubuntu Linux 图形界面工具管理磁盘分区和文件系统(八)

本文为Ubuntu Linux操作系统- 第八弹~~ 今天接着上文的内容,讲Linux磁盘分区存储的相关知识~ 上期回顾:命令行-管理磁盘分区和文件系统 今天看酷酷的雪獒铠甲!!雪獒铠甲合体~ 文章目录 磁盘管理器GNOME Disks主要功能安装命令 磁盘…...

Eclipse IDE 各个版本的用途和区别

Eclipse官方下载地址:https://www.eclipse.org/downloads/packages/ 会出现很多个Eclipse版本,初学者可能会感觉到很迷惑,不知道下载哪个版本。 Eclipse IDE for Enterprise Java and Web Developers (544 MB) 专为 Java 和 Web 应用开发者设计 包含 Java IDE、JavaScript、…...

国产GPU中,VLLM0.5.0发布Qwen2.5-14B-Instruct-GPTQ-Int8模型,请求返回结果乱码

概述 国产GPU: DCU Z100 推理框架: vllm0.5.0 docker容器化部署 运行如下代码: python -m vllm.entrypoints.openai.api_server --model /app/models/Qwen2.5-14B-Instruct-GPTQ-Int8 --served-model-name qwen-gptq --trust-remote-code --enforce…...

在 Vue 3 中实现点击按钮后禁止浏览器前进或后退

在 Vue 3 中实现点击按钮后禁止浏览器前进或后退&#xff0c;我们可以通过 ref 和 watch 来管理状态&#xff0c;同时使用 onBeforeUnmount 来清理事件监听。 使用 Vue 3 实现&#xff1a; <template><div><button click"disableNavigation">点击…...

Linux:软硬链接

目录 一、概念 软链接 硬链接 二、原理 硬链接 软链接 三、使用场景 硬链接 软链接 一、概念 软链接 在当前目录下&#xff0c;有一个普通文件a.txt。 ln -s a.txt a_soft.link结论&#xff1a; 软链接是一个文件。 观察inode_id&#xff0c;发现软链接有着独立…...

Delphi XE 安卓Web开发 错误:net::ERR_CLEARTEXT_NOT_PERMITTED

解决方法&#xff1a; 1、确保已经申明权限&#xff08;AndroidManifest.xml 文件&#xff09; 1 <uses-permission android:name"android.permission.INTERNET" /> 2、开启 usesCleartextTraffic 1 2 <application android:usesCleartextTraffic&qu…...

深入理解malloc与vector:内存管理的对比

引言‌ 在编程中&#xff0c;内存管理是一个至关重要的环节。无论是C语言中的malloc函数&#xff0c;还是C标准库中的vector容器&#xff0c;它们都在内存分配和释放上扮演着关键角色。然而&#xff0c;它们的设计理念和用法有着显著的不同。本文将深入探讨malloc和vector的区…...

多个输入框联合搜索

如果你有多个输入框&#xff0c;并希望进行联合精准搜索&#xff0c;可以通过组合多个输入框的值来过滤数据。在JavaScript中&#xff0c;常见的做法是先收集每个输入框的值&#xff0c;然后使用这些值过滤数据。 示例&#xff1a;多个输入框联合精准搜索 假设有多个输入框用…...

笔记03----NeurIPS2024 涨点!SSA:用于语义分割的语义和空间自适应像素级分类器(即插即用)

前言 文章标题&#xff1a;《SSA-Seg: Semantic and Spatial Adaptive Pixel-level Classiffer for Semantic Segmentation》 助力语义分割涨点!SSA:一种新颖的语义和空间自适应分类器&#xff0c;显著提高了基线模型的分割性能&#xff0c;比如SegNeXt、OCRNet和UperNet等模型…...

自定义比较函数 down 作为 sort 函数的参数实现数组元素从大到小排序

【自定义比较函数 down 作为 sort 函数的参数实现数组元素从大到小排序】 #include <bits/stdc.h> using namespace std;const int maxn1e35; int a[maxn];bool down(int u,int v) {return u>v; }int main() {int n;cin>>n;for(int i0; i<n; i) cin>>…...

在 Spring Boot 中使用 JPA(Java Persistence API)进行数据库操作

步骤 1: 添加依赖 在 pom.xml 文件中添加相关依赖&#xff1a; <dependencies><!-- Spring Boot Starter Web --><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-web</artifactId><…...

简单聊聊PLT和GOT

在 Linux 的动态链接中&#xff0c;PLT&#xff08;Procedure Linkage Table&#xff09; 和 GOT&#xff08;Global Offset Table&#xff09; 是动态链接机制中的两个关键组件&#xff0c;它们一起支持程序动态加载共享库以及在运行时解析符号地址。下面是它们的作用和原理&a…...

FaRM译文

No compromises: distributed transactions with consistency, availability, and performance Aleksandar Dragojevic, Dushyanth Narayanan, Edmund B. Nightingale, Matthew Renzelmann, Alex Shamis, Anirudh Badam, Miguel Castro Microsoft Research 目录 摘要 1. 引…...

用vue框架写一个时钟的页面

你可以使用Vue框架来创建一个简单的时钟页面。首先&#xff0c;你需要在HTML文件中引入Vue框架的CDN&#xff1a; <script src"https://cdn.jsdelivr.net/npm/vue"></script>然后&#xff0c;创建一个包含时钟功能的Vue实例&#xff1a; <div id&qu…...

HTML表单-第二部分

HTML表单 表单元素是允许用户在表单中输入内容&#xff0c;比如&#xff1a;文本域&#xff0c;下拉列表&#xff0c;单选框&#xff0c;复选框等等‘ 使用<from>标签创建 例如 <from> . input . </from> HTML表单-输入元素 <input>标签创建&#xff…...

PyQt5:一个逗号引发的闪退血案

【日常小计】 在开发PyQt5程序时&#xff0c;调用了一个写入excel表格的后端方法&#xff0c;但是每次打开页面点击对应的动作&#xff0c;窗口就会闪退&#xff0c;而且Python后台也没有提示出任何的异常堆栈&#xff0c;后来经过在后端一点一点的单点测试&#xff0c;终于发…...

AI智能体Prompt预设词指令大全+GPTs应用使用

AI智能体使用指南 直接复制在AI工具助手中使用&#xff08;提问前&#xff09; 可前往SparkAi系统用户官网进行直接使用 SparkAI系统介绍文档&#xff1a;Docs 常见AI智能体GPTs应用大全在线使用 自定义添加制作AI智能体进行使用&#xff1a; 文章润色器 你是一位具有敏锐洞察…...

SSM整合原理实战案例《任务列表案例》

一、前端程序搭建和运行: 1.整合案例介绍和接口分析: (1).案例功能预览: (2).接口分析: 学习计划分页查询 /* 需求说明查询全部数据页数据 请求urischedule/{pageSize}/{currentPage} 请求方式 get 响应的json{"code":200,"flag":true,"data&…...

在风能市场持续增长的情况下,全球【环氧活性稀释剂】的需求呈现明显上涨的趋势

摘要 据 HengCe 最新调研&#xff0c;2023年中国环氧活性稀释剂市场销售收入达到了 万元&#xff0c;预计2030年可以达到 万元&#xff0c;2024-2030期间年复合增长率(CAGR)为 %。本研究项目旨在梳理环氧活性稀释剂领域产品系列&#xff0c;洞悉行业特点、市场存量空间及增量空…...

智元与宇树的机器人之争:全栈布局与低成本盈利,谁能笑到最后?

智元&#xff1a;押上一切&#xff0c;志在必成智元押上了资本、声誉&#xff0c;还有两位创始人最黄金的职业生涯&#xff0c;它没有借口和退路&#xff0c;必须成功。上半年的中国机器人圈&#xff0c;如同一场魔幻现实主义大戏。4月&#xff0c;人形机器人半程马拉松在北京亦…...

C++ 如何在VS中“强制”链接?

如何在VS中“强制”链接&#xff1f; 打开你的game_mobile项目&#xff0c;按下图设置。 方法一&#xff1a;强制链接&#xff08;最直接&#xff09; 这是彻底忽略LNK1169及其引发的所有LNK2005错误&#xff0c;强制生成可执行文件的方法。 打开项目的“属性页”。导航到“配置…...

Spring Cloud整合XXL-Job避坑指南:调度过期策略选错,你的定时任务可能就白跑了

Spring Cloud微服务中XXL-Job调度策略深度解析与实战避坑 在微服务架构盛行的今天&#xff0c;定时任务作为业务系统中不可或缺的一环&#xff0c;其稳定性和可靠性直接影响着核心业务流程。XXL-Job作为一款轻量级分布式任务调度平台&#xff0c;凭借其简单易用、功能强大的特性…...

别再手动改防火墙了!用这条组策略,一键修复AD域强制更新时的RPC报错

自动化运维实战&#xff1a;用组策略统一管理AD域防火墙规则 在混合Windows环境的IT运维中&#xff0c;手动配置每台终端设备的防火墙规则无异于一场噩梦。想象一下&#xff0c;当您面对数百台运行不同Windows版本的计算机时&#xff0c;每次组策略更新都因为防火墙拦截RPC通信…...

终极指南:5分钟掌握STL到STEP格式转换,打破3D设计与制造的数据壁垒

终极指南&#xff1a;5分钟掌握STL到STEP格式转换&#xff0c;打破3D设计与制造的数据壁垒 【免费下载链接】stltostp Convert stl files to STEP brep files 项目地址: https://gitcode.com/gh_mirrors/st/stltostp 在当今数字化制造与3D设计领域&#xff0c;STL到STEP…...

WarcraftHelper终极指南:5步解决魔兽争霸3闪退与兼容性问题

WarcraftHelper终极指南&#xff1a;5步解决魔兽争霸3闪退与兼容性问题 【免费下载链接】WarcraftHelper Warcraft III Helper , support 1.20e, 1.24e, 1.26a, 1.27a, 1.27b 项目地址: https://gitcode.com/gh_mirrors/wa/WarcraftHelper 还在为魔兽争霸3闪退问题烦恼吗…...

CentOS 8 安装 Docker 超详细教程

CentOS 8 安装 Docker 超详细教程 适用于 CentOS 8 / CentOS Stream 8&#xff0c;从零开始直到运行第一个容器。 一、准备工作 1. 检查系统版本 cat /etc/redhat-release看到 CentOS Linux release 8.5.2111 或 CentOS Stream release 8 即可继续。 2. 卸载旧版本 Docker …...

开发者必备:从聊天记录到结构化知识库的自动化工具实践

1. 项目概述&#xff1a;一个面向开发者的轻量级对话记录工具最近在整理几个开源项目的技术讨论记录时&#xff0c;我又一次陷入了混乱。Slack、Discord、Telegram、微信……不同平台的聊天记录散落各处&#xff0c;格式五花八门&#xff0c;想回溯一个关键的技术决策或一个报错…...

哈佛医学院:空间组学范式转变!单细胞分子谱→多细胞功能

摘要 空间分辨单细胞技术能够实现细胞的原位分子谱分析,但能够同时发现多细胞空间模式并表征其分子程序的计算方法仍十分有限。本文提出SpatialQuery框架,可同时识别细胞基序(即反复出现的多细胞共定位模式)并开展基序靶向的分子分析。该框架通过差异表达分析挖掘受空间微…...

基于Circuit Playground Express与MakeCode的互动拳套制作指南

1. 项目概述与核心思路如果你和我一样&#xff0c;既是《宇宙小子》的粉丝&#xff0c;又对把动画里的酷炫装备带到现实世界充满兴趣&#xff0c;那这个项目绝对能让你玩上一整天。今天要做的&#xff0c;是主角之一石榴那对标志性的拳套——不过&#xff0c;我们给它加上了一点…...