Архитектура современных распределённых систем

Расписание занятий на весенний семестр 2022/23 уч.года.

Видеоконференция https://clck.ru/TDG3q

Лекции/практики в ВВВ

Учебники

  1. Востокин С.В. Графическая объектная модель параллельных процессов и ее применение в задачах численного моделирования (1.1 Теоретические основы параллельного и распределенного программирования 1.1.1. Формальные методы в области параллельных и распределенных вычислений 1.1.2. Классификация моделей распределенных систем 2.1.2. Метод описания дискретных систем с использованием темпоральной логики: исхоные книги Lamport Leslie, Lynch Nency Chapter on distributed computing. Technical Memo MIT/LCS/TM-384. Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA, 02139, February 1989 http://groups.csail.mit.edu/tds/papers/Lynch/MIT-LCS-TM-384.pdf. Информация по TLA+ в интернете) http://graphplus.ssau.ru/docs//GraphicalObjectModel.pdf

Дополнительно

  1. Система запуска программ на кластере Сергей Королёв Templet Web http://templet.ssau.ru/app
  2. Страница Суперкомпьютерного центра Самарского университета с описанием системы Templet Web http://hpc.ssau.ru/node/3130
  3. Востокин С.В., Бобылева И.В. Применение алгоритмических скелетов для проектирования параллельных алгоритмов акторного типа. Современные информационные технологии и ИТ-образование. — 2020. — Т. 16. № 1. — С. 64-71 статья
  4. Система управления многозадачными распределенными вычислениями на основе акторных алгоритмов https://github.com/the-templet-project/templet
  5. Домашняя страница Лесли Лампорта http://www.lamport.org/
  6. Два примера текстового описания распределенного алгоритма в акторной парадигме bricksmove.pdf.

Задания на лабораторную работуpdf-файл

Презентации к лекциям

  1. Моделирование распределённых вычисленийpdf-файл

Группы весеннего семестра 2022 года