Formal Specification of Fault Tolerant Distributed Systems in the Action Systems Formalism

2010 ◽  
Author(s):  
Elena Troubitsyna
Keyword(s):  
Distributed Systems ◽  
Formal Specification ◽  
Fault Tolerant ◽  
Action Systems

On the implementation and use of Ada on fault-tolerant distributed systems

1984 ◽  
Vol IV (3) ◽  
pp. 53-64 ◽  
Author(s):  
John C. Knight ◽  
John I. A. Urquhart
Keyword(s):  
Distributed Systems ◽  
Fault Tolerant

Ada on fault-tolerant distributed systems

1987 ◽  
Vol VII (6) ◽  
pp. 61-63
Author(s):  
John C. Knight
Keyword(s):  
Distributed Systems ◽  
Fault Tolerant

scholarly journals Log Replication in Raft vs Kafka

2020 ◽  
Vol 65 (2) ◽  
pp. 66
Author(s):  
M. Petrescu ◽  
R. Petrescu
Keyword(s):  
Distributed Systems ◽  
Fault Tolerant ◽  
Consensus Algorithm ◽  
Correct Operation ◽  
Consensus Algorithms ◽  
Fault Tolerant System ◽  
Multiple Algorithms

The implementation of a fault-tolerant system requires some type of consensus algorithm for correct operation. From Paxos to View-stamped Replication and Raft multiple algorithms have been developed to handle this problem. This paper presents and compares the Raft algorithm and Apache Kafka, a distributed messaging system which, although at a higher level, implements many concepts present in Raft (strong leadership, append-only log, log compaction, etc.).This shows that mechanisms conceived to handle one class of problems (consensus algorithms) are very useful to handle a larger category in the context of distributed systems.

Sign in / Sign up

Export Citation Format

Share Document