期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

确保时态一致性的实时并发控制协议 被引量：2

Real-Time Concurrency Control Protocol of Guaranteeing Temporal Consistency
下载PDF
导出
摘要 实时控制系统通常需要维护大量的时态数据对象,这些时态数据对象是现实世界不断变化的物理环境的逻辑表示.应用事务通过对时态数据对象的访问来产生最终的控制活动.在实际应用中,实时控制系统不仅需要确保事务能在规定的期限内完成,也需要保证事务存取的是时态一致性的数据对象.传统的实时并发控制协议强调事务截止期的满足,而忽略了事务对其所存取数据对象有时态一致性需求.本文首先给出了数据和事务时态一致性的形式化定义,在此基础上,提出了一种新的能确保时态一致性的实时并发控制协议:时态一致性高优先级两段锁协议(TCHP-2PL).为了实现更好的实时性能,我们对TCHP-2PL进行了改进,通过引入相似性概念,提出了TCHP-2PL的改进版本:STCHP-2PL.性能测试结果显示,STCHP-2PL在确保时态一致性的同时仍能保证很好的实时性能. A real-time control system usually requires maintaining a large amount of temporal data objects, which are logic descriptions for the fluctuant physical environment in the real world. These temporal data objects are accessed by application Wansactions to generate the ultimate control actions. In the actual applications,real-time control systems require not only ensuring transactions finished in the specified lime limits, but also guaranteeing temporal consistency of data objects accessed by transactions. The traditional real-time concurrency control protocols stress on meeting transaction deadlines, while ignore the requirement m ternporal consistency of data objects access by transactions. This paper first gives the formal definitions of temporal consistency about data and transaction. On the basis of them, a novel real-time concurrency control protocol called TCHP-2PL （Temporal Consistency High Priority two Phase Lock） is presented, TCHP-2PL can guarantee temporal consistency. In order to obtain the better real-time performance,an enhanced TCHP-2PL called STCHP-2PL is proposed by introducing the concept of similarity.Performance tests show that STCHP-2PL can still ensure the very well real-time performance under circumstances of ensuring temporal consistency.
作者 肖迎元 刘云生
机构地区 天津理工大学计算机科学与技术学院 天津市智能计算及软件新技术重点实验室 华中科技大学计算机科学与技术学院
出处 《电子学报》 EI CAS CSCD 北大核心 2008年第11期2102-2106,共5页 Acta Electronica Sinica
基金 国家自然科学基金(No.6073045) 国防预研基金(No.51415030203JW05) 天津市自然科学基金(No.08JCYBJC12400) 天津市高等学校科技发展基金(No.2006BA16)
关键词 截止期 时态一致性 实时并发控制 实时控制系统 deadline temporal consistency real-time concurrency control real-time control system
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献12

  • 1Ramamritham K, Son S H. Real-time databases and data Services[J] .Real-Time Systems, 2004,28(2-3) : 179-215.
  • 2谭朋柳,金海,张明虎.用于开放式系统的二维优先级实时调度[J].电子学报,2006,34(10):1773-1777. 被引量：8
  • 3Stankovic J. Real-time and embedded systems[ J ]. ACM Computing Surveys, 1996,28 ( 1 ) : 205 - 208.
  • 4Sha L,Rajkumar R,Son S H.A real-time locking protocol[J]. IEEE Transactions on Computer, 1991,40(7) : 793 - 800.
  • 5Lam K Y, Kuo T W. Concurrency control in mobile dislributed real-time database systems [J]. Information Systems, 2000, 25 (4) :261 - 286.
  • 6Abbott R, Garcia M R. Scheduling real-time transacfions: a performance evaluation[ J]. ACM Transactions on Database Systems, 1992,17(3) :513 - 560.
  • 7Song X,Liu J W S. Maintaining temporal consistency:pessimistic vs. optimistic concurrency control [ J ]. IEEE Transactions on Knowledge and Data Engineering, 1995,7 ( 5 ) : 786 - 796.
  • 8Lau C P M,Lee V C S.Real-time concurrency control for data intensive applications[ A]. Joseph K Ng. Embedded and Real-Time Computing Systems and Applications [ C ]. Washington, USA: IEEE Computer Society, 2005,337 - 442.
  • 9Alejandro L I, Luis A. A relaxed temporal consistency approach for real-time concurrency control [ A]. Silvia C. Electronics, Robotics and Automotive Mechanics [ C]. Washington, USA: IEEE Computer Society,2006,274- 280.
  • 10Lindstrom J. Relaxed correctness for firm real-time databases [ A] .Embedded and Real-Time Computing Systems and Applications[ C]. Washington, USA: IEEE Computer Society, 2006.82 - 86.

