节点文献
一个两段加锁不死锁的充分条件
The Sufficiency Condition of the Two-Phase Locking without Deadlock
【摘要】 两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外,其致命弱点是容易产生死锁。本文在分析两段加锁产生死锁原因的基础上,给出了一个不会产生死锁的两段加锁方法的充分条件和构造性定理以及实现的方法。
【Abstract】 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.
【关键词】 两段加锁;
并发控制;
死锁;
回滚;
【Key words】 Two-Phase locking (2P-L); Concurrency control; Deadlock; Roll-back;
【Key words】 Two-Phase locking (2P-L); Concurrency control; Deadlock; Roll-back;
- 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2007年01期
- 【分类号】TP13
- 【下载频次】72