并发事务无死锁的可串行化调度的形式化方法

引言
并发控制是多用户数据库管理系统（&’()）的重要内容之
一。加锁与可串行化是并发控制中采取的两个主要措施。两段
锁协议（*+,-./012 3,45678 .9,:,4,;，简称!.3）是解决可串行
化调度较好的方法之一，但满足可串行化的调度可能会出现死
锁<%=。因此，如何构造一个既满足!.3 又不出现死锁的调度，是
并发控制中要研究的一个重要课题。.2:96 网<!=作为模拟与分析
并发、异步、分布式系统的一种形式化方法，已被许多文献用于
描述和分析数据库系统中的并发控制问题。文献<>=建立了并发
事务的.2:96 网模型，并给出了系统状态死锁的充分必要条件，
但所建模型不遵守!.3。文献<#=建立了用于检测数据库一致性
的.2:96 网模型，并利用不变量讨论了可串行化调度问题，但没
有讨论死锁问题。文献<?=通过建立并发事务的.2:96 网模型，探
讨了可串行化调度与死锁检测问题，但当系统中涉及的事务与
数据资源较多时，所构造的.2:96 网模型过于复杂。该文给出的
并发事务的扩展有色.2:96 网模型，可使网结构大为简化，而且
所建模型完全符合!.3。利用该模型的可达标识图，给出了判
断满足两段锁协议的调度是否死锁的充分必要条件，并由此构
造出并发事务的无死锁的可串行化调度。

 

 

 

http://www.cnki.com.cn/Article/CJFDTotal-JSGG200410057.htm

这里具体下载地址;