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

【数据库】数据库并发控制的目标,可串行化序列的分析,并发控制调度器模型

数据库并发控制

专栏内容

  • 手写数据库toadb
    本专栏主要介绍如何从零开发,开发的步骤,以及开发过程中的涉及的原理,遇到的问题等,让大家能跟上并且可以一起开发,让每个需要的人成为参与者。
    本专栏会定期更新,对应的代码也会定期更新,每个阶段的代码会打上tag,方便阶段学习。

开源贡献

  • toadb开源库

个人主页:我的主页
管理社区:开源数据库
座右铭:天行健,君子以自强不息;地势坤,君子以厚德载物.

文章目录

  • 数据库并发控制
  • 前言
  • 概述
  • 并发调度器
  • 可串行化
    • 可串行化概念
    • 案例分析
  • 可串行化的模型
  • 总结
  • 结尾

在这里插入图片描述

前言

随着信息技术的飞速发展,数据已经渗透到各个领域,成为现代社会最重要的资产之一。在这个大数据时代,数据库理论在数据管理、存储和处理中发挥着至关重要的作用。然而,很多读者可能对数据库理论感到困惑,不知道如何选择合适的数据库,如何设计有效的数据库结构,以及如何处理和管理大量的数据。因此,本专栏旨在为读者提供一套全面、深入的数据库理论指南,帮助他们更好地理解和应用数据库技术。

数据库理论是研究如何有效地管理、存储和检索数据的学科。在现代信息化社会中,数据量呈指数级增长,如何高效地处理和管理这些数据成为一个重要的问题。同时,随着云计算、物联网、大数据等新兴技术的不断发展,数据库理论的重要性日益凸显。

因此,本专栏的分享希望可以提高大家对数据库理论的认识和理解,对于感兴趣的朋友带来帮助。

概述

数据库同一时间会运行很多的事务,有客户端发起的,也有数据库系统内部产生的,那么这事务的并发执行,相互之间的影响会导致数据库的状态不一致;

虽然每个事务的执行状态都是正确的,而且也没有发生故障和错误,但也没法确保数据正确。

这就需要数据库进行统一协调,让各个事务并发执行时,按照一定的规范来让它们有次序的执行,这就是数据库中的调度器需要做的事。

本文就来聊聊数据库的并发调度器的那些事。

并发调度器

数据库调度器让并发执行的事务,保持数据库状态一致的过程,就是并发控制。

当事务执行时,需要对数据库元素进行读写,这时就会向调度器请求,大多数情况下,调度器都会直接进行读写处理;如果数据库元素没有在缓冲区时,先向缓冲区管理器进行请求,让它加载到缓冲区中。

而在某些情况下,立即执行是不安全的,调度器会延迟这些请求,有些并发控制技术中,调度器甚至会拒绝,导至事务的中止。

可串行化

调度器如何判断执行的安全性,也就是并发执行事务保持数据库状态的一致性,在数据库中叫做可串行化;

当然还有另一种更强,更重要的条件,叫做冲突的可串行化,这是大多数数据库真正实现的调度器。

可串行化概念

当一个事务在隔离状态下执行时(即没有其它事务与它并发执行),将数据库从任何一个状态转换为另一个一致的状态;通常都会有其它事务与它并发,所以这种原则没法适用。

所以我们需要一种可串行化调度的策略,让并发事务可串行化调度执行的结果,与一次执行一个事务产生的结果相同,那么这个调度产生的执行动作的序列,就叫做可串行化的调度。

案例分析

假设有两个事务T1,T2,操作对角为数据A和数据B,初始值都是25;
每个事务在执行计算时,会先读出数据,再修改,然后写回;

  • 事务执行序列为T1执行完,再执行T2
事务T1事务T2数据A数据B
2525
read(A,t)
t = t + 100
write(A,t)125
read(B,t)
t = t + 100
write(B,t)125
read(A,t)
t = t*2
write(A,t)250
read(B,t)
t = t*2
write(B,t)250
  • 事务执行序列为T2执行完,再执行T1
