节点文献

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

The Sufficiency Condition of the Two-Phase Locking without Deadlock

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 冯涛李俊王涛

【Author】 FENG Tao1 LI Jun2 WANG Tao2 (Magazine Press of Shanxi Normal University, Xi’an 710062)1 (College of Computer Science, Shanxi Normal University, Xi’an 710062)2

【机构】 陕西师范大学杂志社陕西师范大学计算机学院陕西师范大学计算机学院 西安710062西安710062

【摘要】 两段加锁是分布式系统中最广泛使用的并发控制算法。该算法除实现较为复杂外,其致命弱点是容易产生死锁。本文在分析两段加锁产生死锁原因的基础上,给出了一个不会产生死锁的两段加锁方法的充分条件和构造性定理以及实现的方法。

【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 controlDeadlockRoll-back
  • 【文献出处】 计算机科学 ,Computer Science , 编辑部邮箱 ,2007年01期
  • 【分类号】TP13
  • 【下载频次】72
节点文献中: 

本文链接的文献网络图示:

本文的引文网络