关系数据库——并发控制

并发控制

多用户数据库:允许多个用户同时使用的数据库(订票系统)

不同的多事务执行方式:

         1.串行执行:每个时刻只有一个事务运行,其他事务必须等到这个事务结束后方能运行。

         2.交叉并发方式:

单处理机系统中,事务的并发执行实际上是这些并行事务的并行操作轮流交叉运行(不是真正的并发,但是提高了系统效率)

3.同时并发方式:

多处理机系统中,每个处理机可以运行一个事务,多个处理机可以同时运行多个事务,实现多个事务真正的并行运行

并发执行带来的问题:

         多个事务同时存取同一数据(共享资源)

         存取不正确的数据,破坏事务一致性和数据库一致性

概述

并发操作带来的数据不一致性包括

         1)丢失修改(lost update

         2)不可重复读(non-repeatable read

         3)读脏数据(dirty read

记号:Wx)写数据x           Rx)读数据x

 

并发控制机制的任务:

         1)对并发操作进行正确的调度

         2)保证事务的隔离性

         3)保证数据库的一致性

并发控制的主要技术

         1)封锁(locking)(主要使用的)

         2)时间戳(timestamp

         3)乐观控制法(optimistic scheduler

         4)多版本并发控制(multi-version concurrency control MVCC

封锁

封锁:封锁就是事务T在对某个数据对象(例如表、记录等)操作之前,先向系统发出请求,对其加锁。加锁后事务T就对该数据对象有了一定的控制,在事务T释放它的锁之前,其它的事务不能更新此数据对象

 

确切的控制由封锁的类型决定

基本的封锁类型有两种:排它锁(X锁,exclusive locks)、共享锁(S 锁,share locks

排它锁又称写锁,对A加了排它锁之后,其他事务不能对A 任何类型的锁(排斥读和写)

共享锁又称读锁,对A加了共享锁之后,其他事务只能对AS锁,不能加X锁(只排斥写)

(很重要)

封锁协议

在运用X锁和S锁对数据对象加锁时,需要约定一些规则:封锁协议(Locking Protocol

何时申请X锁或S锁、持锁时间、何时释放

对封锁方式制定不同的规则,就形成了各种不同的封锁协议。

常用的封锁协议:三级封锁协议

三级封锁协议在不同程度上解决了并发问题,为并发操作的正确调度提供一定的保证。

 

1、一级封锁协议

事务T在修改数据R之前,必须先对其加X锁,直到事务结束(commit/rollback)才释放。

一级封锁协议可以防止丢失修改

如果是读数据,不需要加锁的,所以它不能保证可重复读和不读“脏”数据。

2 二级封锁协议

         在一级封锁协议的基础(写要加X锁,事务结束释放)上,增加事务T在读入数据R之前必须先对其加S锁,读完后即可释放S锁。(读要加S锁,读完即释放)

二级封锁协议除了可以防止丢失修改,还可以防止读脏数据

由于读完数据即释放S锁,不能保证不可重复读

3、三级封锁协议:

         在一级封锁协议基础上增加事务T在读取数据R之前必须先对其加S锁,直到事务结束后释放。

三级封锁协议除了可以防止丢失修改和读脏数据外,还防止了不可重复读

三级封锁协议的主要区别是什么操作需要申请锁,何时释放锁。封锁协议越高,一致性程度越高。

 

饥饿

 

饥饿:事务T1封锁了数据R,事务T2又请求封锁R,于是T2等待。T3也请求封锁R,当T1释放了R上的封锁之后,系统首先批准了T3的请求,T2仍然等待。 T4又请求封锁R,当T3释放了R上的封锁之后系统又批准了T4的请求……T2有可能永远等待,这就是饥饿的情形

避免饥饿的方法:先来先服务

当多个事务请求封锁同一数据对象时,按请求封锁的先后次序对这些事务排队

该数据对象上的锁一旦释放,首先批准申请队列中第一个事务获得锁。

 

死锁

 

死锁:事务T1封锁了数据R1 T2封锁了数据R2 T1又请求封锁R2,因T2已封锁了R2,于是T1等待T2释放R2上的锁。 接着T2又申请封锁R1,因T1已封锁了R1T2也只能

等待T1释放R1上的锁。 这样T1在等待T2,而T2又在等待T1T1T2两个事务永远不能结束,形成死锁。

解决死锁的方法:预防、诊断和解除

1、死锁的预防

产生死锁的原因是两个或多个事务都已经封锁了一些数据对象,然后又都请求对已被其他事务封锁的数据对象加锁,从而出现死等待。

预防死锁发生就是破坏产生死锁的条件

方法

1)一次封锁法:

         要求每个事务必须一次将所有要使用的数据全部加锁,否则就不能继续执行。

         存在的问题:降低系统的并发度;难以实现精确确定封锁对象

2)顺序封锁法:

         预先对数据对象规定一个封锁顺序,所有事务都按这个顺序实施封锁。

         存在的问题:

维护成本:数据库系统中的封锁对象极多,并且在不断地变化

难以实现:很难实现确定每一个事务要封锁哪些对象

DBMS普通采用的诊断并解除死锁的方法

2、死锁的诊断和解除

         方法:超时法和事务等待图法

         1)超时法:如果一个事务的等待时间超过了规定的时限,就认为发生了死锁

                  优点:实现简单

                  缺点:误判死锁;时限若设置太长,死锁发生后不能及时发现。

         2)事务等待图法:用事务等待图动态反映所有事务的等待情况事务

