摘要
针对离线数据载体应用的特点 ,文章提出了“有序双场地分布事务”的概念和“有序双场地两阶段提交”协议 ,并给出了相关的正确性证明和阻塞性分析 ,从理论上彻底地解决了基于离线数据载体的分布数据一致性问题 .本文结论经过了实验和实践检验 .
This paper proposes Ordered Binode Distributed Transaction(OBDT) concept and Ordered Binode 2 Phase Commit (OB2PC) Protocols, and proves the correctness and analyses the blockness, which can completely solve data consistence problem of distribute application based on Offline Data Carrier. The conclusion of this paper has been validated by experiments and practices.
出处
《小型微型计算机系统》
CSCD
北大核心
2004年第6期1040-1043,共4页
Journal of Chinese Computer Systems
基金
国家"九五"科技攻关项目 ( 96-B0 3 -0 4-0 3 -12 )资助
霍英东科学基金 ( 710 65 )资助
关键词
分布数据一致性
离线数据载体
有序双场地分布事务
有序双场地两阶段提交协议
distributed data consistency
offline data carrier
ordered binode distributed transaction
ordered binode 2 phase commit protocols
