摘要
嵌入式实时数据库系统中的并发控制除保证数据库一致性不被破坏外,还须考虑事务的定时限制及减少解除数据冲突开销。该文讨论了一个基于封锁的、可避免循环夭折的有条件高优先级夭折并发控制协议ACA-HPA-AC,包括其形式化描述、封锁相容矩阵、锁表结构及封锁操作的实现算法。该协议能避免一般高优先级夭折协议中可能出现的循环夭折和无效夭折现象,并已成功应用于嵌入式实时内存数据库系统ARTs-EDB中。
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.
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第9期27-28,150,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60073045)
中国博士后科学基金资助项目(2003034482)
国防武器装备预先研究项目
华中科技大学博士后科学基金资助项目(2003021)
关键词
嵌入式实时数据库
事务管理
并发控制
Embedded real-time databases
Transaction management
Concurrency control
