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

Версия от 07:00, 30 октября 2017

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

[TBD]

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

@@ Строка 3: / Строка 3: @@
 Контакты: [mailto:sandello@gmail.com Пузыревский Иван Витальевич]
+Список тем курсовых работ: http://wiki.cs.hse.ru/Список_курсовых_работ._Распределенные_системы
 === Оценка ===
@@ Строка 14: / Строка 16: @@
 === 1 модуль ===
-'''4 сентября'''
+* Модель распределенных вычислений.
+* Объекты-регистры, типы регистров (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 модуль ===