Static analysis meets distributed fault-tolerance: enabling state-machine replication with nondeterminism

Authors:
Joseph G. Slember;Priya Narasimhan
Affiliations:
Electrical & Computer Engineering Department, Carnegie Mellon University, Pittsburgh, PA;Electrical & Computer Engineering Department, Carnegie Mellon University, Pittsburgh, PA
Venue:
HotDep'06 Proceedings of the Second conference on Hot topics in system dependability
Year:
2006

Citing 7
Cited 0

Implementing fault-tolerant services using the state machine approach: a tutorial

ACM Computing Surveys (CSUR)
Hypervisor-based fault tolerance

ACM Transactions on Computer Systems (TOCS) - Special issue on operating system principles
A survey of rollback-recovery protocols in message-passing systems

ACM Computing Surveys (CSUR)
TFT: A Software System for Application-Transparent Fault Tolerance

FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
Enforcing Determinism for the Consistent Replication of Multithreaded CORBA Applications

SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
MIDDLE-R: Consistent database replication at the middleware level

ACM Transactions on Computer Systems (TOCS)
Living with nondeterminism in replicated middleware applications

Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware

Quantified Score

Hi-index	0.00

Visualization

Abstract

Midas is an inter-disciplinary approach to supporting state-machine replication for nondeterministic distributed applications. The approach exploits compile-time static analysis to identify both firsthand and second-hand sources of nondeterminism. Subsequent runtime compensation occurs through either the transfer of nondeterministic checkpoints or the re-execution of inserted code, and restores consistency among replicas before each new client request. The approach avoids the need for lock-step synchronization and leverages application-level insight to address only the nondeterminism that matters. Our preliminary evaluation demonstrates Midas' feasibility and current performance overheads.