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

Computer and EngineeringApplications计算机工程与应用 实时数据库并发控制协议及其Petri网分析 陈俊，朱艳丽，古乐声 CHEN Yan—li，GU Jun，ZHU Yue—sheng 河南科技学院信息工程学院，河南新乡453003 School ofInformation InstituteofScienceand 453003，China Engineering，Henan Technology，Xinxiang，Hen,an E-mail：cj626@hist．edu．cn CHEN control basedOnPetri Jun．ZHUYan-fi．GU and net． Yue--sheng．Newspeculativeconcurrencyprotocolanalysis and ComputerEngineeringApplications，2009．45(21)：121-123． new Contml real—timedatabaseis isbasedOil Abstract：A Protocol(NSCC)for SpeculativeConcurrency proposed．Theprotocol thetraditional the oftransactionis ofPetri SCC．Mangrestartings眦advoided，andconcurrency enhanced．Finally，usingtheory net，it thatthe isfeasibleandeffective． proves protocol words：real—time net Key control；New Control(NSCC)；Petri database；concurrencySpeculativeConcurrency 摘要：该文提出一种适用于实时数据库的新可推测并发控制(New Contml，NSCC)协议。该协议在传统 SpeculativeConcurrency 的SCC协议基础之上，进行一系列改进，避免了大量不必要的事务重启，提高了并发度。最后，通过Petri网理论验证其可行性和正 确性。 关键词：实时数据库；并发控制；新可推测并发控制(NSCC)；Petri网 文章编哆：1002-8331(2009)21--．012103 DOI：10．37780．issml002—8331．2009．21．036 文献标识码：A 中图分类号：1P311．131 对于实时数据库系统来说，事务执行的最大并发度是非常 空集。 重要的性能指标，特别是在系统资源充足时，高并发度可以提 1．2冲突规则[31 高系统资源的利用率。在截止期内提交的事务所占的比率对实 在f的执行过程中，检测它与其他并发事务的冲突。假定 时数据库系统来说是决定性的性能指标。 《为与其冲突的事务集中的任意—个。可能的冲突类型以及解 Contr01．SCC) 可推测并发控制…(SpeculativeConcurrency