НИС Распределенные системы (3 курс, 2017) — различия между версиями

Версия 13:24, 18 декабря 2017

В рамках научно-исследовательского семинара по распределенным системам изучаются основные понятия, принципы и результаты предметной области.

Модель распределенных вычислений.
Объекты-регистры, типы регистров (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.

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.

@@ Строка 8: / Строка 8: @@
 === Оценка ===
-[TBD]
+* Проверочная работа 1 <= 4 баллов
+* Задание 1 <= 3 баллов
+* Проверочная работа 2 <= 4 баллов
+* Задание 2 <= 3 баллов
 Текущая таблица с оценками и ведомостью: https://docs.google.com/spreadsheets/d/16Z74fhT_TnNscsVviU9KU2mVlaMrmX3weQ6ku5jGGbk/edit?usp=sharing
@@ Строка 24: / Строка 27: @@
 === 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'''.