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

【数据库系统概论】并发控制--复习

1. 并发控制概述

并发控制是数据库系统处理多个事务同时执行时,保证数据一致性和事务隔离性的关键技术。

1.1并发操作的特点

  • 数据库系统允许多个用户并发访问。
  • 典型应用场景:
    • 飞机订票系统
    • 银行数据库系统
    • 网上购物系统

1.2并发操作可能带来的问题

并发事务可能导致数据的不一致性:

  1. 丢失修改

    • 多个事务同时修改同一数据,一个事务的结果可能覆盖另一个事务的结果。
    • 例子:两个售票点同时读取和修改机票余额,实际减少两张票,但余额只减少了一张票。
  2. 脏读

    • 一个事务读到了另一个未提交事务的修改,导致数据不一致。
  3. 不可重复读

    • 一个事务读取某数据后,另一个事务对其进行了修改,导致再次读取时数据不同。
  4. 幻读

    • 一个事务按条件查询得到的数据记录集,另一个事务插入或删除了相关记录,导致查询结果不同。

1.3并发控制的任务

  • 防止数据不一致,保证:
    1. 事务的隔离性
    2. 数据库的一致性

2. 事务的隔离级别

SQL标准定义了四种隔离级别,用来防止并发导致的数据不一致。

2.1隔离级别由低到高依次为:

  1. 读未提交

    • 允许读取未提交事务的数据。
    • 可能导致脏读、不可重复读和幻读。
  2. 读已提交

    • 只能读取已提交事务的数据。
    • 避免了脏读,但仍可能出现不可重复读和幻读。
  3. 可重复读

    • 一个事务开始后,其他事务不能修改它已读取的数据。
    • 避免了脏读和不可重复读,但不能避免幻读。
    • MySQL默认级别
  4. 可串行化

    • 最高隔离级别,所有事务按顺序执行。
    • 避免了所有问题,但性能较低。

3. 封锁

封锁是实现并发控制的核心技术。

3.1基本封锁类型

  1. 共享锁(S锁)

    • 允许多个事务读取同一数据,但不允许修改。
    • 适用于“读”操作。
  2. 排它锁(X锁)

    • 一个事务对数据加X锁后,其他事务不能再读或修改。
    • 适用于“写”操作。

3.2锁的相容性矩阵

S锁X锁
S锁YN
X锁NN
  • Y:相容,多个事务可以同时加锁。
  • N:不相容,必须等待锁释放。

4. 封锁协议

封锁协议是使用S锁和X锁时的规则。

4.1三级封锁协议

  1. 一级封锁协议

    • 修改数据前必须加X锁,事务结束后释放。
    • 防止丢失修改。
  2. 二级封锁协议

    • 读取数据前加S锁,修改数据前加X锁,事务结束后释放。
    • 防止脏读。
  3. 三级封锁协议

    • 读、写前分别加S锁和X锁,事务结束后释放。
    • 防止不可重复读。

5. 活锁与死锁

5.1活锁

  • 一个事务因优先级低总是得不到锁,处于无限等待状态。
  • 解决方法:先来先服务

5.2死锁

  • 两个事务循环等待对方持有的锁。
  • 解决方法:
    1. 超时法:等待超时后回滚事务。
    2. 等待图法:通过检测图中的循环回路识别死锁。

6. 并发调度的可串行性

6.1可串行化调度

  • 并发事务的执行结果与某种顺序的串行执行结果相同。
  • 可串行性是判断并发调度正确性的标准。

6.2两段锁协议(2PL)

  • 两阶段锁定:
    1. 扩展阶段:只加锁不释放。
    2. 收缩阶段:只释放锁不加锁。
  • 优点:保证调度的可串行化。
  • 缺点:可能导致死锁。

7. 封锁粒度

7.1粒度的选择

  • 粒度大:减少开销,但降低并发性。
  • 粒度小:提高并发性,但增加系统开销。

7.2多粒度封锁

  • 支持同时对数据库的不同层级加锁(如表、元组等)。
  • 引入意向锁(IS锁、IX锁):
    • 提高加锁效率,避免冲突。

8. 多版本并发控制(MVCC)

8.1特点

  • 维护数据的多个版本,避免读写冲突。
  • 适用场景:事务读写并发较高的情况下。
  • 优点:提高性能,减少事务等待。
  • 缺点:产生大量无效版本。