等待图是一个有向图G=(TU)T为结点的集合,每个结点表示正运行的事务, U为边的集合,每条边表示事务等待的情况。若T1等待T2,则T1T2之间划一条有向边,从T1指向T2

并发控制子系统周期性地(比如每隔数秒)生成事务等待图,检测事务。如果发现图中存在回路,则表示系统中出现了死锁。    

解除死锁:并发控制子系统选择一个处理死锁代价最小的事务,将其撤销。

释放该事务持有的所有的锁,使其他事务能够继续运行下去。

 

 

串行调度

什么样的调度是正确的?串行调度是正确的。

(执行结果等价于串行调度的调度也是正确的,这样的调度称为可串行化调度。)

可串行化调度

定义:多个事务的并发执行是正确的,当且仅当其结果与按某一次序串行地执行这些事务时的结果相同,称这种调度策略为可串行化调度(serializable)。

可串行性是并发事务正确调度的准则。按这个准则规定,一个给定的并发调度,当且仅当它是可串行化的,才认为是正确调度。

冲突可串行化调度

判断可串行化调度的充分条件

冲突操作:不同的事务对同一个数据的读写和写写操作。

不同事务的冲突操作和同一事务的两个操作是不能交换的。

Rix)和Wjx)不可交换,Wix)和Wjx)不可交换

冲突可串行化调度:

一个调度Sc在保证冲突操作的次序不变的情况下,通过交换两个事务不冲突操作的次序得到另一个调度Sc’,如果Sc’是串行的,称调度Sc为冲突可串行化的调度。

 

两段锁协议

DBMS的并发控制机制必须提供一定的手段来保证调度是可串行化的。目前DBMS普遍采用两段锁协议(TwoPhase Locking,简称2PL)的方法来显示并发调度的可串行性。

 

两段锁协议是指所有事务必须分两个阶段对数据对象进行加锁和解锁。

         1)在对任何数据进行读写操作以前,首先要申请并获得对该数据的锁。

         2)在释放一个锁之后,事务不再申请和获得其他任何的锁。

“两段”锁的含义:事务分为两个阶段

第一阶段是获得封锁,也称为扩展阶段

事务可以申请获得任何数据对象上的任何类型的锁,但是不能释放任何锁

第二阶段是释放封锁,也称为收缩阶段

事务可以释放任何数据对象上的任何类型的锁,但是不能再申请任何锁

 

事务遵守两段锁协议是可串行化调度的充分条件,而不是必要条件。

若并发事务都遵守两段锁协议,则对这些事务的任何并发调度策略都是可串行化的

若并发事务的一个调度是可串行化的,不一定所有事务都符合两段锁协议

 

两段锁协议与防止死锁的一次封锁法

一次封锁法要求每个事务必须一次将所有要使用的数据全部加锁,否则就不能继续执行,因此一次封锁法遵守两段锁协议

但是两段锁协议并不要求事务必须一次将所有要使用的数据全部加锁,因此遵守两段锁协议的事务可能发生死锁

 

封锁的粒度

封锁对象的大小称为封锁粒度(granularity)。

封锁的对象可以是逻辑单元(属性值、属性值集合、元组、关系、索引项、数据库),也可以是物理单元(页、物理记录)。

选择封锁粒度原则:

         封锁粒度和系统的并发度和并发控制的开销密切相关

         封锁的粒度越大,数据库所能够封锁的数据单元就越少,并发度就越低,系统开销也

越小;

封锁的粒度越小,并发度较高,但系统开销也就越大

 

意向锁

意向锁:如果对一个节点加意向锁,则可说明该节点的下层节点正在被加锁;对任一节点加锁时,必须先对它的上层节点加意向锁。

例如,对任一元组加锁时,必须先对它所在的数据库和关系加意向锁。

三种常用的意向锁:意向共享锁(Intent Share LockIS锁);意向排它锁(Intent Exclusive LockIX锁);共享意向排它锁(Share Intent Exclusive LockSIX锁)。

 

1IS

