【数据库】数据库并发控制的冲突检测,冲突可串行化的调度,保障事务的特性

冲突可串行化

专栏内容

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

开源贡献

  • toadb开源库

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

文章目录

  • 冲突可串行化
  • 前言
  • 概述
  • 冲突
    • 冲突的概念
    • 冲突的发生条件
    • 冲突可串行化
  • 优先图检测方法
  • 总结
  • 结尾

在这里插入图片描述

前言

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

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

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

概述

商用数据库管理系中的调度器通常强制执行被称为“冲突可串行化”的条件,它比前一篇博文中分享的可串行化的一般要强,它是基于冲突这一概念。

我们通常执行的很多并发事务,都会发生冲突,本文就来分享一下突冲的原因,以及如何检测冲突发生,如何做到冲突可串行化。

冲突

首先我们先来了解一下冲突是什么?

冲突的概念

冲突,即调度中一对连续的动作,它们满足,如果它们的顺序发生交换,那么它们涉及的事务至少有一个的行为会改变。

冲突的发生条件

一般什么情况下会发生冲突呢?

数据库的操作可以分为写和读两种,我们看一下两个事务,分别有一个操作时,什么情况下为会产生冲突。

  • 当两个事务对同一数据库元素读时,先后顺序交换,并不发生结果的改变,不会冲突;
  • 当两个事务操作同一个数据元素时,有一个读,一个写时,先后顺序交换,读操作的事务的结果就会不一样,这时就会产生冲突;
  • 当两个事务操作同一个数据元素时,两个事务都进行写操作,先后顺序交换,两个事务的结果都不会一样;
  • 当两个事务操作不同数据库元素时,不管是读还是写,顺序交换,结果都不会受影响,所以不会产生冲突;

从上面例子可以得到这样一个结论:

  • 不同事务操作同一个数据库元素;
  • 操作中至少有一个是写操作;

那么我们将一个执行序列进行调度,进行任意非冲突的可串行化调度,目标是将这一序列转化为可串行化,如果能达到这一点,那么它最初调度是可串行化的调度,因为在做每一个非冲突可串行化调度时,初始状态一样,对数据库的影响在不同序列下是一样的。

冲突可串行化

  • 如果对于并发执行的序列进行一系列相邻动作的非冲突交换,能转换为另一个,这两个调度可以称为冲突等价的。

  • 如果一个冲突调度等价于一个可串行化调度,那么可以称这个调度为冲突可串行化;

当然冲突可串行化是可串行化的充分非必要条件,

优先图检测方法

通过上面的冲突发生条件分析,说明事务的语义会影响串行化,但是对于调度器来说,它不会深入到事务执行的细节,但是调度器能够看来自事务的读写请求,以及那些数据元素发生了改变,这样它可以通过数据元组的访问来识别冲突。

在一个调度执行序列中,可以确定冲突动作对应的事务的先后顺序,如何事务先后顺序在不同冲突动作上,呈现出不同的顺序,那么我们认为是冲突不可串行化的。

那这一特点通过优先图就可以体现出来。

T1->T2->T3

如果是这样一个图,那么就是冲突可串行化的。

T1->T2->T3->T2

如果是这样一个图,T2与T3之间存在了一个环,那么就是冲突不可串行化的。

总结

在数据库并发事务情况下,冲突是不可避免的,通过优先图的方法来检测冲突,使得调度器能够找到一种冲突可串行化的调度方案。

这是一个简单的C语言程序,它使用了状态模式来输出"Hello, world!":

#include <stdio.h>
#include <stdlib.h>

// 定义状态结构体
typedef struct State State;
struct State {
    void (*printMessage)(void);
};

// 定义转换函数
void printHello(void) {
    printf("Hello, world!\n");
}

// 定义初始状态
State initialState = { .printMessage = printHello };

// 定义状态转换函数
void transition(State *state) {
    switch (*state) {
        case 'H':
            (*state).printMessage = printHello;
            break;
        default:
            printf("Invalid state\n");
            break;
    }
}

int main() {
    State state = initialState;
    transition(&state);
    return 0;
}

