Read Paxos Made Simple by Leslie Lamport. This paper presents an easier-to-read version of content from The Part-Time Parliament, also by Leslie Lamport.

As you read, think about the following:

• What are the roles of proposers, acceptors, and learners, and how do they interact?
• Why must a proposer adopt a previously accepted value when moving to Phase 2?
• What guarantees that Paxos will never choose two different values (i.e., its safety property)?
• What can cause Paxos to make no progress (liveness issues), even if it remains correct?
• How can Paxos be used to perform leader election after a failure? Why does this process require running multiple instances of Paxos, as described in Section 3?

Submit your answers to these questions on Canvas by 12:00pm on Friday 4/17. You should be writing a few sentences in response to each question (so we don't need you to write an essay for each one, but we're also expecting more than one-word answers). Your responses should be in your own words, not direct quotations from the paper.