事务T1事务T2数据A数据B
2525
read(A,t)
t = t*2
write(A,t)50
read(B,t)
t = t*2
write(B,t)50
read(A,t)
t = t + 100
write(A,t)150
read(B,t)
t = t + 100
write(B,t)150

从这两个事务的执行序列来看,初始状态一样,但是在不同的执行顺序下执行后的状态确不一样。两个事务串行执行的结果,与两个事务执行的顺序相关。

以上是两个事务串行执行的结果,当事务并发时,结果与串行执行一样吗?

  • 两个事务并发执行中的一种可能序列
事务T1事务T2数据A数据B
2525
read(A,t)
t = t + 100
write(A,t)125
read(A,t)
t = t*2
write(A,t)250
read(B,t)
t = t*2
write(B,t)50
read(B,t)
t = t + 100
write(B,t)150

显然这次调度后的执行序列,得到的结果A=250,B=150,与上面两个事务串行执行的结果都不一样,最终状态是不一致的,所以这种调度是不可串行化的。

如何做到调度之后的可串行化,数据库通过可串行化的模型达到这一目标。

可串行化的模型

如果让多个事务简单的按装顺序来依次串行执行,一定是可以达到一致性的结果。多个事务的动作可以交叉,同时又与依次执行结果一样,这样的串行调度方式可以更高效的完成业务处理。

在大多数数据库中,采用封锁,时间戳和有效性确认,这三种方式组成的模型来达到并发事务可串行化,保证事务的特性。

总结

数据库并发控制的目标是,事务并发执行时,它们的执行序列可串行化,数据库的状态保持一致性。
在C语言中实现访问者模式,我们可以先定义一些结构体来表示元素对象和访问者对象。元素对象可以被访问者访问,而访问者对象可以访问元素对象并执行一些操作。

以下是一个简单的示例,其中定义了一个字符串类型的元素对象和一个输出字符串的访问者对象。在主函数中,我们创建了一个字符串类型的元素对象,然后使用访问者对象来访问它并输出 “Hello, world!”。

#include <stdio.h>
#include <stdlib.h>
#include <string.h>// 定义字符串类型的元素对象
typedef struct Element {char* str;
} Element;// 定义输出字符串的访问者对象
typedef struct Visitor {void (*visit)(Element*);
} Visitor;// 定义一个函数,用于创建字符串类型的元素对象
Element* create_element(const char* str) {Element* element = (Element*)malloc(sizeof(Element));element->str = (char*)malloc(strlen(str) + 1);strcpy(element->str, str);return element;
}// 定义一个函数,用于销毁字符串类型的元素对象
void destroy_element(Element* element) {free(element->str);free(element);
}// 定义一个函数,用于执行输出字符串的操作
void visit_element(Visitor* visitor, Element* element) {visitor->visit(element);
}// 定义一个函数,用于创建输出字符串的访问者对象
Visitor* create_visitor() {Visitor* visitor = (Visitor*)malloc(sizeof(Visitor));visitor->visit = (void (*)(Element*))printf;return visitor;
}// 定义一个函数,用于销毁输出字符串的访问者对象
void destroy_visitor(Visitor* visitor) {free(visitor);
}int main() {// 创建一个字符串类型的元素对象,并赋值 "Hello, world!"Element* element = create_element("Hello, world!");// 创建一个输出字符串的访问者对象Visitor* visitor = create_visitor();// 使用访问者对象访问元素对象并输出 "Hello, world!"visit_element(visitor, element);// 销毁元素对象和访问者对象,释放内存资源destroy_element(element);destroy_visitor(visitor);return 0;
}

结尾

非常感谢大家的支持,在浏览的同时别忘了留下您宝贵的评论,如果觉得值得鼓励,请点赞,收藏,我会更加努力!

作者邮箱:study@senllang.onaliyun.com
如有错误或者疏漏欢迎指出,互相学习。

相关文章:

【数据库】数据库并发控制的目标,可串行化序列的分析,并发控制调度器模型

