A Formal Model of Crash Recovery in a Distributed System
- 1 May 1983
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-9 (3), 219-228
- https://doi.org/10.1109/tse.1983.236608
Abstract
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.Keywords
This publication has 8 references indexed in Scilit:
- Nonblocking commit protocolsPublished by Association for Computing Machinery (ACM) ,1981
- Reliability mechanisms for SDD-1ACM Transactions on Database Systems, 1980
- Modeling communications protocols by automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Locking and Deadlock Detection in Distributed Data BasesIEEE Transactions on Software Engineering, 1979
- Concurrency Control and Consistency of Multiple Copies of Data in Distributed IngresIEEE Transactions on Software Engineering, 1979
- Finite state description of communication protocolsComputer Networks (1976), 1978
- Physical integrity in a large segmented databaseACM Transactions on Database Systems, 1977
- A Methodology for the Design and Implementation of Communication ProtocolsIEEE Transactions on Communications, 1976