Реализация и экспериментальная оценка протоколов консенсуса: Paxos и Raft

В представленной работе описываются основные принципы реализации распределенных сервисов с сильной формой согласованности данных на основе метода репликации автоматов с протоколами Raft и Paxos для решения задачи консенсуса. В документе обоснован выбор модификаций исходных протоколов, подходов для реконфигурации кластера, обработки падений узлов кластера и механизма репликации лога для восстановленных узлов с целью достижения большой доступности сервиса. В качестве предмета исследования рассматривалась задача репликации лога на примере исследуемых протоков и существующих систем с сильной согласованностью данных. Предлагается подход репликации лога на основе антиэнтропии с использованием деревьев Меркле. Разработанные решения представляют собой Erlang библиотеки, предназначенные для использования разработчиками для построения отказоустойчивых систем и решения базовых прикладных задач, возникающих в распределённых системах (блокировки, управление конфигурацией и т.д.). Количество страниц в работе – 113. Работа содержит таблиц – 7, иллюстраций – 42, использованных источников – 61. Ключевые слова: сильная согласованность данных, репликация автоматов, протокол решения задачи консенсуса, Raft, Paxos, деревья Меркле