数据库系统原理———两段锁协议、死锁练习题

2023-10-27

一、题目描述

14.考虑T和T2两个事务。
T1: R(A); R(B);B=A+ B; W(B)
T2: R(B); R(A);A=A+ B; W(A)
(1)改写T和T2, 增加加锁操作和解锁操作,并要求遵循两阶段封锁协议。
(2)说明T和T2的执行是否会引起死锁,给出T和T2的一个调度并说明之。

二、问题解答

(1)如下表所示

T1 T2
Slock A
R(A)
Slock B
R(B)
Xlock B
B=A+B
W(B)
Unlock B
Slock B
R(B)
Unlock B
Unlock A
Slock A
R(A)
Xlock A
A=A+B
W(A)
Unlock A
Unlock A
Unlock B

(2)如下调度会引起死锁:

T1 T2
Slock A
R(A)
Slock B
R(B)
SlockB
R(B)
Xlock B
等待 Slock A
等待 R(A)
等待 Xclock A
等待

ps:
死锁的定义:如果事务T1封锁了数据R,T2封锁了数据R2,然后T1又请求封锁R2,因T2已封锁了R2, 于是T1等待T2释放R2上的锁:接着T2又申请封锁R,因T1已封锁了R1, T2也只能等待T1释放R上的锁。这样就出现了T1在等待T2,而T2又在等待T1的局面,T1和T2两个事务永远不能结束,形成死锁。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

数据库系统原理———两段锁协议、死锁练习题 的相关文章

  • MyBatis自动生成实体类(逆向工程)

    mybatis自动生成代码工具 逆向工程 MyBatis自动生成实体类 逆向工程 MyBatis属于一种半自动的ORM框架 它需要我们自己编写sql语句和映射文件 但是编写映射文件和sql语句很容易出错 所以mybatis官方提供了Gene
  • 计算机视觉之三维重建(三)(单视图测量)

    2D变换 等距变换 旋转平移 保留形状 面积 通常描述刚性物体运动 相似变换 在等距变换的基础增加缩放特点 射影变换 共线性 四共线点的交比保持不变 仿射变换 面积比值 平行关系等不变 仿射变换是特殊的射影变换 影消点与影消线 2D无穷远点

