摘要
给出了分布式实时事务一致性实时提交协议的形式化定义和一致性实时提交协议的正确性准则;在此基础上,提出了适合于分布式实时事务的一致性实时提交协议———一阶段实时提交协议(1PRCP),1PRCP通过参与者与协调者的一次消息交换,在一个阶段完成分布式实时事务的提交活动.结合超时恢复协议,1PRCP能避免由于站点故障或网络通信链路故障而导致的阻塞.研究结果证明了1PRCP的正确性和优越性.
The formal definition and the correctness criterion of consistent real-time commit protocol of distributed real-time transactions were introduced. One-phase real-time commit protocol (1PRCP) suitable for distributed real-time transactions was presented. And the commitment procedure of a distributed real-time transaction was completed in one-phase through one time message exchange between participant and coordinator. Combined with overtime recovery protocol, 1PRCP can be free of the blocking which was caused by site failure or failure of communication link. The correctness of 1PRCP was proofed. The results of performance comparison and evaluation showed that 1PRCP could improve the performances of distributed real-time database systems.
出处
《华中科技大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2006年第3期1-4,共4页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
国家十五国防预研重点资助项目
国防预研基金资助项目
中国博士后科学基金资助项目(2003034482)
关键词
分布式实时数据库
分布式实时事务
实时提交
截止期
优先级
distributed real-time database
distributed real-time transaction
real-time commitment
deadline
priority