一个两段加锁不死锁的充分条件  

The Sufficiency Condition of the Two-Phase Locking without Deadlock

作　　者：冯涛[1] 李俊[2] 王涛[2] 

机构地区：[1]陕西师范大学杂志社,西安710062 [2]陕西师范大学计算机学院,西安710062

出　　处：《计算机科学》2007年第1期292-293,共2页Computer Science

摘　　要：两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外,其致命弱点是容易产生死锁。本文在分析两段加锁产生死锁原因的基础上,给出了一个不会产生死锁的两段加锁方法的充分条件和构造性定理以及实现的方法。The Two-Phase locking is the most widespread concurrency control algorithm in the distributed system. This algorithm is not easily carried out, and it＇s fatal weakness is easily lead to the deadlock. This article give one sufficiency condition, theory of construction and realization method of the Two-Phase Locking without deadlock based on analysis of the reason that The Two-Phase Locking lead to deadlock.

关 键 词：两段加锁 并发控制 死锁 回滚 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]