计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2001年
10期
82-85
,共4页
数据库事务并发操作可串行化调度死锁
數據庫事務併髮操作可串行化調度死鎖
수거고사무병발조작가천행화조도사쇄
封锁与可串行化调度是数据库并发操作采取的两种主要措施。判断一个调度是否可串行化调度的最有效方法是两段锁协议。但是,一方面,事务遵守两段锁协议只是可串行化调度的充分条件而不是必要条件;另一方面,遵守两段锁协议的事务仍可能发生死锁。文中给出了一种算法,利用该算法,不仅可判断出一个调度是否为可串行化调度,而且可判断出该调度是否会发生死锁。
封鎖與可串行化調度是數據庫併髮操作採取的兩種主要措施。判斷一箇調度是否可串行化調度的最有效方法是兩段鎖協議。但是,一方麵,事務遵守兩段鎖協議隻是可串行化調度的充分條件而不是必要條件;另一方麵,遵守兩段鎖協議的事務仍可能髮生死鎖。文中給齣瞭一種算法,利用該算法,不僅可判斷齣一箇調度是否為可串行化調度,而且可判斷齣該調度是否會髮生死鎖。
봉쇄여가천행화조도시수거고병발조작채취적량충주요조시。판단일개조도시부가천행화조도적최유효방법시량단쇄협의。단시,일방면,사무준수량단쇄협의지시가천행화조도적충분조건이불시필요조건;령일방면,준수량단쇄협의적사무잉가능발생사쇄。문중급출료일충산법,이용해산법,불부가판단출일개조도시부위가천행화조도,이차가판단출해조도시부회발생사쇄。
Locking and serializable schedule are two main measures for concurrent operation of database. The most effective method for deciding if a schedule is serializable is Two-phase locking protocol. However,on the one hand,The Two-phase locking protocol is only sufficient condition but necessary condition of serialisable schedule;on the other hand,the transactions keeping Two-phase locking protocol possibly occur deadlock. This paper gives an algorithm. With the algorithm,we can not only decide if a schedule is serializable but also decide if a schedule occurs deadlock.