Exploiting virtual synchrony in distributed systems

Proceedings of the 11th ACM Symposium on Operating Systems Principles, SOSP 1987

Volumn , Issue , 1987, Pages 123-138

  Birman, Kenneth P ^a   Joseph, Thomas A ^a  

^a Department of Obstetrics Gynecology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; FAULT TOLERANT COMPUTER SYSTEMS;

CORRECT SOLUTION; DISTRIBUTED APPLICATIONS; DISTRIBUTED PROGRAMMING; DISTRIBUTED SYSTEMS; FAULT-TOLERANT SOFTWARE; GROUP MEMBERSHIPS; PROCESS GROUPS; VIRTUAL SYNCHRONY;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84987193155     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/41457.37515     Document Type: Conference Paper

References (24)

1. Babaoglu, O., and Drummond, R. Streets of Byzantium: Network architectures for fast reliable broadcasts. IEEE TSE SE-11, 6 (June 1985), 546-554.
2. Birrell, A., Nelson, B. Implementing remote procedure calls. ACM Transactions on Computer Systems 2, 1 (Feb. 1984), 39-59.
3. Birman, K. and Joseph, T. Reliable communication in the presence of failures. ACM Transactions on Computer Systems 5, 1 (Feb. 1987).
4. Birman, K. Replication and fault-tolerance in the ISIS system. Proc. 10th ACM SIGOPS Symposium on Operating Systems Principles. Orcas Island, Washington, Dec. 1985, 79-86.
5. Birman, K., Joseph, T. and Schmuck, F. ISIS System Documentation, Release I. Available as TR-87-849, Department of Computer Science, Cornell University, July 1987.
6. Birman, K. and Joseph, T. Programming with shared bulletin boards in asynchronous distributed systems. Dept. of Computer Science TR-86-772, Cornell University (August 1986; Revised December 1986).
7. Chang, J, Maxemchuk, N. Reliable broadcast protocols. ACM Transactions on Computing Systems 2, 3 (Aug. 1984), 251-273.
8. Cheriton, D. and Zwaenepoel, W. Distributed process groups in the V kernel. ACM Transactions on Computer Systems 3, 2 (May. 1985), 77-107.
9. Cooper, E. Replicated distributed programs. Proc. 10th ACM SIGOPS Symposium on Operating Systems Principles. Orcas Island, Washington, Dec. 1985, 63-78.
10. Cristian, F., Aghili, H., Strong, R., Dolev, D. Atomic broadcast: From simple message diffusion to Byzantine agreement. IBM Technical Report RJ 4540 (48668) 12/10/84.
11. Gifford, D. Weighted voting for replicated data. Proc. 7th ACM SIGOPS Symposium on Operating Systems Principles. December 1979.
12. Herlihy, M. Replication methods for abstract data types. PhD. thesis, Dept. of Computer Science, MIT (LCS 84-319), May 1984.
13. Jefferson, D. Virtual time. USC Technical report TR-83-213, University of Southern California, Los Angeles, May 1983.
14. Joseph, T. and Birman, K. Low cost management of replicated data in fault-tolerant distributed systems. ACM Transactions on Computing Systems 4, 1 (Feb. 1986), 54-70.
15. Lamport, L. Using time instead of timeout for fault-tolerance in distributed systems. ACM TOPLAS 6, 2 (April 1984), 254-280.
16. Lamport, L. Time, clocks, and the ordering of events in a distributed system. CACM 21, 7, July 1978, 558-565.
17. Liskov, B., Ladin, R. High Available Distributed Servers and Fault Tolerant Garbage Collection. Proc 5th ACM SIGACTISIGOPS Symposium on Principles of Distributed Computing, Aug. 1986, 40-51.
18. Moss, E. Nested transactions: An approach to reliable, distributed computing. Ph.D. thesis, MIT Dept of EECS, TR 260, April 1981.
19. Peterson, L. Preserving context information in an IPC abstraction. Proc. 6th Symposium on Reliability in Distributed Software and Database Systems, March 1987, 22-31.
20. Schneider, F. Synchronization in distributed programs. ACM TOPLAS 4, 2 (April 1982), 179-195.
21. Schneider, F., Gries, D., Schlicting, R. Reliable broadcast protocols. Science of Computer Programming 3, 2 (March 1984).
22. Schmuck, F. Picking the cheapest broadcast protocols in a distributed program. Ph.D. thesis, Cornell Univ. Dept. of Computer Science, (expected) Dec. 1987.
23. Skeen, D. Determining the last process to fail. ACM Transactions on Computing Systems 3, 1, Feb. 1985. 15-30.
24. Strom, R. and Yemini, S. Optimistic recovery in distributed systems. ACM Transactions on Computing Systems 3, 3 (April 1985), 204-226.