Распределенные алгоритмы и системы
Обязательный курс для студентов группы 521. Курс читает В. В. Подымов.
Актуальность информации: весенний семестр 2022/2023 учебного года.
Слайды лекций
Блок 1. О чём этот курс. Литература.
Блок 2. Вступление: несколько слов о распределённых системах, проблемы организации их вычислений, особенности распределённых алгоритмов.
Блок 3. Модель распределённой системы: система переходов системы, система переходов узла, распределённый алгоритм, асинхронный и синхронный обмен сообщениями.
Блок 4. Справедливые вычисления.
Блок 5. Иллюстрация трудности разработки распределённых алгоритмов
Блок 6. Причинно-следственный порядок событий.
Блок 7. Логические часы.
Блок 8. Дополнительные допущения. Сложность.
Блок 9. Симметричный протокол раздвижного окна.
Блок 10. Как обосновывать корректность распределённых алгоритмов. Свойства безопасности и живости.
Блок 11. Корректность симметричного протокола раздвижного окна.
Слайды будут появляться по мере проведения занятий
Прошлогодние слайды
Lecture 1. Lecture 2. Lecture 3. Lecture 4. Lecture 5. Lecture 6. Lecture 7. Lecture 8. Lecture 9. Lecture 10. Lecture 11. Lecture 12.
Литература
- G. Tel. Introduction to Distributed Algorithms. Cambridge University Press. 2000. (русск. пер. Ж. Тель. Введение в распределенные алгоритмы, изд-во МЦНМО, 2009 г., 616 с.)
- W. Fokkink. Distributed Algorithms: Intuitive Approach. The MIT Press. 2013. (русск. пер. У. Фоккинк. Распределенные алгоритмв: интуитивный подход., изд-во Питер, 2017 г., 231 с.)
- N. Lynch. Distributed Algorithms. Morgan Kaufmann, 1996, 906 pp.
