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

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
Строка 4: Строка 4:
 
Контакты: [mailto:sandello@gmail.com Пузыревский Иван Витальевич]
 
Контакты: [mailto:sandello@gmail.com Пузыревский Иван Витальевич]
  
Список тем курсовых работ: http://wiki.cs.hse.ru/Список_курсовых_работ._Распределенные_системы
+
Список тем курсовых работ: http://wiki.cs.hse.ru/Темы_для_курсовых_работ_2017_(РС)
  
 
=== Оценка ===
 
=== Оценка ===

Версия 10:01, 30 октября 2017

Информация про семинар

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

Контакты: Пузыревский Иван Витальевич

Список тем курсовых работ: http://wiki.cs.hse.ru/Темы_для_курсовых_работ_2017_(РС)

Оценка

[TBD]

Текущая таблица с оценками и ведомостью: 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 модуль