随机推荐

  • 《C陷阱与缺陷》学习笔记

    C编译器判断符号的方式是 贪心法 即一直读入下一字符 看能否组成一个符号 直到不可能组成一个符号为止 单引号括起的一个字符表示一个整数 双引号括起的一个字符代表一个指针 float g g是一个函数 该函数的返回值类型为指向浮点数的指针 f
  • 日本核污水排海:普通民众的个人防护指南

    面对日本核污水排海的问题 普通民众需要采取一些个人防护措施 以确保自身的健康与安全 本文将提供一些实用的指南 帮助普通民众做好个人防护 减少潜在的风险 一 了解核污水排放的情况 首先 我们需要充分了解关于核污水排放的背景 科学依据以及相关的
  • SpringMVC:整合JQUERY与JSON

    原文地址 http liuzidong iteye com blog 1069343 参考资料 1 Spring3 MVC 笔记 二 json rest优化 http 7454103 iteye com show full true 2 j
  • 本翻译专栏的说明

    我是一名计算机专业在校学生 主攻C 我英语水平一般 请大家轻喷 我会利用课余时间来翻译cplusplus网站中我感兴趣的内容 最后 祝大家看得开心 有所收获 2023年3月27日制定的翻译计划 Reference的C library的
  • 第二篇 溢出标志 CF与OF

    在汇编学习中 个人感觉CF与OF这两个溢出标志还是有点难理解的 笔者也还是一知半解 若有错误之处 请指正 一 学习CF与OF 要始终牢记一点 CF是无符号数溢出标志 OF是有符号数溢出标志 通俗一点说就是 即使有符号数相加 相减导致了CF
  • STM32(HAL库)——光电编码器、M/T法测量电机转速

    目录 一 编码器 二 电机测试的三种方法 三 STM32CubeMx配置 四 程序编写 五 实验结果 一 编码器 常见的用于电机测速的编码器有霍尔编码器和光电编码器两种 两者测速的基本原理不同 但都是输出两路相位差90 的脉冲信号 这里以光
  • 【数据结构】二叉树的链式结构

    数据结构 二叉树的链式存储结构 二叉树的存储结构 typedef int BTDataType 二叉树的结构 typedef struct BinaryTreeNode BTDataType data 树的值 struct BinaryTr
  • 图像处理中饱和度、色调、对比度的定义

    目录 饱和度 色调 对比度 转自这里 图像处理 image processing 用计算机对图像进行分析 以达到所需结果的技术 又称影像处理 图像处理一般指数字图像处理 数字图像是指用工业相机 摄像机 扫描仪等设备经过拍摄得到的一个大的二维
  • MongoDB数据库

    介绍 1 MongoDB是非关系型文档型数据库 开源 高性能 高可用 高扩展 2 数据存储层级 文档 对应行 gt 集合 对应表 gt 数据库 3 关系型数据库中的一行对应MongoDB数据库中的一个文档 4 存储数据格式是BSON格式 相
  • VTK

    https blog csdn net www doling net article details 8763686
  • 毕业设计基于安卓的校园拍卖系统(附下载链接)

    基于安卓的校园拍卖系统 含导出APP 点我下载源码资源 介绍 基于安卓的校园拍卖系统 使用IDEA开发 SQLite作为数据库 支付宝沙盒作为支付工具 系统具有用户登录注册 管理员登录 发布商品 商品竞价 商品审核 支付尾款等功能 使用说明
  • Spring-IOC

    IOC相关 一 Ioc Inversion of Control 控制反转 传统的对象引用是采用 new 对象 的形式 例如 Book book new Book 每次引用都需要重新创建 耦合性高 控制反转则是由主动创建转换为外部 IOC容
  • 深度之眼(七)——矩阵的初等变换

  • Windows进程状态API之Ps API

    windows的进程状态信息函数主要分为两类 一类是PS PROCESS STATUS HELPER API 另外一类是Th TOOL HELP API 本文介绍PS API Ps API 函数列表及其功能说明 使用Ps API需要包含ps
  • JS实现给json数组动态赋值的方法及实用在线工具

    Json 数组也是数组 1 var jsonstr name a value 1 name b value 2 var jsonarray eval jsonstr var arr name names val value values v
  • 左手坐标系与右手坐标系(转)

    转自 http www cnblogs com mythou p 3327046 html 1 空间直角坐标系 下面摘录一段百科的解析 这些都是数学基础 过空间定点O作三条互相垂直的数轴 它们都以O为原点 具有相同的单位长度 这三条数轴分别
  • electron-builder 打包 exe 异常错误集锦

    项目背景 公司内部一个监控系统 需要运行在PC端 项目技术 vue electron vue router vuex vuex electron element ui echarts mysql 打包异常 Error Unresolved
  • 移动H2-3获取超管密码

    本文主要参考自 https www bilibili com read cv18292443 确保能正常访问光猫后台 192 168 1 1 然后用浏览器打开 http 192 168 1 1 webcmcc gui device info
  • 物联网技术及应用计算机,物联网的关键技术及计算机物联网的应用

    关键词 计算机 物联网 关键技术 应用 1 物联网的相关介绍 1 1 物联网的概念 物联网 Internet of things 是科技高速发展的产物 也是信息时代发展的象征 从字面意思来看 物联网就是通过互联网将相同的或者不同的物体连接起
  • 数据库系统原理———两段锁协议、死锁练习题

    一 题目描述 14 考虑T和T2两个事务 T1 R A R B B A B W B T2 R B R A A A B W A 1 改写T和T2 增加加锁操作和解锁操作 并要求遵循两阶段封锁协议 2 说明T和T2的执行是否会引起死锁 给出T和