Distributed Systems Classics (2017)
Этот список представляет собой подборку ключевых работ, определивших развитие теории и практики распределённых систем. Он начинается с фундаментальной статьи Лампорта 1978 года о логических часах и упорядочивании событий — основы для понимания причинности в отсутствие глобального времени. Далее следует классическая формулировка проблемы византийских генералов (1982), показывающая пределы надёжности при наличии злонамеренных узлов. Работа Чанди и Лампорта (1985) вводит алгоритм распределённых снимков для фиксации согласованного глобального состояния, а доказательство ФЛП (1985) устанавливает фундаментальную невозможность достижения консенсуса в асинхронной системе даже при одном сбойном процессе.
Далее в списке идут seminal работы по репликации и консенсусу: Viewstamped Replication (1988) — предшественник Raft, Paxos в двух формах (оригинальное описание 1998 и упрощённая версия 2001), Bitcoin (2008) как первое практическое применение консенсуса в открытой среде, CRDTs (2011) для eventualmente-согласованных структур данных и, наконец, Raft (2014) — алгоритм консенсуса, разработанный для понятности и преподаваемости. Вместе эти работы образуют хронологическую цепочку идей, от теоретических основ до реализуемых систем, и остаются обязательными для изучения в области распределённых вычислений.