Distributed Network communication

unstable (delayed, missed, duplicated, reorder) — But content is not mutated!

• [ ] consensus algorithm (example of distributed system)

way to coordinate the cluster

• paxos
• Quarum = majority

Majority of the servers voted to the Y

• Raft

formally verificated Implementation

Currently worth for fixed implementation

⇒ reconfigureation? (Recraft algorithm)

Coq : Proof assitance

forml proof of algorithm

• [ ] Problem

Safety : alagorithm will not evolve in wrong state (But dont guarantee perpormance, Dont guarantee termination)

Liveness : Requirement such as termination,