(数据库系统概论|王珊)第十一章并发控制-第二、三、四节:封锁、封锁协议活锁和死锁
文章目录
- 一:封锁
- (1)概念
- (2)类型
- (3)控制方式
- 二:封锁协议
- (1)概念
- (2)三级封锁协议
- ①:一级封锁协议
- ②:二级封锁协议
- ③:三级封锁协议
- 三:活锁和死锁
- (1)活锁
- (2)死锁
- A:概念
- B:死锁产生的四个必要条件
- ①:互斥条件
- ②:不可剥夺条件
- ③:持有并等待条件
- ④:循环等待条件
- C:解决死锁的方法
- 预防死锁
- ①:破坏互斥条件
- ②:破坏不可剥夺条件
- ③:破坏持有并等待条件(对应一次封锁法)
- ④:破坏循环等待条件(对应顺序封锁法)
- 死锁检测
- ①:超时法
- ②:等待图法(资源分配图)
- 死锁解除
一:封锁
(1)概念
封锁:封锁就是事务TTT在对某个数据对象(表、记录等)操作之前,先向系统发出请求,对其加锁;加锁后事务TTT对该数据对象就有了一定的控制,在事务TTT释放它的锁之前,其它的事务不能更新此数据对象;DBMS通常提供了多种类型的封锁,一个事务对某个数据对象加锁后究竟拥有怎样的控制是由封锁的类型决定的
(2)类型
基本封锁类型有如下两种
- 排他锁(XXX锁):又称为写锁,若事务TTT对数据对象AAA加上XXX锁,则只允许TTT读取和修改AAA,其他任何事务都不能再对AAA加任何类型的锁,直到TTT释放AAA上的锁
- 共享锁(SSS锁):又称为读锁,若事务TTT对数据对象AAA加上SSS锁,则其他事务只能再对AAA加SSS锁,而不能加XXX锁,直到TTT释放AAA上的SSS锁
,
(3)控制方式
排他锁与共享锁的控制方式可以用下图所示的相容矩阵来表示
- 最左边一列表示事务T1T_{1}T1已经获得的数据对象上的锁的类型,其中横线表示没有加锁
- 最上面一行表示另一事务T2T_{2}T2对同一数据对象发出的封锁请求
- T2T_{2}T2的封锁请求能否被满足用矩阵中的YYY和NNN表示。其中YYY表示事务T2T_{2}T2的封锁与T1T_{1}T1已持有的锁相容,封锁请求可以满足;NNN表示T2T_{2}T2的封锁请求与T1T_{1}T1已持有的锁冲突,请求被拒绝
二:封锁协议
(1)概念
封锁协议:是指在运用XXX锁和SSS锁对数据对象加锁时需要遵照的一些规则。例如,何时申请、持续时间、和何时释放等。不同的封锁协议,为并发操作的正确调度提供了一定的保证,所能达到的系统一致性级别也是不同的。常用的封锁协议有
- 支持一致性维护的三级封锁协议(本节)
- 支持并行调度可串行化的两段锁协议/避免死锁的协议
(2)三级封锁协议
①:一级封锁协议
一级封锁协议:事务TTT在修改数据RRR之前必须先对其加XXX锁,直到事务结束(COMMIT
或ROLLBACK
)才释放
- 优点:可以防止丢失修改
- 缺点:如果仅是读数据,是不需要加锁的。所以它不能保证可重复读和不读脏数据
②:二级封锁协议
二级封锁协议:是指在一级封锁协议基础上增加事务TTT在读取数据RRR之前必须先对其加SSS锁,读完后即可释放SSS锁
- 优点:可以方式丢失修改和读脏数据
- 缺点:不能保证可重复读
③:三级封锁协议
三级封锁协议:是指在一级封锁协议基础上增加事务TTT在读取数据RRR之前必须先对其加SSS锁,直到事务结束才可以释放SSS锁
- 防止丢失修改和读脏数据,还防止了不可重复读
总结
三:活锁和死锁
一个问题的解决必然会导致另一个问题的出现。封锁技术可以有效地解决并发操作的一致性问题,但是会带来新的问题
- 活锁
- 死锁
(1)活锁
活锁:事务T1T_{1}T1封锁数据RRR,事务T2T_{2}T2又请求封锁RRR,因此事务T2T_{2}T2被迫等待。此时,事务T3T_{3}T3也请求封锁RRR,因此事务T3T_{3}T3也被迫等待。当T1T_{1}T1释放RRR的封锁后,系统却首先批准了T3T_{3}T3的请求,T2T_{2}T2只能继续等待。然后,又有别的事务到来,由于事务T2T_{2}T2的优先级可能较低,所以导致它长时间得不到服务,产生饥饿现象。这就是活锁。避免活锁可以废除特权,采用先来先服务算法
(2)死锁
- 注意此部分在操作系统中属于重点内容,详细了解请点击跳转:【专栏必读】王道考研408操作系统万字笔记(从学生角度辅助大家理解):各章节导航及思维导图
A:概念
死锁:两个或两个以上事务均处于等待状态,每个事务都在等待其中另一个事务封锁的数据,导致任何事务都不能向前推进的现象
B:死锁产生的四个必要条件
- 此部分内容选自:(王道408考研操作系统)第二章进程管理-第四节1:死锁相关概念
①:互斥条件
互斥条件:是指只有对必须互斥使用的资源抢夺时才可能导致死锁。比如打印机设备就可能导致互斥,但是像内存、扬声器则不会
- 进程A已经获得资源,进程B只能等待
②:不可剥夺条件
不可剥夺条件:是指进程所获得的资源在未使用完之前,不能由其他进程强行夺走,只能主动释放
③:持有并等待条件
持有并等待条件:是指进程已经至少保持了一个资源,但又提出了新的资源请求,但是该资源又被其他进程占有,此时请求进程被阻塞,但是对自己持有的资源保持不放
④:循环等待条件
循环剥夺条件:是指存在一种进程资源的循环等待链,链中的每一个进程已获得的资源同时被下一个进程所请求
C:解决死锁的方法
解决死锁主要有下面三种方法(每一种在对应文章中都有详细介绍,限于篇幅,这里只挑取重点)
- (王道408考研操作系统)第二章进程管理-第四节2:死锁处理策略之预防死锁
- (王道408考研操作系统)第二章进程管理-第四节2:死锁处理策略之避免死锁(银行家算法)
- (王道408考研操作系统)第二章进程管理-第四节3:死锁处理策略之检测和解除
预防死锁
①:破坏互斥条件
- 互斥条件是指只有对必须互斥使用的资源抢夺时才可能导致死锁。比如打印机设备就可能导致互斥,但是像内存、扬声器则不会
破坏互斥条件:如果把只能互斥使用的资源改造为允许共享使用,则系统不会进入死锁状态。但并不是所有资源都可以改造为成共享使用的资源的,而且为了系统安全性,很多地方也是禁止改造的,所以互斥条件一般无法破坏
②:破坏不可剥夺条件
- 不可剥夺条件是指进程所获得的资源在未使用完之前,不能由其他进程强行夺走,只能主动释放
破坏不可剥夺条件:可以有以下两种方案
- 方案一:当某个进程请求新的资源得不到满足时,它必须立即释放保持的所有资源,待以后需要时再重新申请。 也就是说,即使某些资源尚未使用完,也需要主动释放
- 方案二:当某个进程需要的资源被其他进程占有的时候,可以由操作系统协助,将想要的资源强行剥夺。 这种方式一般需要考虑各个进程的优先级
缺点
- 实现起来比较复杂
- 释放已获得的资源可能造成前一阶段工作的失效,所以这种方法一般只适用于易保存和恢复状态的资源,比如CPU
- 反复申请和释放资源会增加系统开销,降低系统吞吐量
- 若采用方法一,意味着只要暂时得不到某个资源,之前获得的那些资源都需要放弃,以后再重新申请,容易导致进程饥饿
③:破坏持有并等待条件(对应一次封锁法)
- 持有并等待条件:是指进程已经至少保持了一个资源,但又提出了新的资源请求,但是该资源又被其他进程占有,此时请求进程被阻塞,但是对自己持有的资源保持不放
破坏持有并等待条件:可以采用静态分配方法。进程在运行前一次申请完它所需要的全部资源,在它的资源未得到满足前,不允许投入运行;一旦投入运行,这些资源就一直归它所有,该进程不会再请求别的任何资源
缺点
- 有些资源可能只需要使用很短的时间,因此如果进程的整个运行期间都一直保持着所有资源,就会造成严重的资源浪费,资源利用率极低,并且该策略也有可能导致饥饿现象
④:破坏循环等待条件(对应顺序封锁法)
- 循环剥夺条件:是指存在一种进程资源的循环等待链,链中的每一个进程已获得的资源同时被下一个进程所请求
破坏循环等待条件:可以采用顺序资源分配方法。首先给系统中的资源进行编号,规定每个进程必须按照编号递增的顺序请求资源,编号相同的资源(也就是同类资源)一次申请完
- 这是因为一个进程只有在已经占有小编号资源的同时,才有资格申请更大编号的资源。所以已经持有大编号资源的进程不可能逆向申请小编号的资源
缺点
- 不方便增加新的设备,因为可能需要重新分配所有的编号
- 进程实际使用资源的顺序可能和编号递增顺序不一致,造成资源浪费
- 必须按规定次序申请资源,为用户编程带来了麻烦
死锁检测
①:超时法
超时法:如果一个事务的等待时间超过了规定的时限,就认为发生了死锁
- 优点:实现简单
- 缺点:有可能误判死锁;时限标准难以把握
②:等待图法(资源分配图)
两种结点
- 进程结点:对应一个进程
- 资源结点:对应一类资源,其数量可能有多个
两种边
- 进程结点->资源结点:进程想要申请多少个资源,每条边代表一个
- 资源结点->进程结点:表示已经为进程分配了多少个资源,每条边代表一个
- 进程P1P_{1}P1已经分得了两个R1R_{1}R1资源,又在请求一个R2R_{2}R2资源;
- 进程P2P_{2}P2已经分得了一个R1R_{1}R1资源和一个R2R_{2}R2资源,又在请求一个R1R_{1}R1资源;
判断是否发生死锁:如果系统中的可用资源数目满足进程的需求,那么这个进程暂时是不会被阻塞的,可以顺利执行;如果这个进程结束后将资源归还给了系统,就可能使某些正在等待资源的进程被激活,并顺利执行下去
比如下图中:R2R_{2}R2资源的数目共有2个,其中一个分配给了P2P_{2}P2,此时P1P_{1}P1请求一个,而可用资源数目够,因此P1P_{1}P1不会被阻塞;
R1R_{1}R1资源的数目共有3个,其中2个分配给了P1P_{1}P1,一个分配给了P2P_{2}P2,所以P2P_{2}P2的请求不能满足,而P1P_{1}P1是可以顺利执行的,所以P2P_{2}P2在等待P1P_{1}P1执行完毕并归还资源后,便可以顺利执行下去
P1P_{1}P1结束之后,归还资源,并且它再不会请求任何资源,因此取出和P1P_{1}P1相连的边
P2P_{2}P2在结束之后也会归还资源
可完全简化:按照上述过程,如果能够消除所有的边,就称此资源图可完全简化,此时一定没有发生死锁,相等于可以找到一个安全序列P1P_{1}P1->P2P_{2}P2。如果不能消除所有边,此时就发生了死锁,而且最终还连着边的那些进程就是处于死锁状态的进程
比如下图中,开始时让P1P_{1}P1再多持有一个R2R_{2}R2资源,并且R2R_{2}R2资源又分配了一个给P3P_{3}P3
此时R2R_{2}R2资源被分配干净,所以P1P_{1}P1在请求时被阻塞,相应P2P_{2}P2进程也会被阻塞。因此只有P3P_{3}P3能够顺利进行
P3P_{3}P3结束之后虽然会归还1个R2R_{2}R2资源,但是仍然不满足P1P_{1}P1的需求,所以P1P_{1}P1依然被阻塞,P2P_{2}P2也还是被阻塞,发生死锁
死锁解除
解除死锁:一旦检测出死锁发生,就应该立即解除死锁。注意并不是系统中所有的进程都是死锁状态,使用死锁检测算法化简资源分配图后,还连着边的那些进程就是需要进行解除的死锁进程。解除方法主要有:
- 资源剥夺法:挂起(暂时放到外存上)某些死锁进程,并抢占它的资源,将这些资源分配给其他的死锁进程。但是应防止被挂起的进程长时间得不到资源而饥饿
- 撤销进程法(终止进程法):强制撤销部分,甚至全部死锁进程,并剥夺这些进程的资源。这种方式的优点是实现简单,但所付出的代价可能性会很大。因为有些进程可能已经运行了很长时间,已经接近结束了,一旦被终止可谓功亏一篑,以后还得从头再来
- 进程回退法:让一个或多个死锁进程回退到足以避免死锁的地步。这样就要求系统要记录进程的历史信息,设置还原点
(数据库系统概论|王珊)第十一章并发控制-第二、三、四节:封锁、封锁协议活锁和死锁相关推荐
- 数据库系统概论:第十一章 并发控制
事务可以一个一个地串行执行,即每一个时刻只有一个事务正在运行,其他事务必须等迭代这个事务结束才能执行. 在单处理机中,事务的并发执行实际上是这些并行事务的并行操作轮流交叉运行.虽然单处理机系统中的并行 ...
- (数据库系统概论|王珊)第一章绪论-第二节:数据模型
文章目录 一:什么是数据模型 二:两类数据模型 (1)概念模型(信息模型) A:定义 B:相关术语 C:概念模型的一种表示方法:实体-联系方法 (2)逻辑模型和物理模型 三:数据模型的组成要素 四:层 ...
- (数据库系统概论|王珊)第九章关系查询处理和关系优化-第三节:查询优化之代数优化
注意: 关系代数有关符号,大家可能又不熟悉了,点击跳转:(数据库系统概论|王珊)第二章关系数据库-第四节:关系代数 文章目录 一:关系代数表达式等价变换规则 (1)连接.笛卡尔积.并.交的交换律 (2 ...
- (数据库系统概论|王珊)第一章绪论:习题
pdf下载:密码7281 专栏目录首页:[专栏必读](考研复试)数据库系统概论第五版(王珊)专栏学习笔记目录导航及课后习题答案详解 名词解释 数据:是数据库中存储的基本对象,是描述事物的符号记录 数据 ...
- (数据库系统概论|王珊)第九章关系查询处理和关系优化-第二节:查询优化
文章目录 一:查询优化概述 (1)查询优化的地位和重要性 (2)执行代价 二:一个例子 (1)情况1 ①:计算广义笛卡尔积 ②:作选择操作 ③:作投影操作 (2)情况2 ①:计算自然连接 ②:作选择操 ...
- (数据库系统概论|王珊)第一章绪论-第三节:数据库系统的结构
文章目录 一:数据库系统模式的概念 (1)型和值 (2)模式和实例 二:三级模式 (1)模式(schema) (2)外模式(external schema) (3)内模式(internal schem ...
- (数据库系统概论|王珊)第一章绪论-第一节:数据库系统概论
文章目录 一:四大基本概念 (1)数据(Data) (2)数据库(DataBase,DB) (3)数据库管理系统(DataBase Management System,DBMS) (4)数据库系统(D ...
- (数据库系统概论|王珊)第九章关系查询与关系优化:习题
名词解释 代数优化:是指关系代数表达式的优化,也即按照一定规则,通过对关系代数表达式进行等价变换,改变代数表达式中操作的次序和组合,使查询更高效 物理优化:是指存取路径和底层操作算法的选择.选择依据可 ...
- (数据库系统概论|王珊)第九章关系查询处理和关系优化-第一节:查询处理
文章目录 一:查询处理步骤 (1)查询分析 (2)查询检查 (3)查询优化 (4)查询执行 二:实现查询操作的算法示例 (1)选择操作的实现 ①:全表扫描 ②:索引(或散列)扫描 (2)连接操作的实现 ...
最新文章
- 上次谁说要简历模板来着?来!
- suse11/12关闭防火墙
- python 计算机程序设计基础-零基础,没有编程和计算机基础,究竟该怎么自学python?...
- 九九乘法表口诀python-Python用for循环实现九九乘法表
- 首次安装mysql57需要注意的问题
- CF628D Magic Numbers (数据大+数位dp)求[a,b]中,偶数位的数字都是d,其余为数字都不是d,且能被m整除的数的个数...
- 蒂法html5游戏,《最终幻想7:重制版》大量新截图:蒂法招式/支线任务
- [Java] 蓝桥杯BASIC-26 基础练习 报时助手
- memcached java api_Memcached Java Client API详解
- CSS综合征病例,ChurgStrauss 综合征 (css) 变应性嗜酸性肉芽肿课件
- 常用符号计算机输入法,九种常用输入法特殊符号功能揭密输入法 -电脑资料
- Excel常用函数大全
- 使用windows的快捷键快速操控窗口
- Ubuntu下U盘只读文件系统,图标上锁,文件无法写入
- Opencv使用imread函数时,读到的数据为空
- 如何快速打造淘宝爆款
- Android adb命令使用记录
- 作为一号之主,今天我们敞开心扉聊一聊
- 高效开发:你的项目有接口聚合服务吗?
- 《互联网信贷风险与大数据》读书笔记(一)
热门文章
- 计算机内存延迟,CPU性能差距竟然在这里 延迟不止在内存
- oracle 外键子查询,外键、联合查询、子查询
- ae画面颜色一键选取替换修改插件Composite Brush for Mac 1.5.2
- python中多重if语句用法_Python多分支if语句的使用
- drupal与html转换,在Drupal中将HTMl添加到CCK
- python两个编程环境_多个python Behave环境安装文件
- 稳压电源的设计与制作_电子爱好设计的直流可调压电源电路,太完美了,有图,亲测可用...
- Spring Boot文档阅读笔记-构建SOAP的web Service Client
- Python笔记-UiSelector中resourceId定位方式
- 通俗解释glLoadIdentity(),glPushMatrix(),glPopMatrix()的作用 (