8.2 改进方法(MV2PL)

  • 读事务:使用多版本机制。
  • 写事务:使用两阶段锁协议。
  • 引入验证锁(Certify-Lock):在事务提交时验证数据一致性。

9.总结:并发控制技术

  1. 主要技术

    • 封锁(S锁、X锁)
    • 时间戳方法
    • 乐观方法
    • 多版本并发控制(MVCC)
  2. 核心目标

    • 保证事务隔离性和数据一致性。
  3. 优化方向

    • 平衡隔离级别与性能需求。
    • 选择适合应用场景的并发控制机制。

关于更详细的笔记,等考完试再出哈。

相关文章:

【数据库系统概论】并发控制--复习

1. 并发控制概述 并发控制是数据库系统处理多个事务同时执行时,保证数据一致性和事务隔离性的关键技术。 1.1并发操作的特点 数据库系统允许多个用户并发访问。典型应用场景: 飞机订票系统银行数据库系统网上购物系统 1.2并发操作可能带来的问题 并…...

MySQL(六)MySQL 案例

1. MySQL 案例 1.1. 设计数据库 1、首先根据相关业务需求(主要参考输出输入条件)规划出表的基本结构   2、根据业务规则进行状态字段设计   3、预估相关表的数据量进行容量规划   4、确定主键   5、根据对相关处理语句的分析对数据结构进行相应的变更。   设计表的时…...

DDcGAN_多分辨率图像融合的双鉴别条件生成对抗网络_y译文马佳义

摘要: 在本文中,我们提出了一种新的端到端模型,称为双鉴别条件生成对抗网络(DDcGAN),用于融合不同分辨率的红外和可见光图像。我们的方法建立了一个生成器和两个鉴别器之间的对抗博弈。生成器的目的是基于特…...

[读书日志]从零开始学习Chisel 第一篇:书籍介绍,Scala与Chisel概述,Scala安装运行(敏捷硬件开发语言Chisel与数字系统设计)

简介:从20世纪90年代开始,利用硬件描述语言和综合技术设计实现复杂数字系统的方法已经在集成电路设计领域得到普及。随着集成电路集成度的不断提高,传统硬件描述语言和设计方法的开发效率低下的问题越来越明显。近年来逐渐崭露头角的敏捷化设…...

二、用例图

二、用例图 (一)、用例图的基本概念 1、用例图的定义: 用例图是表示一个系统中用例与参与者关系之间的图。它描述了系统中相关的用户和系统对不同用户提供的功能和服务。 用例图相当于从用户的视角来描述和建模整个系统,分析系统的功能与…...

LWIP之一:使用STM32CubeMX搭建基于FreeRTOS的LWIP工程并分析协议栈初始化过程

工程搭建及LWIP协议栈初始化过程 一、使用STM32CubeMX快速生成工程二、修改测试三、LWIP协议栈初始化过程分析3.1 tcpip_init()3.1.1 lwip_init()3.1.1.1 sys_init()3.1.1.2 mem_init()3.1.1.3 memp_init()3.1.1.4 netif_init()3.1.1.5 udp_init()3.1.1.6 tcp_init()3.1.1.7 ig…...

个性化电影推荐系统|Java|SSM|JSP|

【技术栈】 1⃣️:架构: B/S、MVC 2⃣️:系统环境:Windowsh/Mac 3⃣️:开发环境:IDEA、JDK1.8、Maven、Mysql5.7 4⃣️:技术栈:Java、Mysql、SSM、Mybatis-Plus、JSP、jquery,html 5⃣️数据库可…...

UE5AI感知组件

官方解释: AI感知系统为Pawn提供了一种从环境中接收数据的方式,例如噪音的来源、AI是否遭到破坏、或AI是否看到了什么。 AI感知组件(AIPerception Component)是用于实现游戏中的非玩家角色(NPC)对环境和其…...

每日一学——日志管理工具(ELK Stack)

5.1 ELK Stack 5.1.1 Elasticsearch索引机制 嘿,小伙伴们!今天我们要聊聊ELK Stack——一套由Elasticsearch、Logstash和Kibana组成的强大日志管理工具集。通过这套工具,我们可以轻松地收集、存储、搜索和可视化日志数据。首先,…...

“智能筛查新助手:AI智能筛查分析软件系统如何改变我们的生活

嘿,朋友们!今天咱们来聊聊一个特别厉害的工具——AI智能筛查分析软件系统。想象一下,如果你有一个超级聪明的小助手,不仅能帮你快速找出问题的关键所在,还能提供精准的解决方案,是不是感觉工作和生活都变得…...