这个程序定义了一个状态结构体,其中有一个函数指针用于指向打印消息的函数。然后定义了一个初始状态,该状态中的函数指针指向printHello函数。transition函数接受一个指向状态的指针,并根据当前状态来改变它指向的函数。在main函数中,我们首先设置初始状态,然后调用transition函数来改变状态。

结尾

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

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

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

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

centos服务器安装docker和Rabbitmq

centos服务器 一 centos安装docker1 安装docker所需要的依赖包2配置yum源3查看仓库中所有的docker版本4安装docker5 设置docker为开机自启6验证docker是否安装成功 二 使用docker安装RabbitMQ拉取RabbitMQ镜像创建并运行容器 一 centos安装docker 1 安装docker所需要的依赖包 …

git解决冲突

记录一次 git 解决冲突的过程。 情况是前一段时间我基于本地的 master 分支上新建了一个分支比如叫做 weight_linear: git checkout -b weight_linear 然后我已经在这个分支上进行了修改并上传到 github 上了&#xff0c;比如&#xff1a; git add . git commit -m "u…

联软 IT 安全运维管理软件反序列化漏洞复现

0x01 产品简介 联软科技持续十多年研发的联软IT安全运维管理软件&#xff0c;集网络准入控制、终端安全管理、BYOD设备管理、杀毒管理、服务器安全管理、数据防泄密、反APT攻击等系统于一体&#xff0c;通过一个平台&#xff0c;统一框架&#xff0c;数据集中&#xff0c;实现更…

数据中心机房精密配电——解决方案

新一代数据中心对供电系统的可靠性及可管理性要求越来越高。IT用户需要对信息设备的供电系统进行更可靠与更灵活的配电、更精细化的管理、更准确的成本消耗等。 一、前言 随着各行业信息化的建设&#xff0c;数据中心机房机柜电功率的预设定问题&#xff0c;并且介绍了如何通…

three.js结合vue

作者&#xff1a;baekpcyyy&#x1f41f; 1.搭建环境 ps&#xff1a;这里要按照node.js在之前有关vue搭建中有介绍 新建文件夹并在vsc终端中打开 1.输入vite创建指令 npm init vitelatest然后我们cd进入刚才创建的目录下 npm install安装所需依赖 npm run dev启动该项目 …

目标检测简介

文章目录 前言一、目标检测的概述1.1 目标检测概念1.2 主流解决方式1.3 应用领域 二、目标检测的发展2.1 两阶段目标检测2.2 单阶段目标检测2.3 新时代的检测技术 三、目标检测的指标3.1 基础概念3.2 评价指标3.3 评价指标代码实现3.3.1 精确率3.3.2 召回率3.3.3 准确率3.3.4 F…

[安洵杯 2019]easy_web

打开环境 img传参还有cmd img应该是base&#xff0c;先解码看看 3535352e706e67 这个好像是十六进制的&#xff0c;再解 访问一下看看&#xff0c;得到一张图片 尝试base解码&#xff0c;但是没有什么发现 再看看地址栏出现index.php,应该是要下载源码&#xff0c;但是还没有…

渗透测试学习day4

文章目录 靶机&#xff1a;SequelTask1Task2Task3Task4Task5Task6Task7Task8 靶机&#xff1a;CrocodileTask1Task2Task3Task4Task5Task6Task7Task8Task9Task10 靶机&#xff1a;ResponderTask1Task2Task3Task4Task5Task6Task7Task8Task9Task10Task11 靶机&#xff1a;ThreeTas…

【开源】基于Vue+SpringBoot的高校宿舍调配管理系统

项目编号&#xff1a; S 051 &#xff0c;文末获取源码。 \color{red}{项目编号&#xff1a;S051&#xff0c;文末获取源码。} 项目编号&#xff1a;S051&#xff0c;文末获取源码。 目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能需求2.1 学生端2.2 宿管2.3 老师端 三、系统…

Visual Studio 2022分析C#程序内存泄漏

背景 最近我们的项目出现了内存激增的情况&#xff0c;初次探讨&#xff0c;我们发现和机器人发生通信之后&#xff0c;内存会缓慢上升&#xff0c;直到系统崩溃。 例子 由于只是介绍一个简单的方案&#xff0c;所以就写一个比较简单的例子来演示了&#xff0c;代码如下&…

