A Majority consensus approach to concurrency control for multiple copy databases
ACM Transactions on Database Systems (TODS)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Value Transmission Method for Abstract Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing atomic actions on decentralized data
ACM Transactions on Computer Systems (TOCS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Dynamic verification of operating system decisions
Communications of the ACM
Practical use of a polymorphic applicative language
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fault Tolerance: Principles and Practice
Fault Tolerance: Principles and Practice
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Distributed Systems - Architecture and Implementation, An Advanced Course
Weighted voting for replicated data
SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles
Resource management in a decentralized system
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
A message system supporting fault tolerance
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Publishing: a reliable broadcast communication mechanism
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
SOSP '83 Proceedings of the ninth ACM symposium on Operating systems principles
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
Circus: A Replicated Procedure Call Facility
Circus: A Replicated Procedure Call Facility
CCAL: an interpreted language for experimentation in concurrent control
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
ActorSpace: an open distributed programming paradigm
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Distributed process groups in the V Kernel
ACM Transactions on Computer Systems (TOCS)
A design of a distributed full text retrieval system
Proceedings of the 9th annual international ACM SIGIR conference on Research and development in information retrieval
Delegating remote operation execution in a mobile computing environment
Mobile Networks and Applications - Special issue on mobile computing and system services
Replicated distributed programs
Proceedings of the tenth ACM symposium on Operating systems principles
A survey of remote procedure calls
ACM SIGOPS Operating Systems Review
Programming language support for replication in fault-tolerant distributed systems
EW 4 Proceedings of the 4th workshop on ACM SIGOPS European workshop
ACM SIGOPS Operating Systems Review
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
| Hi-index | 0.00 |
A new mechanism for constructing highly available distributed programs is described. It combines remote procedure call with replication of program modules for fault tolerance. The set of replicas of a module is called a troupe. In a program constructed from troupes, what appears to the programmer as a single inter-module procedure call results in a replicated procedure call. A distributed program constructed in this way will continue to function as long as at least one member of each troupe survives. The semantics of replicated procedure calls and troupes are defined and algorithms are presented that support these semantics.