摘要： 嵌入式实时数据库系统中的并发控制除保证数据库一致性不被破坏外,还须考虑事务的定时限制及减少解除数据冲突开销。该文讨论了一个基于封锁的、可避免循环夭折的有条件高优先级夭折并发控制协议ACA-HPA-AC,包括其形式化描述、封锁相容矩阵、锁表结构及封锁操作的实现算法。该协议能避免一般高优先级夭折协议中可能出现的循环夭折和无效夭折现象,并已成功应用于嵌入式实时内存数据库系统ARTs-EDB中。

关键词: 嵌入式实时数据库, 事务管理, 并发控制

Abstract: Besides protecting database consistency, the objects of concurrency control mechanisms in embedded real-time databases should take transactions’ timing constraints and reducing the overheads resolving data conflicts into consideration. In the paper, a modified high priority abort protocol ACA-HPA-CA for embedded real-time transactions is discussed, including its formal description, lock compatible matrix, lock table structure and locking operations algorithms. The suggested protocol can avoid the “circle abort” and “useless abort” and has been applied successfully to an embedded real-time main memory database system ARTs-EDB developed by ourselves.

中图分类号: 

• TP311.13