On the complexity of commit protocols
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Blocking Reduction in Two-phase Commit Protocol with Multiple Backup Sites
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
Modular Composition and Verification of Transaction Processing Protocols
ICDCS '03 Proceedings of the 23rd International Conference on Distributed Computing Systems
Sinfonia: a new paradigm for building scalable distributed systems
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles
Delay-Aware Mobile Transactions
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
A Fault-Tolerant Model of Wireless Sensor-Actuator Network
International Journal of Distributed Sensor Networks - Advances on Heterogeneous Wireless Sensor Networks
Proceedings of the 6th international workshop on Middleware for pervasive and ad-hoc computing
Sinfonia: A new paradigm for building scalable distributed systems
ACM Transactions on Computer Systems (TOCS)
Hadoop high availability through metadata replication
Proceedings of the first international workshop on Cloud data management
Consistency without concurrency control in large, dynamic systems
ACM SIGOPS Operating Systems Review
Object storage on CRAQ: high-throughput chain replication for read-mostly workloads
USENIX'09 Proceedings of the 2009 conference on USENIX Annual technical conference
Atomic commit protocols, their integration, and their optimisations in distributed database systems
International Journal of Intelligent Information and Database Systems
On the design of perturbation-resilient atomic commit protocols for mobile transactions
ACM Transactions on Computer Systems (TOCS)
Don't settle for eventual: scalable causal consistency for wide-area storage with COPS
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
A protocol for the atomic capture of multiple molecules on large scale platforms
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Reducing Blocking Risks of Atomic Transactions in MANETs Using a Backup Coordinator
International Journal of Ambient Computing and Intelligence
Stronger semantics for low-latency geo-replicated storage
nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
Adaptive atomic capture of multiple molecules
Journal of Parallel and Distributed Computing
Decentralized execution of constraint handling rules for ensembles
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Chaos: versatile and efficient all-to-all data sharing and in-network processing at scale
Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems
Scalable Metadata Management Through OSD+ Devices
International Journal of Parallel Programming
| Hi-index | 0.01 |
A formal model for atomic commit protocols for a distributed database system is introduced. The model is used to prove existence results about resilient protocols for site failures that do not partition the network and then for partitioned networks. For site failures, a pessimistic recovery technique, called independent recovery, is introduced and the class of failures for which resilient protocols exist is identified. For partitioned networks, two cases are studied: the pessimistic case in which messages are lost, and the optimistic case in which no messages are lost. In all cases, fundamental limitations on the resiliency of protocols are derived.