如果对一个数据对象加IS锁,表示它的子节点拟加S锁。

例如:事务T1要对R1中某个元组加S锁,则要首先对关系R1和数据库加IS

 

2IX

如果对一个数据对象加IX锁,表示它的子节点拟加X锁。

例如:事务T1要对R1中某个元组加X锁,则要首先对关系R1和数据库加IX

 

3SIX

如果对一个数据对象加SIX锁,表示对它加S锁,再加IX锁,即SIX = S + IX

 

例如:对某个表加SIX锁,则表示该事务要读整个表(所以要对该表加S锁),同

时会更新个别元组(所以要对该表加IX锁)

意向锁的强度: 锁的强度是指它对其他锁的排斥程度。一个事务在申请封锁时以强锁代替弱锁是安全的,反之则不然。

具有意向锁的多粒度封锁方法

申请封锁时应该按自上而下的次序进行

释放封锁时则应该按自下而上的次序进行

优点:

         1)提高了系统并发度

         2)减少了加锁和解锁的开销

在实际的DBMS产品中得到广泛应用。

 

其他并发控制

并发控制的方法除了封锁技术外,还有时间戳方法、乐观控制法和多版本并发控制。

时间戳方法:给每一个事务盖上一个时标,即事务开始的时间。每个事务具有唯一的时间戳,并按照这个时间戳来解决事务的冲突操作。如果发生冲突操作,就回滚到具有较早时间戳的事务,以保证其他事务的正常执行,被回滚的事务被赋予新的时间戳被从头开始执行。

乐观控制法认为事务执行时很少发生冲突,所以不对事务进行特殊的管制,而是让它自由执行,事务提交前再进行正确性检查。如果检查后发现该事务执行中出现过冲突并影响了可串行性,则拒绝提交并回滚该事务。又称为验证方法

多版本控制是指在数据库中通过维护数据对象的多个版本信息来实现高效并发的一种策略。

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

C++(6)--初识循环while,do-while

