13.4 paxos algorIthm Paxos is an al

13.4 paxos algorIthm

Paxos is an algorithm for implementing fault-tolerant consensus. It runs on a completely connected network of n processes and tolerates up to m failures, where n ≥ 2m + 1. Processes can crash and messages may be lost, but byzantine failures are ruled out, at least in the cur- rent version. The algorithm solves the consensus problem in the presence of these faults on an asynchronous system of processes. Although the requirements for consensus are agree- ment, validity, and termination, Paxos primarily guarantees agreement and validity, and not termination—it allows for the possibility of termination only if there is a sufficiently long interval during which no process restarts the protocol.
A process may play three different roles: proposer, acceptor, and learner. Each role has a different responsibility: Proposers submit proposed values on behalf of clients, acceptors decide the candidate values for the final decision, and learners collect these information from the acceptors and report the final decision back to the clients. A proposal sent by a proposer is a pair (v, n) where v is a value and n is a sequence number. If there is only one acceptor that decides which value will be chosen as the consensus value, then it will be too simplistic. What if the acceptor crashes? To deal with this, there are multiple acceptors. A proposal must be endorsed by at least one acceptor before it becomes a candidate for the final decision. The sequence number is used to distinguish between successive attempts to invoke the protocol. Upon receiving a proposal with a larger sequence number from a given process, acceptors discard the proposals with lower sequence numbers. Eventually, an acceptor accepts the majority’s choice. The sequence of actions is as follows:

Результаты (русский) 1:

Алгоритм Паксос 13.4 Паксос — алгоритм для реализации отказоустойчивой консенсуса. Он работает на полностью подключенной сети n процессов и выдерживает до сбоев m, где n ≥ 2 m + 1. Процессы могут аварийно завершить работу и сообщения могут быть утеряны, но византийские неудачи исключаются, по крайней мере в версии cur рент. Алгоритм решает проблему консенсуса в присутствии этих ошибок на асинхронной системе процессов. Хотя требования к консенсусу соглашаются ment, срок действия и прекращение, Паксос главным образом гарантирует соглашение и срок действия, а не прекращение — это допускает возможность прекращения только при наличии достаточно длительный интервал, в течение которого процесс не перезапускает протокол.Процесс может играть три различные роли: оферентом, акцептора и ученик. Каждая роль имеет различные обязанности: авторы представляют предложенные значения от имени клиентов, акцепторов определить значения кандидата для принятия окончательного решения, и собирать эти сведения из акцепторов и сообщить окончательное решение к клиентам. Предложение направлено автору-пара (v, n) где v — это значение, и n — порядковый номер. Если только одно Акцептор, который решает, какое значение будет выбран в качестве значения консенсуса, то он будет слишком упрощенным. Что делать, если акцептор аварийно завершает работу? Чтобы справиться с этим, есть несколько акцепторов. Предложение должно одобрено по крайней мере один акцептора, прежде чем она станет кандидатом для принятия окончательного решения. Порядковый номер используется для различения между последовательными попытками для вызова протокола. Получив предложение большего порядковый номер данного процесса, акцепторов отказаться от предложения с более низкими номерами последовательности. В конце концов акцептор принимает выбор большинства. Последовательность действий выглядит следующим образом:

Результаты (русский) 2:

13.4 Paxos Algorithm

Paxos представляет собой алгоритм для реализации отказоустойчивой консенсуса. Она работает на полностью подключенной сети п процессов и терпит до м неудач, где N ≥ 2m + 1. Процессы могут аварии и сообщения могут быть потеряны, но византийские неудачи исключены, по крайней мере , в версии текущего. Алгоритм решает проблему консенсуса в присутствии этих разломов на асинхронной системе процессов. Хотя требования к консенсусу являются согласие, справедливость и прекращение, Paxos в первую очередь гарантирует согласие и справедливость, а не прекращение, она допускает возможность прекращения только при наличии достаточно длинный промежуток , в течение которого ни один процесс не перезапускает протокол.
A процесс может играть три разные роли: акцептор, предлагающим проект, и обучаемого. Каждая роль имеет иную ответственность: представить предлагаемые предлагающие значения от имени клиентов, акцепторы определить значения кандидатов для принятия окончательного решения, а учащиеся собирают эту информацию из акцепторов и сообщить окончательное решение обратно клиентам. Предложение отправлено по предлагающим пара (v, п) , где v является значением и п представляет собой порядковый номер. Если есть только один акцептор , который решает , какое значение будет выбрано в качестве значения консенсуса, то это будет слишком упрощенным. Что делать , если акцепторные аварии? Чтобы справиться с этим, существует несколько акцепторы. Предложение должно быть одобрено по крайней мере одним акцептором , прежде чем он становится кандидатом для принятия окончательного решения. Порядковый номер используется для различения между последовательными попытками вызывающими протокола. Получив предложение с большим числом последовательностей из данного процесса, акцепторы отбрасывать предложения с более низкими порядковыми номерами. В конце концов, акцептор принимает выбор большинства. Последовательность действий выглядит следующим образом :