Что такое consensus algorithm?

Consensus algorithm — алгоритм, позволяющий нескольким узлам распределённой системы договориться об одном значении, даже если часть узлов упала. Это фундаментальная проблема распределённых систем. Paxos — первый формально доказанный алгоритм консенсуса, но он настолько сложный, что его мало кто реализует правильно. Raft — упрощённая альтернатива, понятная обычному разработчику. Консенсус нужен для leader election, распределённых баз данных, конфигурационных хранилищ. Без него невозможно построить надёжную распределённую систему — CAP-теорема говорит, что при network partition нужно выбирать между consistency и availability.