实时数据库并发控制协议及其Petri网分析.pdf

《实时数据库并发控制协议及其Petri网分析.pdf》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、ComputerEngineeringandApplications计算机工程与应用实时数据库并发控制协议及其Petri网分析陈俊，朱艳丽，古乐声CHENJun，ZHUYan-li，GUYue—sheng河南科技学院信息工程学院，河南新乡453003SchoolofInformationEngineering，HenanInstituteofScienceandTechnology，Xinxiang，Henan453003，ChinaE—mail：cj626@hist．edu．cnCItENJun．ZHUYan—li．GUYue-she

2、ng．NewspeculativeconcurrencycontrolprotocolandanalysisbasedonPenet．ComputerEngineeringandApplications，2009，45(21)：121-123．Abstract：AnewSpeculativeConcurrencyControlProtocol(NSCC)forreal-timedatabaseisproposed．TheprotocolisbasedOilthetraditionalSCC．Mangrestartingsareadvoi

3、ded，andtheconcurencyoftransactionisenhanced．Finally，usingtheoryofPetenet，itprovesthattheprotocolisfeasibleandeffective．Keywords：real—timedatabase；concurrencycontrol；NewSpeculativeConcurrencyControl(NSCC)；Petenet摘要：该文提出一种适用于实时数据库的新可推测并发控制(NewSpeculativeConcurrencyControl，

4、NSCC)协议。该协议在传统的SCC协议基础之上，进行一系列改进，避免了大量不必要的事务重启，提高了并发度。最后，通过Petri网理论验证其可行性和正确性。关键词：实时数据库；并发控制；新可推测并发控制(NSCC)；Petri网DOI：10．3778／j．issn．1002—8331．2009．21．036文章编号：1002—8331(2009)21-0121—03文献标识码：A中图分类~：TP311．131对于实时数据库系统来说，事务执行的最大并发度是非常空集。重要的性能指标，特别是在系统资源充足时，高并发度可以提1．2冲突规则嘲高系

5、统资源的利用率。在截止期内提交的事务所占的比率对实在的执行过程中，检测它与其他并发事务的冲突。假定时数据库系统来说是决定性的性能指标。为与其冲突的事务集中的任意一个。可能的冲突类型以及解可推测并发控制ll1(SpeculativeConcurrencyControl，SCC)特别适合实时数据库。一方面，SCC类似于PCC，能尽可能早地决方法如下：(1)读规则检测到潜在的有害冲突，启动一个替换调度，从而增加事务满足时间限制的机会。另一方面，SCC类似于OCC，它允许冲突当在执行读操作时，检测出它与的写操作产生冲突，事务并发执行，因此避免了

6、不必要的可能影响事务及时提交的称为冲突事务与的读一写冲突，记作Readset()n延迟。这样一来，它就减轻了PCC的阻塞问题和OCC的重启WriteSet(F)≠。问题，从而更好地满足事务截止期。基于此，提出一种适用于实时数据库的新可推测并发控制此时，如果事务对应的影子数目未达到n，并且不存在协议(NewSpeculativeConcurrencyControl，NSCC)。该协议在对应于冲突的投机影子，则要在冲突检测点开始，为事务传统的SCC协议基础之上，进行一系列改进，避免了大量不必建立一个投机的影子。该影子可以通过直接复制乐观影子

7、要的事务重启，提高了并发度。最后，通过Petri网理论验证其可行性和正确性。得到，且该影子被阻塞直到事务成功提交。否则，由于缺少负责解决冲突的投机影子，此潜在的冲突1NSCC协议基本执行规则不得不被忽略。(2)写规则1．1初始化规则设是就绪事务，当它获得CPU调度时，系统为它创建一当在执行写操作时，检测出它与的读操作产生冲突，个乐观影子，并且根据事务的优先级、截止期限和系统信称为冲突事务与的写一读冲突，记作w—teset()n息，为其分配一个n值，它表示该事务可拥有的影子的最大数ReadSet()≠咖。目。初始化SpecNum()为0，

8、ReadSet()和WriteSet()均为此时，如果事务对应的影子数目未达到n：作者简介：陈俊(1979一)，女，助教，研究领域：实时数据库，Petri网理论。收稿13期：2009—05—04修回13期：