计算机工程与应用 ›› 2009, Vol. 45 ›› Issue (21): 121-123.DOI: 10.3778/j.issn.1002-8331.2009.21.036

• 理论科学研究 • 上一篇    下一篇

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

陈 俊,朱艳丽,古乐声   

  1. 河南科技学院 信息工程学院,河南 新乡 453003
  • 收稿日期:2009-05-04 修回日期:2009-06-22 出版日期:2009-07-21 发布日期:2009-07-21
  • 通讯作者: 陈 俊

New speculative concurrency control protocol and analysis based on Petri net

CHEN Jun,ZHU Yan-li,GU Yue-sheng   

  1. School of Information Engineering,Henan Institute of Science and Technology,Xinxiang,Henan 453003,China
  • Received:2009-05-04 Revised:2009-06-22 Online:2009-07-21 Published:2009-07-21
  • Contact: CHEN Jun

摘要: 该文提出一种适用于实时数据库的新可推测并发控制(New Speculative Concurrency Control,NSCC)协议。该协议在传统的SCC协议基础之上,进行一系列改进,避免了大量不必要的事务重启,提高了并发度。最后,通过Petri网理论验证其可行性和正确性。

关键词: 实时数据库, 并发控制, 新可推测并发控制(NSCC), Petri网

Abstract: A new Speculative Concurrency Control Protocol(NSCC) for real-time database is proposed.The protocol is based on the traditional SCC.Mang restartings are advoided,and the concurrency of transaction is enhanced.Finally,using theory of Petri net,it proves that the protocol is feasible and effective.

Key words: real-time database, concurrency control, New Speculative Concurrency Control(NSCC), Petri net