Закон Амдала. Отличия распределенных систем от систем с разделяемой памятью

Масштабируемость распределенных и параллельных систем, закон Амдала. Отличия распределенных систем от систем с разделяемой памятью.
Логические часы Лампорта и векторные часы, их свойства
Часы с прямой зависимостью (и их свойства) и матричные часы.
Взаимное исключение в распределенной системе. Централизованный, алгоритм Лампорта, алгоритм Рикарта и Агравалы.
Взаимное исключение в распределенной системе. Алгоритм обедающих философов, на основе токена, на основе кворума (простое большинство, рушащиеся стены).
Согласованное глобальное состояние (согласованный срез). Алгоритм Чанди-Лампорта. Запоминание сообщений на стороне отправителя.
Глобальные свойства. Стабильные и нестабильные предикаты. Слабый конъюнктивный предикат. Централизованный и распределенный алгоритмы.
Диффундирующие вычисления. Останов. Алгоритм Дейксты и Шолтена
Локально-стабильные предикаты, согласованные интервала, барьерная синхронизация (3 алгоритма). Применение для определения взаимной блокировки.
Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для причинно-согласованного порядка.
Упорядочивание сообщений. Определения, иерархия порядков. Алгоритм для синхронного порядка.
Общий порядок (total order). Алгоритм Скина.
Выбор лидера. Алгоритм Чанди-Робертса, и алгоритм Хирчберга-Синклера.
Транзакции. Двухфазная блокировка. Двухфазный коммит.
Иерархия ошибок в распределенных системах. Отказ узла в асинхронной системе --- невозможность консенсуса.
Синхронные системы. Алгоритм для консенсуса в случае отказа заданного числа узлов.
Синхронные системы. Проблема двух генералов. Невозможность получения общей информации.
Синхронные системы. Проблема византийских генералов. Невозможность решения при N=3, f=1. Формулировка общей теоремы.
Синхронные системы. Проблема византийских генералов. Алгоритм для N > 3f.
Синхронные системы. Проблема византийских генералов. Алгоритм для N > 4f.