WikiDer > Протокол трехфазной фиксации

Three-phase commit protocol

В компьютерная сеть и базы данных, то протокол трехфазной фиксации (3ПК)[1] это распределенный алгоритм что позволяет всем узлам в распределенная система согласны совершить а сделка. Это уточнение протокол двухфазной фиксации (2PC), который более устойчив к сбоям.

Мотивация

А протокол двухфазной фиксации не может надежно восстановиться после отказа координатора и члена когорты во время Фаза фиксации. Если только координатор потерпел неудачу и ни один из членов когорты не получил сообщение о фиксации, можно было бы с уверенностью сделать вывод, что фиксации не произошло. Если, однако, и координатор, и член когорты потерпели неудачу, возможно, что отказавший член когорты был первым, кто был уведомлен и действительно совершил фиксацию. Даже если выбран новый координатор, он не может уверенно продолжить операцию до тех пор, пока не получит согласие всех членов когорты, и, следовательно, должен заблокировать, пока все члены когорты не ответят.

Протокол трехфазной фиксации устраняет эту проблему, вводя состояние «Подготовлено к фиксации». Если координатор терпит неудачу перед отправкой сообщений preCommit, когорта единогласно соглашается, что операция была прервана. Координатор не отправит сообщение doCommit, пока все члены когорты ACKЭд, что они Готов к совершению. Это исключает возможность того, что какой-либо член когорты фактически завершил транзакцию до того, как все члены когорты узнали о решении сделать это (двусмысленность, которая потребовала неопределенной блокировки в протокол двухфазной фиксации).

Решение

Фаза предварительной фиксации, представленная выше, помогает системе восстановиться после сбоя участника или отказа координатора и узла-участника во время фазы фиксации. Когда координатор восстановления вступает во владение после сбоя координатора во время фазы фиксации двухфазная фиксация, новая предварительная фиксация удобна следующим образом: при опросе участников, если он узнает, что некоторые узлы находятся в фазе фиксации, он предполагает, что предыдущий координатор перед сбоем принял решение о фиксации. Следовательно, он может вести протокол к фиксации. Точно так же, если участник сообщает, что он не получает сообщение PrepareToCommit, новый координатор может предположить, что предыдущий координатор отказал, даже до того, как он завершил этап PrepareToCommit. Следовательно, можно с уверенностью предположить, что никакой другой участник не зафиксировал бы изменения и, следовательно, безопасно прервал бы транзакцию.

Расширения

Используя исходный протокол трехфазной фиксации Skeen, возможно, что кворум будет подключен, не имея возможности добиться прогресса (это не тупиковая ситуация; система все равно будет работать, если разделение сети будет разрешено). E3PC Кейдара и Долева[2] уточняет протокол трехфазной фиксации Skeen и решает эту проблему способом, который * всегда * позволяет кворуму добиваться прогресса.

Недостатки

Трехфазная фиксация предполагает сеть с ограниченной задержкой и узлы с ограниченным временем отклика; В большинстве практических систем с неограниченной сетевой задержкой и паузами процессов он не может гарантировать атомарность. Другой недостаток протокола заключается в том, что для его выполнения требуется как минимум три цикла приема-передачи, а также как минимум три цикла приема-передачи (RTT). Это потенциально большая задержка для завершения каждой транзакции.

использованная литература

  1. ^ Скин, Дейл (февраль 1982). Протокол фиксации на основе кворума (Технический отчет). Департамент компьютерных наук Корнельского университета.
  2. ^ Кейдар, Идит; Дэнни Долев (декабрь 1998 г.). «Повышение устойчивости распределенных и реплицированных систем баз данных». Журнал компьютерных и системных наук. 57 (3): 309–324. Дои:10.1006 / jcss.1998.1566.

Смотрите также