Distributed Commitment And Recovery: Two Phase Commit

 ABSTRACTA formal model for atomic commit protocols for a distrib¬uted database system is introduced. The model is used to prove exis¬tence results about resilient protocols for site failures that do not parti¬tion the network and then for partitioned networks. For site failures, a pessimistic recovery technique, called independent recovery, is intro¬duced and the class of failures for which resilient protocols exist is identified. For partitioned networks, two cases are studied: the pessi¬mistic case in which messages are lost, and the optimistic case in which no messages are lost. In al…