Распределенные алгоритмы и системы — различия между версиями

Версия 18:54, 23 декабря 2013

Спецкурс, лекции проходят по понедельникам в ауд. 607 с 16:20 до 17:55. Лектор - Захаров В.А..

Программа

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

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

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

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

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

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

Литература

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