Optimistic recovery in distributed systems

作者: Rob Strom , Shaula Yemini

DOI: 10.1145/3959.3962

关键词:

摘要: … configuration after a failure, (3) mechanisms for implementing a stable store, (4) mechanisms for providing reliable communication within the distributed system. Solutions to these prob…

参考文章(13)
Shaula Yemini, Robert E. Strom, Synthesizing Distributed and Parallel Programs through Optimistic Transformations. international conference on parallel processing. pp. 632- 642 ,(1985)
Lawrence A. Bjork, Recovery scenario for a DB/DC system Proceedings of the annual conference on - ACM'73. pp. 142- 146 ,(1973) , 10.1145/800192.805695
C. Mohan, R. Strong, S. Finkelstein, Method for distributed transaction commit and recovery using Byzantine Agreement within clusters of processors principles of distributed computing. pp. 89- 103 ,(1983) , 10.1145/800221.806712
Charles T. Davies, Recovery semantics for a DB/DC system Proceedings of the annual conference on - ACM'73. pp. 136- 141 ,(1973) , 10.1145/800192.805694
Barbara Liskov, Robert Scheifler, Guardians and Actions: Linguistic Support for Robust, Distributed Programs ACM Transactions on Programming Languages and Systems. ,vol. 5, pp. 381- 404 ,(1983) , 10.1145/2166.357215
C. Mohan, B. Lindsay, Efficient commit protocols for the tree of processes model of distributed transactions ACM SIGOPS Operating Systems Review. ,vol. 19, pp. 40- 52 ,(1985) , 10.1145/850770.850772
Anita Borg, Jim Baumbach, Sam Glazer, A message system supporting fault tolerance symposium on operating systems principles. ,vol. 17, pp. 90- 99 ,(1983) , 10.1145/773379.806617
Richard D. Schlichting, Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems ACM Transactions on Computer Systems. ,vol. 1, pp. 222- 238 ,(1983) , 10.1145/357369.357371
K. Mani Chandy, Leslie Lamport, Distributed snapshots: determining global states of distributed systems ACM Transactions on Computer Systems. ,vol. 3, pp. 63- 75 ,(1985) , 10.1145/214451.214456
D.L. Russell, State Restoration in Systems of Communicating Processes IEEE Transactions on Software Engineering. ,vol. SE-6, pp. 183- 194 ,(1980) , 10.1109/TSE.1980.230469