二级参考文献16

  • 1I Stoica,H Zhang and T S ENg.A hierarchical fair Service curve algorithm for link-sharing,real-time and priority services[J].ACM SIGCOMM Computer Communication Review,1997,27(4):249-262.
  • 2M Spuri and G C Buttazzo.Efficient aperiodic service under the earliest deadline scheduling[A].Proc.of IEEE Real-time Systems Symposium[C].San Juan,Puerto Rico:IEEE Computer Society,1994:2-11.
  • 3L Abeni and G C Buttazzo.Integrating multimedia applications in hard real-time systems[A].Proc.of IEEE Real-Time Sysems Symposium[C].Madrid,Spain:IEEE Computer Society,1998:4-13.
  • 4Z Deng,J W-S Liu,J Sun.A scheme for scheduling hard realtime applications in open system environment[A].Proc.of 9th Euromicro Workshop on Real-Time Systems[C].Toledo,Spain:IEEE Computer Society,1997:191-199.
  • 5H Kopetz.The time-triggered model of computation[A].Proc.of IEEE Real-Time Systems Symposium[C].Madrid,Spain:IEEE Computer Society,1998:168-177.
  • 6Ching-Chih Han,et al.Distance-constrained scheduling and its applications to real-time systems[J].IEEE Trans.Computers,1996,45(7):814-826.
  • 7Z Deng et al.Scheduling real-Time applications in open system environment[A].Proc.of IEEE Real-Time Systems Symposium[C].San Francisco,CA:IEEE Computer Society Press,1997:308-319.
  • 8Tei-Wei Kuo,et al.An open real-time environment for parallel and distributed systems[A].Proc.of 20th Inter.Conf.on Distributed Computing Systems[C].Taipei,Taiwan:IEEE Computer Society,2000:206-213.
  • 9Tei-Wei Kuo,Ching-Hui Li.A fixed-priority-driven open environment for real-time applications[A].Proc.of the 20th IEEE Real-Time Systems Symposium[C].Phoenix,AZ,IEEE Computer Society,1999:256-267.
  • 10Wang Y-C,et al.Implementing a general real-time scheduling framework in the RED-Linux real-time kernel[A].Proc.of the 20th IEEE Real-Time Systems Symposium[C].Phoenix,AZ,IEEE Computer Society,1999:246-255.

共引文献7

同被引文献24

  • 1Liu Yun-sheng. Modem database technology[ M]. Beijing:Nation- al Defence Industry Press,2001.
  • 2lee U, Hwang B. Optimistic concurrency control based on times- tamp interval for broadcast environment[ C]. Yannis Manolopoulos, Pavol Navrat, Advance in Databases and Information Systems,Brati- slava, Slovakia: 6th East European Conference,2002:216-220.
  • 3Choi H J,Jeong B S. A timestamp-based optimistic concurrency con- trol for handling mobile transactions C ]. ICCSA 2006, Lecture Notes in Computer Science, Glasgow, UK: 6th International Confer-ence on Computational Science and Its Applications,2006:796-805.
  • 4Kang K D, Son S H, Stankovic. Managing deadline miss ratio and sensor data freshness in real-time databases[ J]. IEEE Transactions on Knowledge and Data Engineering,2004,16(10) :1200-1216.
  • 5Purimefla B, Sivasankaran R M, Ramamritham K. Real-time data- bases: issues and applications[M]. Advances in Real-time System, Englewod Cliffs, New Jersey: Prentice Hall, 1996.
  • 6Gerhard Wcikum, Gottffied Vosscn. Transactional information sys- tems : theory, algorithms, and the practice of concurrency control and recovery [ M ]. San Francisco: Elsevier Science,2002.
  • 7Son S H, Lee J, Lin Y. Hybrid protocols using dynamic adjustment of serialization order for real-time concurrency control [ J ]. The Journal of Real-time Systems, 1992,4 ( 2 ) : 269 -276.
  • 8Alejandro L I, Luis A. A relaxed temporal consistency approach for real-time concurrency control[ C]. Silvia C, Electronics, Robotics and Automotive Mechanics, Washington, USA: IEEE Computer So- ciety ,2006:274-280.
  • 9LindstrOm J. Relaxed correctness for finn real-time databases[ C]. IEEE Computer Society 2006, Embedded and Real-time Computing Systems and Applications, Sydney, Australia: 12th IEEE Interna- tional Conference on Embedded and Real-Time Computing Sys- tems and Applications ,2006:274-280.
  • 10Jim Gray, Andreas Reuter. Transaction processing:concepts and techniques[M]. Beijing: Posts & Telecom Press,2009.

引证文献2

二级引证文献2

电子学报
2008年 第11期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部