Theorem 15.1In an asynchronous dist

Theorem 15.1

In an asynchronous distributed system, total order multicasts cannot be implemented when even a single process crashes.
Proof: If we could implement total order multicasts in the presence of crash failures, then we could as well solve the asynchronous consensus problem in the following manner: Let each correct process enter the messages received by it in a local queue. If every correct process picks the head of the queue as its final decision, then consen- sus is reached. But we already know from Theorem 13.1 that the consensus problem cannot be solved in an asynchronous system even if a single process crashes. So it is impossible to implement total order multicasts in an asynchronous system in the pres- ence of a crash failure.

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

Теорема 15.1В асинхронной распределенной системы мультивещания общий порядок не может быть реализован, если даже один процесс аварийно завершает работу.Доказательство: Если мы могли бы осуществить мультивещания всего порядка при наличии сбоев crash, то мы могли бы также решить проблему асинхронного консенсуса следующим образом: Пусть каждый правильный процесс ввода сообщений, полученных им в локальной очереди. Если каждый правильный процесс выбирает заголовок очереди как окончательное решение, будет достигнуто большое sus. Но мы уже знаем из теоремы 13.1 что проблему консенсуса не может быть решена в асинхронной системе, даже если один процесс аварийно завершает работу. Таким образом невозможно реализовать общий порядок мультивещания в асинхронной системе в прес ence сбоя сбоя.

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

Теорема 15.1

В асинхронной распределенной системе, всего мультикастовые порядка не может быть реализован , когда даже одиночный процесс выходит из строя.
Доказательство: Если мы могли бы реализовать общий многоадресных порядка при наличии аварий аварии, то мы могли бы , а также решить асинхронной проблему консенсуса в следующем способ: Пусть каждый правильный процесс ввода сообщения , полученные ею в локальной очереди. Если каждый правильный процесс выбирает главу очереди в качестве окончательного решения, то консенсус будет достигнут. Но мы уже знаем из теоремы 13.1 , что проблема консенсус не может быть решена в асинхронной системе , даже если одиночный сбой процесса. Так что невозможно реализовать общий многоадресных порядка в асинхронной системе в присутствии выхода из строя аварии.