数据库系统并发控制的扩展有色Petri网方法

• 作者: 罗雪梅 蒋昌俊 韩耀军
• 来源期刊: 同济大学学报(自然科学版)
• 学科: 工学
• 关键词: 可串行化 两段锁协议 死锁 Petri网 可达标识图
• 年，卷（期）: 2004,（1）
• 所属期刊栏目: 计算机科学与技术
• 页码范围: 104-108
• 页数: 5页
• 分类号: TP311.13
• 字数: 4055字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-374X.2004.01.024

摘要

加锁与可串行化是并发控制中采取的2个主要措施.两段锁协议(two-phaselocking protocol,简称2PL)是解决可串行化调度较好的方法之一,但满足可串行化的调度可能会出现死锁.为此建立了多个事务并发访问数据库的扩展有色Petri网模型,该模型可使并发事务的调度符合两段锁协议.利用该模型的可达标识图,给出了判断满足两段锁协议的调度是否死锁的充分必要条件,并由此构造出并发事务的无死锁的可串行化调度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋昌俊	同济大学计算机科学与工程系	93	1492	18.0	36.0
2	韩耀军	同济大学计算机科学与工程系	8	67	5.0	8.0
5	罗雪梅	中国科学院计算机科学实验室	8	60	5.0	7.0