DeepSeek v3为何爆火?如何用其集成Milvus搭建RAG?

最近,DeepSeek v3(一个MoE模型,拥有671B参数,其中37B参数被激活)模型全球爆火。 作为一款能与Claude 3.5 Sonnet,GPT-4o等模型匹敌的开源模型DeepSeek v3不仅将其算法开源,还放出一份扎实的技术…...

linux-centos-安装miniconda3

参考: 最新保姆级Linux下安装与使用conda:从下载配置到使用全流程_linux conda-CSDN博客 https://blog.csdn.net/qq_51566832/article/details/144113661 Linux上删除Anaconda或Miniconda的步骤_linux 删除anaconda-CSDN博客 https://blog.csdn.net/m0_…...

html+css+js网页设计 美食 好厨艺西餐美食企业网站模板6个页面

htmlcssjs网页设计 美食 好厨艺西餐美食企业网站模板6个页面 网页作品代码简单,可使用任意HTML辑软件(如:Dreamweaver、HBuilder、Vscode 、Sublime 、Webstorm、Text 、Notepad 等任意html编辑软件进行运行及修改编辑等操作)。 …...

QT-窗口嵌入外部exe

窗口类&#xff1a; #pragma once #include <QApplication> #include <QWidget> #include <QVBoxLayout> #include <QProcess> #include <QTimer> #include <QDebug> #include <Windows.h> #include <QWindow> #include <…...

C#中使用系统默认应用程序打开文件

有时您可能希望程序使用默认应用程序打开文件。 例如&#xff0c;您可能希望显示 PDF 文件、网页或互联网上的 URL。 System.Diagnostics.Process类的Start方法启动系统与文件关联的应用程序。 例如&#xff0c;如果文件扩展名为.txt&#xff0c;则系统会在 NotePad、WordPa…...

如何在 Ubuntu 22.04 上配置 Logrotate 高级教程

简介 本教程将教你如何在 Ubuntu 22.04 上进行 Logrotate 的高级配置。 日志管理对于维护系统性能和确保你的日志不会占用太多磁盘空间至关重要。在 Ubuntu 上&#xff0c;logrotate 是一个强大的工具&#xff0c;它可以通过轮转、压缩和删除旧日志来自动管理日志文件。在本教…...

java项目之校园管理系统的设计与实现(源码+文档)

风定落花生&#xff0c;歌声逐流水&#xff0c;大家好我是风歌&#xff0c;混迹在java圈的辛苦码农。今天要和大家聊的是一款基于springboot的校园管理系统的设计与实现。项目源码以及部署相关请联系风歌&#xff0c;文末附上联系信息 。 项目简介&#xff1a; springboot校园…...

关于 webservice 日志中 源IP是node IP的问题,是否能解决换成 真实的客户端IP呢

本篇目录 1. 问题背景2. 部署gitlab 17.52.1 添加repo源2.2 添加repo源 下载17.5.0的charts包2.3 修改values文件2.3.1 hosts修改如下2.3.2 appConfig修改如下2.3.3 gitlab下的sidekiq配置2.3.4 certmanager修改如下2.3.5 nginx-ingress修改如下2.3.6 <可选> prometheus修…...

Serializable接口

最近写项目的时候&#xff0c;发现有一些类要实现Serializable接口&#xff0c;一开始只是粗略的知道实现了Serializable接口&#xff0c;这个类的对象可以被序列化&#xff0c;但我比较轴&#xff0c;想知道这个接口到底有什么作用。 我点开这个接口发现什么方法都没有实现&am…...

如何操作github,gitee,gitcode三个git平台建立镜像仓库机制,这样便于维护项目只需要维护一个平台仓库地址的即可-优雅草央千澈

如何操作github&#xff0c;gitee&#xff0c;gitcode三个git平台建立镜像仓库机制&#xff0c;这样便于维护项目只需要维护一个平台仓库地址的即可-优雅草央千澈 问题背景 由于我司最早期19年使用的是gitee&#xff0c;因此大部分仓库都在gitee有几百个库的代码&#xff0c;…...

Zotero-Style终极指南:革命性文献管理体验与高效科研工作流

Zotero-Style终极指南&#xff1a;革命性文献管理体验与高效科研工作流 【免费下载链接】zotero-style Ethereal Style for Zotero 项目地址: https://gitcode.com/GitHub_Trending/zo/zotero-style Zotero-Style作为一款专为Zotero设计的视觉增强与功能扩展插件&#x…...

