What is SMR?
State machine Replication
Explain the purpose of SMR.
A single machine can be faulty. SMR is a solution in which identical rpelications of a machine (that receive the same requests from a client) must reach consesnsus in order to verify their behaviour.
What are the assumptions of SMR?
Asynchronous models
What kind of faults can be assumed in SMR models
either fail-stop/ crash faults or byzantine.
What are the system assumptions for Paxos?
Fail-stop / crash faults, where processes are able to restart. It also requires stable storage, and nodes are not malicious (not byz.)
Who introduced Paxos?
Lamport