初识循环1.使用while 循环结构2.使用do-while 循环3.python中的while循环《老九学堂C课程》《C primer》学习笔记。《老九学堂C课程》详情请到B站搜索《老九零基础学编程C入门》-------------简单的事情重复做,重复的事情用心做,用心的事情坚持做(老九君…

map类的erase方法的在Linux与Windows中的差异

这次的代码是跨平台的,尼玛在win32上通过,但是在linux上不通过了,查找了一下原来是平台linux不支持。 有人举了例子: std::map< int , float > i_f_map; i_f_map[1] = 1.2f; i_f_map[23] = 1.4f;

C++(7)--for循环,break,continue语句

for循环1.for循环2.break 语句3.continue语句4.while,do-while,for 循环的异同5.for循环demo 嵌套循环-打印图形6.python 中的for循环《老九学堂C课程》《C primer》学习笔记。《老九学堂C课程》详情请到B站搜索《老九零基础学编程C入门》-------------简单的事情重复做&#x…

关系数据库——数据库恢复

实现技术 恢复操作的基本原理&#xff1a;冗余 恢复机制涉及的两个关键问题 如何建立冗余数据 数据转储&#xff08;backup&#xff09;登录日志文件&#xff08;logging&#xff09; 如何利用这些冗余数据实施数据库恢复数据转储 数据转储定义&#xff1a; 转储是指DBA将整个数…

Lua语言中pairs和ipairs的区别

tbl = {"alpha", "beta", ["one"] = "uno", ["two"] = "dos"} for key, value in ipairs(tbl) do print(key, value) end --pairs() --pairs()函数基本和ipairs()函数用法相同, 区别在于pairs()可以遍历整个table…

算法(22)-leetcode-剑指offer6

leetcode-剑指offer-545.面试题55- 二叉树的深度46.面试题55-2-平衡二叉树47.面试题57-1-和为s的两个数字-双指针48.面试题57-2-和为s 的连续正数序列-双指针49.面试题56-数组中出现数字的次数-位运算leetcode-136 只出现一次的数字Ileetcode-137 只出现一次的数字IIleetcode-2…

leetcode160 相交链表

编写一个程序&#xff0c;找到两个单链表相交的起始节点。 如下面的两个链表&#xff1a; 在节点 c1 开始相交。 示例 1&#xff1a; 输入&#xff1a;intersectVal 8, listA [4,1,8,4,5], listB [5,0,1,8,4,5], skipA 2, skipB 3 输出&#xff1a;Reference of the node…

lua的一些api文档总结吧

打算记录一些我认为重要的常用的api: 1. 建一个新表 void lua_createtable (lua_State *L, int narr, int nrec) 创建一个新的table, 并把它放在栈顶. narr和nrec分别指定该table的array部分和hash部分的预分配元素数量 无返回值 栈高度+1, 栈顶元素是新table #define l…

关于mysql的一些时间格式和字符的问题

最近在做一些游戏的数据分析&#xff0c;需要对大量数据的用户行为进行处理存库&#xff0c;其中有个数据库字段是datetime类型的&#xff0c;这个以前都没用过&#xff0c;我以前都喜欢用int来存放时间戳&#xff0c;但这次这样用&#xff0c;我就得在数据库中转换了&#xff…

算法(17)-leetcode-剑指offer1

leetcode-剑指offer-11.面试题3-数组中的重复数字2.面试题04-二维数组中的查找3.面试题05-替换空格4.面试题06-从尾到头打印链表5.面试题07-重建二叉树6.面试题09-两个堆栈实现队列7.面试题10-1-斐波那契数列8.面试题10-2-青蛙跳台阶问题9.面试题11-旋转数组的最小数字10.面试题…

蚁群算法的一些东西

运行了三个TSP经典用例,基本符合要求。仅仅是一份按照蚁群算法的原理写的代码,没有做任何优化。 // bigSearch.cpp : 定义控制台应用程序的入口点。 // #include<iostream> #include<math.h> #include<time.h> using namespace std; //该程序是以…

leetcode101 对称二叉树

给定一个二叉树&#xff0c;检查它是否是镜像对称的。 例如&#xff0c;二叉树 [1,2,2,3,4,4,3] 是对称的。 1 / \ 2 2 / \ / \ 3 4 4 3 但是下面这个 [1,2,2,null,3,null,3] 则不是镜像对称的: 1 / \ 2 2 \ \ 3 3 说明: 如果你可以运用递归和迭…

Linux内核OOM机制的详细分析

Linux 内核有个机制叫OOM killer&#xff08;Out-Of-Memory killer&#xff09;&#xff0c;该机制会监控那些占用内存过大&#xff0c;尤其是瞬间很快消耗大量内存的进程&#xff0c;为了防止内存耗尽而内核会把该进程杀掉。典型的情况是&#xff1a;某天一台机器突然ssh远程登…

算法(18)-leetcode-剑指offer2

leetcode-剑指offer-211.面试题13-机器人的运动范围-广度优先搜索12.面试题14-1-剪绳子13.面试题14-2-剪绳子214.面试题16-二进制中1的个数-布莱恩克尼根15.面试题16-数值的整数次方-快速幂解析法16.面试题17-打印从1到最大的n位数17.面试题18-删除链表的节点18.面试题19-正则匹…

rabbitmq技术的一些感悟(一)

Rabbitmq 初识rabbitmq RabbitMQ是流行的开源消息队列系统,用erlang语言开发。RabbitMQ是AMQP(高级消息队列协议)的标准实现。如果不熟悉AMQP,直接看RabbitMQ的文档会比较困难。不过它也只有几个关键概念,这里简单介绍 几个概念说明: Broker

leetcode21 合并两个链表

将两个有序链表合并为一个新的有序链表并返回。新链表是通过拼接给定的两个链表的所有节点组成的。 示例&#xff1a; 输入&#xff1a;1->2->4, 1->3->4 输出&#xff1a;1->1->2->3->4->4 思路&#xff1a;链表归并。 /*** Definition for si…

rabbitmq技术的一些感悟(二)

上一节文章主要是说了一下rabbitmq的安装以及搭建好环境的一些命令,以及常用的api调用,其实自从google被封掉之后,我之前收藏的很多技术连接都已经被禁止访问了,这个是多么可悲的一件事情啊,说多了都是泪。 首先,我先写一段消费者的模块,建立连接,初始化amq以及销毁连接…

算法(19)-leetcode-剑指offer3

leetcode-剑指offer-321.面试题22-链表中的倒数第k个节点22.面试题24-反转链表23.面试题25-合并两个排序链表-递归24.面试题26-树的子结构25.面试题27-二叉树的镜像26.面试题28-对称二叉树27.面试题29-顺时针打印矩阵28.面试题30-包含min函数的栈29.面试题31-栈的押入&#xff…

高效解析xml的总结,闲下来写的

需要这么几个库&#xff0c;直接放在你的代码工程里即可&#xff1a; #include "rapidxml.h" #include "rapidxml_utils.h" int ReBornBossConf::loadConf(const char* szFileName){ rapidxml::file<char> fdoc(szFileName); rapidxml::xml_docum…

leetcode35 插入的位置

给定一个排序数组和一个目标值&#xff0c;在数组中找到目标值&#xff0c;并返回其索引。如果目标值不存在于数组中&#xff0c;返回它将会被按顺序插入的位置。 你可以假设数组中无重复元素。 思路&#xff1a;二分查找 public class Solution {public int searchInsert(i…