НИС Распределенные системы (3 курс, 2017) — различия между версиями
Sandello (обсуждение | вклад) |
Sandello (обсуждение | вклад) |
||
| Строка 45: | Строка 45: | ||
* на 29.01; Богданова: ''Lamport'' -- Time, clocks and the ordering of events in a distributed system ([https://yadi.sk/i/0cE6EdG5vN5mr pdf]) | * на 29.01; Богданова: ''Lamport'' -- Time, clocks and the ordering of events in a distributed system ([https://yadi.sk/i/0cE6EdG5vN5mr pdf]) | ||
* на 29.01; Божко: ''Fidge'' -- Timestamps in message-passing systems that preserve the partial ordering ([https://yadi.sk/i/LyhtLfOMvN64M pdf]) | * на 29.01; Божко: ''Fidge'' -- Timestamps in message-passing systems that preserve the partial ordering ([https://yadi.sk/i/LyhtLfOMvN64M pdf]) | ||
| − | * на 05.02 | + | * на 05.02; Когтенков: ''Mills'' -- Internet time synchronization: the network time protocol ([https://yadi.sk/i/PdXX6TO2vN6Bw pdf]) |
| − | Литература: | + | Литература: Garg -- Elements Of Distributed Computing. |
Версия 15:05, 22 января 2018
Информация про семинар
В рамках научно-исследовательского семинара по распределенным системам изучаются основные понятия, принципы и результаты предметной области.
Контакты: Пузыревский Иван Витальевич
Список тем курсовых работ: http://wiki.cs.hse.ru/Темы_для_курсовых_работ_2017_(РС)
Оценка
- Проверочная работа 1 <= 4 баллов
- Задание 1 <= 3 баллов
- Проверочная работа 2 <= 4 баллов
- Задание 2 <= 3 баллов
Текущая таблица с оценками и ведомостью: https://docs.google.com/spreadsheets/d/16Z74fhT_TnNscsVviU9KU2mVlaMrmX3weQ6ku5jGGbk/edit?usp=sharing
Занятия
1 модуль
- Модель распределенных вычислений.
- Объекты-регистры, типы регистров (bool/int; safe/regular/atomic; single/multi-reader; single/multi-writer).
- Эквивалентность вычислительной силы SRSW Bool Safe & MRMW Int Atomic.
- Блокировки (locks). Понятия живости (liveness) и безопасности (safety). Мьютекс Лампорта.
Литература: Herlihy, Shavit -- The Art of Multiprocessor Programming (https://www.dropbox.com/s/s8sssgp95hq5f6q/aompp.pdf?dl=0). Главы 2-4.
2 модуль
- Lock-free & wait-free исполнения.
- Примитив консенсуса. Число консенсуса как характеристика примитивов синхронизации.
- Универальность консенсуса.
Литература: Herlihy, Shavit -- The Art of Multiprocessor Programming (https://www.dropbox.com/s/s8sssgp95hq5f6q/aompp.pdf?dl=0). Главы 5-6.
Проверочная работа: https://yadi.sk/i/8FSZSlli3QiJAc
Работа над ошибками (всем): задачи 11-19, все; deadline: НИС неделе 15.01-21.01.
3 модуль
Распределенные алгоритмы. Время, часы, порядок на событиях.
Назначенные статьи для разбора на занятии:
- на 29.01; Богданова: Lamport -- Time, clocks and the ordering of events in a distributed system (pdf)
- на 29.01; Божко: Fidge -- Timestamps in message-passing systems that preserve the partial ordering (pdf)
- на 05.02; Когтенков: Mills -- Internet time synchronization: the network time protocol (pdf)
Литература: Garg -- Elements Of Distributed Computing.
