|
|
| (не показаны 13 промежуточные версии 2 участников) |
| Строка 1: |
Строка 1: |
| − | Обязательный курс для студентов группы 521. Курс читает [[Подымов Владислав Васильевич|В. В. Подымов]].
| + | #перенаправление [[Распределённые алгоритмы]] |
| − | | + | |
| − | Актуальность информации: весенний семестр 2022/2023 учебного года.
| + | |
| − | | + | |
| − | = Слайды лекций =
| + | |
| − | | + | |
| − | [[Media: DAS_VP_01.pdf| Блок 1.]] О чём этот курс. Литература.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_02.pdf| Блок 2.]] Вступление: несколько слов о распределённых системах, проблемы организации их вычислений, особенности распределённых алгоритмов.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_03.pdf| Блок 3.]] Модель распределённой системы: система переходов системы, система переходов узла, распределённый алгоритм, асинхронный и синхронный обмен сообщениями.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_04.pdf| Блок 4.]] Справедливые вычисления.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_05.pdf| Блок 5.]] Иллюстрация трудности разработки распределённых алгоритмов
| + | |
| − | | + | |
| − | [[Media: DAS_VP_06.pdf| Блок 6.]] Причинно-следственный порядок событий.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_07.pdf| Блок 7.]] Логические часы.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_08.pdf| Блок 8.]] Дополнительные допущения. Сложность.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_09.pdf| Блок 9.]] Симметричный протокол раздвижного окна.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_10.pdf| Блок 10.]] Как обосновывать корректность распределённых алгоритмов. Свойства безопасности и живости.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_11.pdf| Блок 11.]] Корректность симметричного протокола раздвижного окна.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_12.pdf| Блок 12.]] Особенности реализации симметричного протокола раздвижного окна.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_13.pdf| Блок 13.]] Коммуникационный протокол с таймерами.
| + | |
| − | | + | |
| − | [[Media: DAS_VP_14.pdf| Блок 14.]] Корректность протокола с таймерами.
| + | |
| − | | + | |
| − | ''Слайды будут появляться по мере проведения занятий''
| + | |
| − | | + | |
| − | == Прошлогодние слайды ==
| + | |
| − | | + | |
| − | [[Media: Lecture-DA-1.pdf| Lecture 1]].
| + | |
| − | [[Media: Lecture-DA-2.pdf| Lecture 2]].
| + | |
| − | [[Media: Lecture-DA-3.pdf| Lecture 3]].
| + | |
| − | [[Media: Lecture-DA-4.pdf| Lecture 4]].
| + | |
| − | [[Media: Lecture-DA-5.pdf| Lecture 5]].
| + | |
| − | [[Media: Lecture-DA-6.pdf| Lecture 6]].
| + | |
| − | [[Media: Lecture-DA-7.pdf| Lecture 7]].
| + | |
| − | [[Media: Lecture-DA-8.pdf| Lecture 8]].
| + | |
| − | [[Media: Lecture-DA-9.pdf| Lecture 9]].
| + | |
| − | [[Media: Lecture-DA-10.pdf| Lecture 10]].
| + | |
| − | [[Media: Lecture-DA-11.pdf| Lecture 11]].
| + | |
| − | [[Media: Lecture-DA-12.pdf| 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.
| + | |
