首页/ 题库 / [问答题]试证明,若并发事务遵守两段锁协议,则对这的答案

试证明,若并发事务遵守两段锁协议,则对这些事务的并发调度是可串行化的。

问答题
2022-01-15 17:49
查看答案

正确答案

证明:首先以两个并发事务Tl和T2为例,存在多个并发事务的情形可以类推。根据可串行化定义可知,事务不可串行化只可能发生在下列两种情况:
(l)事务Tl写某个数据对象A,T2读或写A;
(2)事务Tl读或写某个数据对象A,T2写A。
下面称A为潜在冲突对象。
设Tl和T2访问的潜在冲突的公共对象为{A1,A2…,An}。不失一般性,假设这组潜在冲突对象中X=(A1,A2,…,Ai}均符合情况1。Y={Ai+1,…,An}符合所情况(2)。
VX∈x,Tl需要XlockX①
T2需要Slockx或Xlockx②
1)如果操作①先执行,则Tl获得锁,T2等待
由于遵守两段锁协议,Tl在成功获得x和Y中全部对象及非潜在冲突对象的锁后,才会释放锁。
这时如果存在w∈x或Y,T2已获得w的锁,则出现死锁;否则,Tl在对x、Y中对象全部处理完毕后,T2才能执行。这相当于按Tl、T2的顺序串行执行,根据可串行化定义,Tl和几的调度是可串行化的。
2)操作②先执行的情况与(l)对称因此,若并发事务遵守两段锁协议,在不发生死锁的情况下,对这些事务的并发调度一定是可串行化的。证毕。


试题解析

感兴趣题目
在并发控制中引入两段锁协议的目的是________。
数据库管理系统的并发控制机制的功能是负责协调并发事务的正确执行,从而保证数据库的
()是指将商业或行政事务处理按照一个公认的标准,形成结构化的事务处理或报文数据格式,从计算机到计算机的电子传输方法。
EDI(Electronic Data Interchange)是将商业或行政事务处理(Transaction)按照一个公认的标准,形成结构化的事务处理或报文(Message)数据格式,从计算机应用系统到计算机应用系统的电子传输方法。
通常所说的电子数据处理系统(EDPS) 、事务处理系统(TPS) 、管理信息系统(MIS) 、决策支持系统(DSS) 、专家系统(ES) 和办公自动化系统(OAS) ,都属于计算机信息系统的范畴,它们都是计算机( ) 的应用。
对违反国家规定,侵入国家事务、国防建设、尖端科学技术领域的计算机信息系统的,处()。
侵入国家事务、国防建设、尖端科学技术领域的计算机信息系统属于网络违法犯罪。
我国刑法第285条规定,违反国家规定,侵入国家事务、国防建设、尖端科学技术领域的计算机信息系统的,处以有期徒刑或者拘役的期限是()
我国《刑法》第二百八十五条规定,违反国家规定,侵入国家事务、国防建设、尖端科学技术领域的计算机信息系统的,处以有期徒刑或者拘役的期限是()。
并发执行的三个事务T1 、T2 和T3,事务T1 对数据 D1 加了共享锁,事务T2、 T3分别对数据 D2 、D3 加了排 它锁,之后事务T1 对数据( );事务T2对数据( )。
若事务T1对数据 D1 加了共享锁,事务 T2 、T3分别对数据D2 、D3 加了排它锁,则事务T1对数据( );事务T2对数据( )。
在数据库系统中,“事务”是访问数据库并可能更新各种数据项的一个程序执行单元。为了保证数据完整性,要求数据库系统维护事务的原子性、一致性、隔离性和持久性。针对事务的这4种特性,考虑以下的架构设计场景。假设在某一个时刻只有一个活动的事务,为了保证事务的原子性,对于要执行写操作的数据项,数据库系统在磁盘上维护数据库的一个副本,所有的写操作都在数据库副本上执行,而保持原始数据库不变,如果在任一时刻操作不得不中止,系统仅需要删除副本,原数据库没有受到任何影响。这种设计策略称为(1)。事务的一致性要求在没有其他事务并发执行的情况下,事务的执行应该保证数据库的一致性。数据库系统通常采用(2)机制保证单个事务的一致性。事务的隔离性保证操作并发执行后的系统状态与这些操作以某种次序顺序执行(即可串行化执行)后的状态是等价的。两阶段锁协议是实现隔离性的常见方案,该协议(3)。持久性保证一旦事务完成,该事务对数据库所做的所有更新都是永久的,如果事务完成后系统出现故障,则需要通过恢复机制保证事务的持久性。假设在日志中记录所有对数据库的修改操作,将一个事务的所有写操作延迟到事务提交后才执行,则在日志中(4)。当系统发生故障时,如果某个事务已经开始,但没有提交,则该事务应该(5)。 空白(2)处应选择()
相关题目
以下 ___封锁违反两段锁协议。
若一个事务执行成功,则它的全部更新被提交;若一个事务执行失败,则DB中被其更新过的数据恢复原状,就象这些更新从未发生过,这保持了数据库处于( )。
数据库管理系统中( )是事务管理部件的责任。A.保持事务的原子性B.保持事务的持久性C.保持事务的隔离性D.保持事务的一致性
当多个事务并发执行时,数据库管理系统应保证一个事务的执行不被其他事务干扰,这指的是事务的什么特性?————
遵循两段锁协议的事务程序能够解决并发事务对数据库操作的不一致性不包括:(10)。
遵循两段锁协议的事务程序能够解决并发事务对数据库操作的不一致性不包括:(52)。
若事务T对数据R已加X锁,则其他事务对数据R()
系统中同时运行多个事务,若其中一个事务因为自身故障被系统强行退出,而其它事务仍正常运行,这种故障称为()。该故障发生时,会造成数据库的不一致,解决的方法是()。
若事务T对数据R已加了X锁,则其他事务对数据R()。
若事务T对数据R己加了X锁,则其他事务对数据R( )。
若事务T对数据R已经加了X锁,则其他事务对数据R( )。
若事务T对数据R已加X锁,则其他事务对数据R
分布式数据库中的数据分布在不同节点上,有的事务分解成不同节点上的多个局部事务,若某个局部事务不能正常提交,则必须撤销所有其他节点已提交的局部事务。事务的这种性质,被称为事务的( )。[1分]
在运行正常的数据库系统中,下面有关“所有事务都是两段式的”与“事务的并发调度是可串行化的”的关系的描述,正确的是——。
试证明,若并发事务遵守两段锁协议,则对这些事务的并发调度是可串行化的。
若事务T1对数据A已加排它锁,那么其他事务对数据A(56)。
若事务T1对数据A已加排它锁,那么其它事务对数据A(56)。
在并发控制中引入两段锁协议的目的是( )。
在并发控制中引入两段锁协议的目的是( )。
在并发控制中引入两段锁协议的目的是( )。
广告位招租WX:84302438

免费的网站请分享给朋友吧