告别窗口遮挡烦恼:3种方法让PinWin成为你的桌面效率助手

告别窗口遮挡烦恼&#xff1a;3种方法让PinWin成为你的桌面效率助手 【免费下载链接】PinWin Pin any window to be always on top of the screen 项目地址: https://gitcode.com/gh_mirrors/pin/PinWin 你是否经常在写代码时需要参考文档&#xff0c;却频繁被其他窗口遮…...

别只调API!深入理解ESP32 BLE安全的三个阶段:配对、绑定与加密到底在干啥?

别只调API&#xff01;深入理解ESP32 BLE安全的三个阶段&#xff1a;配对、绑定与加密到底在干啥&#xff1f; 当你用ESP32开发BLE应用时&#xff0c;是否遇到过这样的场景&#xff1a;设备配对时突然失败&#xff0c;绑定后密钥莫名其妙丢失&#xff0c;或者加密链路时断时续&…...

React 逻辑的可测试性:针对 React Hooks 的单体测试与渲染行为模拟的质量保障实践

React 逻辑的可测试性&#xff1a;针对 React Hooks 的单体测试与渲染行为模拟的质量保障实践 主讲人&#xff1a; 某资深前端架构师&#xff08;也就是我&#xff09; 受众&#xff1a; 想要逃离“闭包地狱”和“测试屎山”的前端开发者们 时长&#xff1a; 漫长的周一午后 第…...

【数字信号去噪】猫头鹰搜索算法OSA优化变分模态分解SDO-VMD数字信号去噪(优化K值 alpha值 综合指标 适应度函数包络熵)【含Matlab源码 15355期】

&#x1f4a5;&#x1f4a5;&#x1f4a5;&#x1f4a5;&#x1f4a5;&#x1f4a5;&#x1f4a5;&#x1f4a5;&#x1f49e;&#x1f49e;&#x1f49e;&#x1f49e;&#x1f49e;&#x1f49e;&#x1f49e;&#x1f49e;&#x1f49e;Matlab武动乾坤博客之家&#x1f49e;…...

第九章:我是如何剖析 Claude Code 的 CLI 里的安全沙盒与指令拦截机制的

大家好。又来了&#xff0c;好东西真的太多了&#xff0c;没办法。 比如有个问题&#xff1a;“Claude Code 既然能在电脑上执行命令行&#xff0c;万一大模型抽风&#xff0c;来一句 rm -rf /&#xff0c;或者偷偷把数据库给 DROP TABLE 了&#xff0c;那不就全完了&#xff1…...

React 无状态组件的纯粹性:探讨引用透明性对 React 渲染性能与可预测性的核心贡献

各位同学好&#xff01;欢迎来到今天的讲座。我是你们的老朋友&#xff0c;一个在 React 的世界里摸爬滚打多年&#xff0c;头发比发际线跑得还快的资深编程专家。今天我们要聊一个听起来非常“学术”&#xff0c;但实际上决定了你应用性能上限和代码可维护性下限的核心概念——…...

从入门到精通:富斯MC6接收机的7种模式与实战应用指南

1. 富斯MC6接收机&#xff1a;你的全能模型控制中枢 第一次拿到富斯MC6接收机时&#xff0c;我完全被它的小身材大能量震惊了。这个比火柴盒还小的设备&#xff0c;竟然能同时控制电机、灯光、舵机&#xff0c;还能对接飞控系统。作为玩过数十款接收机的老模友&#xff0c;我可…...

OBS Advanced Timer:直播时间管理的终极解决方案

OBS Advanced Timer&#xff1a;直播时间管理的终极解决方案 【免费下载链接】obs-advanced-timer 项目地址: https://gitcode.com/gh_mirrors/ob/obs-advanced-timer 在直播的世界里&#xff0c;时间就是一切。无论是教学直播的章节控制、游戏直播的BOSS战计时&#x…...

10年老兵带你学Java(第0课):学前必知

Java是什么&#xff1f; Java是一门编程语言&#xff0c;1995年诞生&#xff0c;到现在30年了&#xff0c;依然是全球最流行的语言之一。 打个比方&#xff1a; C语言像手动挡汽车&#xff0c;性能强但难开Python像自动挡汽车&#xff0c;好开但不够快Java像卡车&#xff0c;能…...