数据库并发控制 ​专栏内容&#xff1a; 手写数据库toadb 本专栏主要介绍如何从零开发&#xff0c;开发的步骤&#xff0c;以及开发过程中的涉及的原理&#xff0c;遇到的问题等&#xff0c;让大家能跟上并且可以一起开发&#xff0c;让每个需要的人成为参与者。 本专栏会定期更…...

带头结点的双向循环链表

目录 带头结点的双向循环链表 1.存储定义 2.结点的创建 3.结点的初始化 4.尾插结点 5.尾删结点 6.头插结点 7.头删结点 8.查找并返回结点 9.在pos结点前插入结点 10.删除pos结点 11.打印链表 12.销毁链表 13.头插结点2.0版 14.尾插结点2.0版 前言&#xff1a; 当…...

2023年11月下旬大模型新动向集锦

2023年11月下旬大模型新动向集锦 2023.12.1版权声明&#xff1a;本文为博主chszs的原创文章&#xff0c;未经博主允许不得转载。 1、微软将向中国大陆开放Windows Copilot服务 据微软发布的消息&#xff0c;微软将在 2023 年 12 月 1 日面向中国大陆的企业和教育机构推出 We…...

有IP没有域名可以申请证书吗?

一、IP证书是什么&#xff1f; ip证书是用于公网ip地址的SSL证书&#xff0c;与我们通常所讲的SSL证书并无本质上的区别&#xff0c;但由于SSL证书通常颁发给域名&#xff0c;而组织机构需要公共ip地址的SSL证书&#xff0c;这类SSL证书就是我们所说的ip证书。ip证书具有安全、…...

【软件推荐】卸载360软件geek;护眼软件flux;

卸载360软件geek f.lux: software to make your life better (justgetflux.com) 卸载完扫描残留 护眼软件 hf.lux: software to make your life better (justgetflux.com)https://justgetflux.com/https://justgetflux.com/...

Module build failed: Error: ENOENT: no such file or directory

前言 这个错误通常发生在Node.js 和 vue,js项目中&#xff0c;当你试图访问一个不存在的文件或目录时。在大多数情况下&#xff0c;这是因为你的代码试图打开一个不存在的文件&#xff0c;或者你的构建系统&#xff08;例如Webpack&#xff09;需要一个配置文件&#xff0c;但找…...

Postgresql BatchInsert唯一键冲突及解决

Postgresql BatchInsert唯一键冲突及解决 当有唯一键冲突时&#xff0c;批量插入可能会报错&#xff1b; insert into tableA(sno,name,age,emp) values(),(),(); 会报错 insert into tableA(sno,name,age,emp) values(),(),() on conflict on contraint tableA_unique_key do …...

腾讯云AMD服务器标准型SA5实例AMD EPYC Bergamo处理器

腾讯云服务器标准型SA5实例是最新一代的标准型实例&#xff0c;CPU采用AMD EPYC™ Bergamo全新处理器&#xff0c;采用最新DDR5内存&#xff0c;默认网络优化&#xff0c;最高内网收发能力达4500万pps。腾讯云百科txybk.com分享腾讯云标准型SA5云服务器CPU、内存、网络、性能、…...

力扣 --- 加油站

题目描述&#xff1a; 在一条环路上有 n 个加油站&#xff0c;其中第 i 个加油站有汽油 gas[i] 升。 你有一辆油箱容量无限的的汽车&#xff0c;从第 i 个加油站开往第 i1 个加油站需要消耗汽油 cost[i] 升。你从其中的一个加油站出发&#xff0c;开始时油箱为空。 给定两个…...

C++基础 -25- 动态多态

静态多态在程序编译的时候&#xff0c;确定将要执行的状态。 动态多态在程序运行的时候&#xff0c;才能确定执行的状态。 下面举例实现动态多态 work函数接口通过传参不同做不同的工作 #include "iostream"using namespace std;class person {public:person(){}vi…...

数据库-MySQL之数据库必知必会17-21章

