Correctness of the Two-Phase Commit Protocol

机译：两阶段提交协议的正确性

获取原文

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

The 2-phase individual commit protocol is a standard algorithm for safeguarding the atomicity of transactions in a distributed system. A self-contained description of the 2-phase commit protocol is presented and verified.

著录项

作者
van Leeuwen, J.;
展开▼
作者单位

展开▼
年度 1989
页码 p.1-16
总页数 16
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Algorithms ; Theorems;

机译：算法;定理;

相似文献

外文文献
中文文献
专利

1. Fault-tolerant timestamp-based two-phase commit protocol for RESTful services [J] . Luiz Alexandre Hiane da Silva Maciel, Celso Massaki Hirata Software . 2013,第12期

机译：RESTful服务的基于容错时间戳的两阶段提交协议
2. An Improved Two-phase Commit Protocol Adapted to the Distributed Real-time Transactions [J] . Xiai YAN, Jinmin YANG, Qiang FAN Przeglad Elektrotechniczny . 2012,第5B期

机译：一种适用于分布式实时事务的改进的两阶段提交协议
3. A Dynamic Two-Phase Commit Protocol for Adaptive Composite Services [J] . Weihai Yu, Calton Pu International journal of web services research . 2007,第1期

机译：自适应组合服务的动态两阶段提交协议
4. Analysis and verification of Two-Phase Commit u00026; Three-Phase Commit Protocols [C] . Atif M. Emerging Technologies, 2009. ICET 2009 . 2009

机译：两阶段提交的分析和验证三相提交协议
5. Distributed Control and Computing: Optimal Estimation, Error-Correcting Codes, and Interactive Protocols. [D] . Sukhavasi, Ravi Teja. 2012

机译：分布式控制和计算：最佳估计，纠错代码和交互式协议。
6. Correcting Classifiers for Sample Selection Bias in Two-Phase Case-Control Studies [O] . Norbert Krautenbacher, Fabian J. Theis, Christiane Fuchs 2017

机译：两阶段病例对照研究中样本选择偏差的校正分类器
7. Coloured Petri Net Model of Two-Phase Commit Protocol With Multiple Participants [O] . Iwaniak M., Khadzhynov W. 2013

机译：多参与者两阶段提交协议的有色Petri网模型

Correctness of the Two-Phase Commit Protocol

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