Распределенные алгоритмы и системы

Обязательный курс для магистров 521 группы 10 семестра обучения. Курс читает профессор В. А. Захаров. Лекционная нагрузка — 48 ч., семинары — 16 ч.

Программа

1. Часть 1. Математические модели.

1. Характерные особенности и примеры распределенных систем компьютерные сети, локальные и глобальные сети, многопроцессорные компьютеры). #Архитектура распределенных систем. Стандарт ISO Open System Interconnection. Алгоритмические проблемы организации вычислений распределенных систем. Особенности распределенных алгоритмов.
2. Математическая модель распределенных систем. Системы переходов. Синхронный и асинхронный обмен сообщениями. Зависимые и независимые события. #Причинно-следственный порядок событий. Эквивалентность выполнений. Вычисления. Логические часы. Топологии распределенных систем.

   Часть 2. Коммуникационные протоколы.

3. Коммуникационные протоколы. Ошибки, возникающие при передаче сообщений. Задача надежного обмена сообщениями. Симметричные протокол раздвижного окна: устройство протокола и обоснование его корректности. Протокол альтернирующего бита.
4. Коммуникационный протокол с таймером: устройство и обоснование корректности.
5. Задача маршрутизации. Алго-ритмы построения кратчай-ших путей в графе. Алгоритм Флойда-Уоршалла. Алгоритм Туэга. Алгоритм Мерлина-Сигала. Алгоритм Чанди-Мизры. Алгоритм Netchange.

   Часть 3. Распределенные алгоритмы.

6. Волновые алгоритмы: определение, основные свойства, область применения. Древесный алгоритм.
7. Алгоритм эха. Фазовый алгоритм. Алгоритм Финна. Алгоритмы обхода. Распределенный обход в глубину.
8. Задача избрания лидера. Избрание лидера на кольцах: алгоритм Ченя-Робертса, оптимальный алгоритм Патерсона –Долева-Клейва-Роде.
9. Избрание лидера в произвольных сетях: алгоритм Галладжера-Хамблета-Спиры.
10. Задача обнаружения завершения вычисления. Алгоритм Дейкстры-Шолтена. Алгоритм Шави-Франчеза. Алгоритм возвращения кредитов. Алгоритм Раны. #Применение алгоритмов обнаружения завершения вычислений для выявления блокировки вычислений.
11. Задача сохранения моментального состояния. Алгоритм Чанди-Лампорта. Алгоритм Лаи-Янга.
12. (Список задач.(pdf))

Литература

1. G. Tel. Introduction to Distributed Algorithms. Cambridge University Press. 2000.