1
Я собираю знания о консенсусных протоколах в распределенной системе. Такая распределенная система выполняет первичное резервное копирование в базах данных.Теоретические результаты консенсусного протокола в распределенной системе первичного резервного копирования
Я узнал, что «каждый консенсусный протокол может зацикливаться навсегда». от Leader election for paxos-based replicated key value store
Где источник информации «каждый консенсусный протокол может зацикливаться навсегда»?
Status update: вопрос ответ. Тот же источник информации был предоставлен ристсовым и другим лицом another post.
Может ли быть предоставлено больше теоретических результатов и соответствующего источника информации?
Не могли бы вы дважды проверить? В документе не показано, что «каждый консенсусный протокол может зацикливаться навсегда». –
ЛЕММА 2 «P имеет двухвалентную начальную конфигурацию» не доказана. Для P «начальные состояния ... выходной регистр начинается со значения b» и «состояния, в которых выходной регистр имеет значение 0 или 1, выделяются как состояния принятия решения». Для двухвалентного «пусть V - множество значений решений конфигураций, доступных из C. C, является бивалентным, если | V | = 2.» Все состояния принятия решения представляют собой выходные регистры, начинающиеся со значения b, поэтому | V | ! = 2. Когда | V | ! = 2, P не имеет двухвалентной начальной конфигурации. Если ЛЕММА 2 не доказана правильно, то теорема 1 не доказана. –
ТЕОРЕМА 2 не доказана. ТЕОРЕМА 2 зависит от «узла k находится в начальной клике, если k является предком каждого узла j, который является предком k», и «может быть только одна начальная клика, она имеет мощность по крайней мере L. " Контрактный пример: 5 узлов A, B, C, D и E. Пусть B => A среднее значение B отправляет сообщение A. На первом этапе B => A, C => A; C => B, D => B; D => C, E => C; E => D, A => D; A => E, B => E. На втором этапе все узлы принимают сообщения на борту от всех других узлов, поэтому все узлы знают узлы и ребра графа. Существует 0 начальных кликов с мощностью не менее 3. –