第17章 组 合 查 询 创建组合查询 可用UNION操作符来组合数条SQL查询。利用UNION&#xff0c;可给出多条SELECT语句&#xff0c;将它们的结果组合成单个结果集。 **例子&#xff1a;**假如需要价格小于等于5的所有物品的一个列表&#xff0c;而且还想包括供应商1001和1002生产…...

mysql主从复制-redis集群扩容缩容、缓存优化(缓存更新策略、穿透,击穿,雪崩)、mysql主从搭建、django实现读写分离

基于Docker实现读写分离 1 redis集群扩容缩容 1.1 集群扩容 1.2 集群缩容 2 缓存优化 2.1 缓存更新策略 2.2 穿透&#xff0c;击穿&#xff0c;雪崩 3 mysql主从搭建 4 django实现读写分离 1 redis集群扩容缩容 1.1 集群扩容 # 6台机器&#xff0c;3个节点集群# 8台机器&am…...

docker部署kerberos,群晖nas中nfs开启kerberos校验

背景 nas开启nfs存储共享&#xff0c;默认情况下只能给IP/24做限制, 达不到安全效果 需要增加kerberos策略校验&#xff0c;并且持久化kerberos数据&#xff0c;避免容器重启丢失数据 环境描述 宿主机系统&#xff1a;CentOS Linux release 7.9.2009 (Core) Docker版本&#xf…...

【前端】数据行点击选择

前言 【前篇文章】说了,我们公司的核心价值就是让人越来越懒,能怎么便捷就怎么便捷,主打一个简单实用又快捷,为了实现这个目标,我看成这个列表陷入了深思在想,要不要子表的数据加载在点击这个行时,就可以展示数据,这样就不用每次都要点那个小圆圈啦。 查资料 这显然…...

网络安全技术

网络安全技术是一种保护网络系统免受攻击、破坏或未经授权访问的技术。它涵盖了一系列的方法和工具&#xff0c;旨在确保数据的完整性、可用性和保密性。以下是一些主要的网络安全技术&#xff1a; 1. 防火墙&#xff1a;防火墙是一种用于阻止未经授权的访问&#xff0c;同时允…...

这几款 idea 插件让效率起飞!

作者&#xff1a;苍何&#xff0c;前大厂高级 Java 工程师&#xff0c;阿里云专家博主&#xff0c;CSDN 2023 年 实力新星&#xff0c;土木转码&#xff0c;现任部门技术 leader&#xff0c;专注于互联网技术分享&#xff0c;职场经验分享。 &#x1f525;热门文章推荐&#xf…...

[FUNC]判断窗口在哪一个屏幕上

#Requires AutoHotkey v2.0#z:: { ToolTip "Notepad窗口所在显示屏是&#xff1a;" GetMonitor() } GetMonitor() {CoordMode("Mouse", "Screen"); MouseGetPos &mx, &myWinGetPos &mx, &my,,,"ahk_class Notepad"…...

Vue语音播报,不用安装任何包和插件,直接调用。

Vue语音播报功能可以通过使用浏览器提供的Web Speech API来实现。这个API允许你的应用程序通过浏览器朗读文本&#xff0c;不用安装任何包和插件&#xff0c;直接调用。以下是一个简单的介绍&#xff0c;演示如何在Vue中使用语音提示功能&#xff1a; 一、JS版本 <template…...

公网穿透和RTC

RTC RTC 是 Real-Time Communication 的简写&#xff0c;正如其中文名称 “即时通讯” 的意思一样&#xff0c;RTC 协议被广泛用于各种即时通讯领域&#xff0c;诸如&#xff1a; 在线教育&#xff1b;直播中的主播连麦 PK&#xff1b;日常生活的音视频电话&#xff1b;.....…...

uniapp 使用web-view外接三方

来源 前阵子有个需求是需要在原有的项目上加入一个电子签名的功能&#xff0c;为了兼容性和复用性后面解决方法是将这个电子签名写在一个新的项目中&#xff0c;然后原有的项目使用web-view接入这个电子签名项目&#xff1b; 最近又有一个需求&#xff0c;是需要接入第三方的…...

接口测试中缓存处理策略

