Двухфазная и трёхфазная фиксация

Шехар Джулати о 2PC [ссылка] - краткое описание, как выполняется требование атомарности, связь с CAP
Балрайа Суббиа о 2PC и 3PC [ссылка] - больше об различных видах отказов
Лекция Принстонского университета [ссылка] - отказоустойчивость, живость и безопасность, как это всё связано с 2PC, протокол Straw Man и атомарной фиксации
Разница между протоколами 2PC и X/Open XA [ссылка] - из документации NuoDB

B+ деревья

Элементарное введение на GeeksForGeeks [ссылка]

Хорошая статья с примерами [ссылка]

Лекция по древовидным индексам - университет Каролины [ссылка] - ISAM и B+деревья; картинки с коровами (?). Примечание: RID = row id, fanout - ветвление.

Коммуникации в распределённых системах

Французская лекция по групповым коммуникациям [ссылка]
Очень коротко по видам связей (упрямые, надежные) [ссылка]

LSM-деревья

SSтаблицы и LSM-деревья [ссылка] - статья Александра Межова

Владимир Кузнецов - о структурах данных в СУБД

Несколько видео Владимира Кузнецова на канале Сергея Немчинского
Про В-деревья [ссылка]; про LSM-деревья [ссылка]; про log-based [ссылка].

Алекс Петров (database internals)

Это такой совсем молодой парень из Мюнхена, который долго писал книгу Database internals и наконец написал. И её издал O'Reilly.

В поддержку книги он делал доклады на конференциях, писал статьи в интернете. Соответственно, часть его труда попала в открытый доступ. Даю ссылки:

Algorithms behind Modern Storage Systems [ссылка] - видеозапись доклада на конференции QCon2018 (размещена на Youtube канале InfoQ)

Блог Databasss на metium.com [ссылка] - B-деревья, LSM-деревья, немного о распределённых системах

Доказательство FLP

Оно было опубликовано в 1983 году в статье Impossibility of Distributed Consensus with One Faulty Process [ссылка]. 

В более доступной форме его можно найти в:

A Brief Tour of FLP Impossibility [ссылка] - статья

The FLP Proof [ссылка] - ролик на Youtube

Кстати, нашёл конспект лекций по распределенным алгоритмам знаменитой Нэнси Линч, одного из авторов FLP [ссылка]