Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
A logical approach to discrete math
A logical approach to discrete math
Replica determinism in distributed real-time systems: a brief survey
Real-Time Systems
Impossibility of distributed consensus with one faulty process
Journal of the ACM (JACM)
Unreliable failure detectors for reliable distributed systems
Journal of the ACM (JACM)
Comparing primary-backup and state machines for crash failures
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Distributed systems (2nd Ed.)
Theoretical Computer Science
On Quiescent Reliable Communication
SIAM Journal on Computing
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
Reliable Distributed Computing with the ISIS Toolkit
Reliable Distributed Computing with the ISIS Toolkit
Delta Four: A Generic Architecture for Dependable Distributed Computing
Delta Four: A Generic Architecture for Dependable Distributed Computing
Consensus-Based Fault-Tolerant Total Order Multicast
IEEE Transactions on Parallel and Distributed Systems
Perfect Failure Detection in Timed Asynchronous Systems
IEEE Transactions on Computers
Replicating CORBA objects: a marriage between active and passive replication
Proceedings of the IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems II
General Protocols for Consensus in Distributed Systems
DEXA '95 Proceedings of the 6th International Conference on Database and Expert Systems Applications
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
PADRE: A Protocol for Asymmetric Duplex REdundancy
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
A principle for resilient sharing of distributed resources
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Consensus in Asynchronous Systems Where Processes Can Crash and Recover
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
SRDS '98 Proceedings of the The 17th IEEE Symposium on Reliable Distributed Systems
A General Framework to Solve Agreement Problems
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Modeling Fault-Tolerant Mobile Agent Execution as a Sequence of Agreement Problems
SRDS '00 Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems
Optimization Techniques for Replicating Corba Objects
WORDS '99 Proceedings of the Fourth International Workshop on Object-Oriented Real-Time Dependable Systems
Time vs. Space in Fault-Tolerant Distributed Systems
WORDS '01 Proceedings of the Sixth International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS'01)
Real-Time Primary-Backup (RTPB) Replication with Temporal Consistency Guarantees
ICDCS '98 Proceedings of the The 18th International Conference on Distributed Computing Systems
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Failure detection and consensus in the crash-recovery model
Distributed Computing
Early consensus in an asynchronous system with a weak failure detector
Distributed Computing
Handling message semantics with Generic Broadcast protocols
Distributed Computing
Failure Detection vs Group Membership in Fault-Tolerant Distributed Systems: Hidden Trade-Offs
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Using asynchrony and zero degradation to speed up indulgent consensus protocols
Journal of Parallel and Distributed Computing
Effective service replication mechanisms exploiting agent mobility
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
| Hi-index | 0.00 |
This paper presents two main contributions: semi-passive replication and Lazy Consensus. The former is a replication technique with parsimonious processing. It is based on the latter; a variant of Consensus allowing the lazy evaluation of proposed values. Semi-passive replication is a replication technique with parsimonious processing. This means that, in the normal case, each request is processed by only one single process. The most significant aspect of semi-passive replication is that it requires a weaker system model than existing techniques of the same family. For semi-passive replication, we give an algorithm based on the Lazy Consensus. Lazy Consensus is a variant of the Consensus problem that allows the lazy evaluation of proposed values, hence the name. The main difference with Consensus is the introduction of an additional property of laziness. This property requires that proposed values are computed only when they are actually needed. We present an algorithm based on Chandra and Toueg's Consensus algorithm for asynchronous distributed systems with a @?S failure detector.