Описание:Цель учебного курса – ознакомить студентов, специализирующихся в области программирования, с основными алгоритмическими задачами, возникающими при проектировании распределенных программ (сетевых протоколов, встроенных систем, многопроцессорных вычислительных систем, параллельных программ), наиболее распространенными алгоритмами решения этих задач, математическими моделями и методами, используемыми для анализа распределенных алгоритмов. Основное внимание уделяется вопросам доказательства корректности проектируемых алгоритмов и оценкам их эффективности. Курс состоит из следующих разделов
1. Математическая модель распределенных алгоритмов.
2. Коммуникационные протоколы.
3. Алгоритмы маршрутизации
4. Волновые алгоритмы.
5. Алгоритмы избрание лидера.
6. Алгоритмы обнаружение завершения вычислений.
7. Алгоритмы сохранение моментального состояния.
8. Обеспечение отказоустойчивости.
9. Обнаружение неисправностей в распределенных системах
10. Стабилизирующиеся алгоритмы