Shulou(Shulou.com)05/31 Report--

This article introduces you how to understand Paxos, the content is very detailed, interested friends can refer to, hope to be helpful to you.

Suppose there is a set of processes that can make proposals. A consistency algorithm needs to ensure that only one of these proposed proposals will be selected; if no proposals are made, then there will be no selected proposals; and when a proposal is selected, the process should be able to obtain the selected proposal information.

For consistency, the security (Safety) requirements are as follows:

Only the proposed proposal can be selected.

Only one value can be selected (chosen), and

If a process believes that a proposal has been selected, then the proposal must be the one that is really selected.

We will not accurately describe Liveness requirements. Overall, the goal is to ensure that a proposal will eventually be selected, and when a proposal is selected, the process will eventually get the selected proposal. Translation notes

In this consistency algorithm, there are three participating roles, which are represented by Proposers, Acceptors and Learners. In a specific implementation, a process may play more than one role, and here we don't care how the process maps to various roles.

Assuming that different participants can communicate by sending messages, we use a normal non-Byzantine asynchronous model:

Each participant executes at any speed and may make an error and stop or restart. When a proposal is selected, all participants are likely to fail or restart, so there can be no solution unless those who fail or restart can record some information.

Messages may take any time in transmission, may be repeated, lost, but will not be damaged.

On how to understand Paxos to share here, I hope that the above content can be of some help to you, can learn more knowledge. If you think the article is good, you can share it for more people to see.

Welcome to subscribe "Shulou Technology Information " to get latest news, interesting things and hot topics in the IT industry, and controls the hottest and latest Internet news, technology news and IT industry trends.