在接口测试中&#xff0c;缓存处理策略是一个关键环节&#xff0c;直接影响测试结果的准确性和可靠性。合理的缓存处理策略能够确保测试环境的一致性&#xff0c;避免因缓存数据导致的测试偏差。以下是接口测试中常见的缓存处理策略及其详细说明&#xff1a; 一、缓存处理的核…...

学校招生小程序源码介绍

基于ThinkPHPFastAdminUniApp开发的学校招生小程序源码&#xff0c;专为学校招生场景量身打造&#xff0c;功能实用且操作便捷。 从技术架构来看&#xff0c;ThinkPHP提供稳定可靠的后台服务&#xff0c;FastAdmin加速开发流程&#xff0c;UniApp则保障小程序在多端有良好的兼…...

sqlserver 根据指定字符 解析拼接字符串

DECLARE LotNo NVARCHAR(50)A,B,C DECLARE xml XML ( SELECT <x> REPLACE(LotNo, ,, </x><x>) </x> ) DECLARE ErrorCode NVARCHAR(50) -- 提取 XML 中的值 SELECT value x.value(., VARCHAR(MAX))…...

GitHub 趋势日报 (2025年06月08日)

&#x1f4ca; 由 TrendForge 系统生成 | &#x1f310; https://trendforge.devlive.org/ &#x1f310; 本日报中的项目描述已自动翻译为中文 &#x1f4c8; 今日获星趋势图 今日获星趋势图 884 cognee 566 dify 414 HumanSystemOptimization 414 omni-tools 321 note-gen …...

基于Java Swing的电子通讯录设计与实现:附系统托盘功能代码详解

JAVASQL电子通讯录带系统托盘 一、系统概述 本电子通讯录系统采用Java Swing开发桌面应用&#xff0c;结合SQLite数据库实现联系人管理功能&#xff0c;并集成系统托盘功能提升用户体验。系统支持联系人的增删改查、分组管理、搜索过滤等功能&#xff0c;同时可以最小化到系统…...

算法:模拟

1.替换所有的问号 1576. 替换所有的问号 - 力扣&#xff08;LeetCode&#xff09; ​遍历字符串​&#xff1a;通过外层循环逐一检查每个字符。​遇到 ? 时处理​&#xff1a; 内层循环遍历小写字母&#xff08;a 到 z&#xff09;。对每个字母检查是否满足&#xff1a; ​与…...

day36-多路IO复用

一、基本概念 &#xff08;服务器多客户端模型&#xff09; 定义&#xff1a;单线程或单进程同时监测若干个文件描述符是否可以执行IO操作的能力 作用&#xff1a;应用程序通常需要处理来自多条事件流中的事件&#xff0c;比如我现在用的电脑&#xff0c;需要同时处理键盘鼠标…...

作为测试我们应该关注redis哪些方面

1、功能测试 数据结构操作&#xff1a;验证字符串、列表、哈希、集合和有序的基本操作是否正确 持久化&#xff1a;测试aof和aof持久化机制&#xff0c;确保数据在开启后正确恢复。 事务&#xff1a;检查事务的原子性和回滚机制。 发布订阅&#xff1a;确保消息正确传递。 2、性…...

PHP 8.5 即将发布:管道操作符、强力调试

前不久&#xff0c;PHP宣布了即将在 2025 年 11 月 20 日 正式发布的 PHP 8.5&#xff01;作为 PHP 语言的又一次重要迭代&#xff0c;PHP 8.5 承诺带来一系列旨在提升代码可读性、健壮性以及开发者效率的改进。而更令人兴奋的是&#xff0c;借助强大的本地开发环境 ServBay&am…...

人工智能--安全大模型训练计划:基于Fine-tuning + LLM Agent

安全大模型训练计划&#xff1a;基于Fine-tuning LLM Agent 1. 构建高质量安全数据集 目标&#xff1a;为安全大模型创建高质量、去偏、符合伦理的训练数据集&#xff0c;涵盖安全相关任务&#xff08;如有害内容检测、隐私保护、道德推理等&#xff09;。 1.1 数据收集 描…...