НИС Распределенные системы (3 курс, 2017) — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Sandello (обсуждение | вклад) (Новая страница: «== Информация про семинар == В рамках научно-исследовательского семинара по распределенн…») |
Sandello (обсуждение | вклад) |
||
| Строка 3: | Строка 3: | ||
Контакты: [mailto:sandello@gmail.com Пузыревский Иван Витальевич] | Контакты: [mailto:sandello@gmail.com Пузыревский Иван Витальевич] | ||
| + | |||
| + | Список тем курсовых работ: http://wiki.cs.hse.ru/Список_курсовых_работ._Распределенные_системы | ||
=== Оценка === | === Оценка === | ||
| Строка 14: | Строка 16: | ||
=== 1 модуль === | === 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 модуль === | |
Версия 10:00, 30 октября 2017
Информация про семинар
В рамках научно-исследовательского семинара по распределенным системам изучаются основные понятия, принципы и результаты предметной области.
Контакты: Пузыревский Иван Витальевич
Список тем курсовых работ: http://wiki.cs.hse.ru/Список_курсовых_работ._Распределенные_системы
Оценка
[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.