Electron+Ts+Vue+Vite桌面应用系列:TypeScript常用时间处理工具

文章目录 1️⃣ 时间处理工具1.1 格式化时间1.2 把时间戳改成日期格式1.3 Day.js 工具类使用1.4 date-fns 工具类使用 优质资源分享 作者&#xff1a;xcLeigh 文章地址&#xff1a;https://blog.csdn.net/weixin_43151418/article/details/134712978 ElectronTsVueVite桌面应用…

C# 用代码设置受保护的Excel

写在前面 在导出Excel文件的时候&#xff0c;为了防止文件内容被篡改&#xff0c;这时候就需要对Excel设置工作簿保护和工作表保护&#xff0c;本文使用的是Spire.XLS的免费版本来实现&#xff0c;免费版本是受限的&#xff0c;但是一般情况下已经够用了。 通过NuGet引入Free…

怎么使用Matplotlib画图(折线图、散点图、柱状图、直方图、饼图)

文章目录 前言一、Matplotlib介绍1.1 什么是Matplotlib1.2 为什么要学习Matplotlib1.3 实现一个简单的Matplotlib画图&#xff08;Hello World&#xff09;1.4 认识Matplotlib图像结构1.5 拓展知识点&#xff1a;matplotlib三层结构1.5.1 容器层1.5.2 辅助显示层1.5.3 图像层 二…

对某登录站点的JS前端逆向思路

前言 js逆向一直没有相关了解&#xff0c;虽然目前渗透遇见的不是很多&#xff0c;大多数遇见的要么不加密&#xff0c;要么无法实现其加密流程&#xff0c;不过最近看到了一个较为简单的站点正好能够逆向出来&#xff0c;就做了简单记录。本文旨在介绍js逆向的一些基础思路&a…

Golang数据类型(数字型)

Go数据类型&#xff08;数字型&#xff09; Go中数字型数据类型大致分为整数&#xff08;integer&#xff09;、浮点数&#xff08;floating point &#xff09;和复数&#xff08;Complex&#xff09;三种 整数重要概念 整数在Go和Python中有较大区别&#xff0c;主要体现在…

Spring Security 6.x 系列(7)—— 源码分析之Builder设计模式

一、Builder设计模式 WebSecurity、HttpSecurity、AuthenticationManagerBuilder 都是框架中的构建者&#xff0c;把他们放到一起看看他们的共同特点&#xff1a; 查看AuthenticationManagerBuilder的继承结构图&#xff1a; 查看HttpSecurity的继承结构图&#xff1a; 查看W…

Java实现飞翔的鸟小游戏

Java实现飞翔的鸟小游戏 1.准备工作 创建一个新的Java项目命名为“飞翔的鸟”&#xff0c;并在src中创建一个包命名为“com.qiku.bird"&#xff0c;在这个包内分别创建4个类命名为**“Bird”、“BirdGame”、“Column”、“Ground”&#xff0c;并向需要的图片**素材导入…

Redis7--基础篇4(Redis事务)

Redis事务是什么 可以一次执行多个命令&#xff0c;本质是一组命令的集合&#xff0c;一个事务中的所有命令都会序列化&#xff0c;按顺序串行&#xff0c;而不会被其他命令插入。 其作用就是在一个队列中&#xff0c;一次性、顺序、排他的执行一系列命令。 Redis事务 VS 数据…

【Java】文件I/O-文件内容操作-输入输出流-Reader/Writer/InputStream/OutputStream四种流

导读 在文件I/O这一节的知识里&#xff0c;对文件的操作主要分为两大类&#xff1a; ☑️针对文件系统进行的操作 ☑️针对文件内容进行的操作 上文已经讲了针对文件系统即File类的操作&#xff0c;这篇文章里博主就来带了解针对文件内容的操作&#xff0c;即输入输出流&am…

润申信息企业标准化管理系统 SQL注入漏洞复现

0x01 产品简介 润申信息科技企业标准化管理系统通过给客户提供各种灵活的标准法规信息化管理解决方案&#xff0c;帮助他们实现了高效的标准法规管理&#xff0c;完成个性化标准法规库的信息化建设。 0x02 漏洞概述 润申信息科技企业标准化管理系统 CommentStandardHandler.as…