This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
May 1983 (vol. 9 no. 3)
pp. 219-228
ASCII Text
x 
 
D. Skeen, M. Stonebraker, "A Formal Model of Crash Recovery in a Distributed System," IEEE Transactions on Software Engineering, vol. 9, no. 3, pp. 219-228, May, 1983.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1983.236608,
author = {D. Skeen and M. Stonebraker},
title = {A Formal Model of Crash Recovery in a Distributed System},
journal ={IEEE Transactions on Software Engineering},
volume = {9},
number = {3},
issn = {0098-5589},
year = {1983},
pages = {219-228},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1983.236608},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - A Formal Model of Crash Recovery in a Distributed System
IS - 3
SN - 0098-5589
SP219
EP228
EPD - 219-228
A1 - D. Skeen,
A1 - M. Stonebraker,
PY - 1983
KW - transaction management
KW - Commit protocols
KW - crash recovery
KW - distributed database systems
KW - distributed systems
KW - fault tolerance
VL - 9
JA - IEEE Transactions on Software Engineering
ER -
 
D. Skeen, Department of Computer Science, Cornell University
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.
Index Terms:
transaction management, Commit protocols, crash recovery, distributed database systems, distributed systems, fault tolerance
Citation:
D. Skeen, M. Stonebraker, "A Formal Model of Crash Recovery in a Distributed System," IEEE Transactions on Software Engineering, vol. 9, no. 3, pp. 219-228, May 1983, doi:10.1109/TSE.1983.236608
Usage of this product signifies your acceptance of the Terms of Use.