ИКНК
Распределенные алгоритмы Шошмина Ирина Владимировна
0%
Previous
Course data
Общая информация
Форум
Вебинар в системе Webinar.ru
Ссылка на вебинарную комнату курса
Ссылка на ресурсный курс (РАЗМЕЩАЕТ ПРЕПОДАВАТЕЛЬ)
Учебник Бен-Ари
Связаться с преподавателем
Правила промежуточной аттестации
Правила аттестации по дисциплине
Оценочные средства (примеры оценочных средств)
Тема 1. Формальные модели распределенных алгоритмов
Остаток занятия
ДЗ1
05.02.24
Тема 2. Формальное задание свойств поведения распределенных алгоритмов
Задачи по составлению свойств в LTL
ДЗ
Присутствие 12.02.24
Тема 3. Моделирование и верификация распределенных алгоритмов с помощью SPIN
Презентация по SPIN
SPIN
Старая сборка SPIN
Методичка по SPIN
Задание по SPIN
Тема 4. Типы свойств распределенных алгоритмов
ДЗ к теме 4
ДЗ к теме 4
Проверка SPIN
Тема 5. Условия справедливости
ДЗ к теме 5
Тема 6. Атомарные регистры чтения-записи
Материалы к завершению лекции
ДЗ
Тема 7. Объекты замкового типа, реализованные с помощью атомарных регистров
ДЗ
Тема 8. Объекты замкового типа - семафоры
ДЗ
Тема 9. Разбор задач контрольной работы
ДЗ
Тема 10. Сплиттеры
ДЗ. Барьеры (запись)
ДЗ
Тема 11. Беззамковые конкурирующие объекты. Линеаризуемость
Доказательство алгоритма булочной для безопасных регистров
ДЗ
Тема 12. Мониторы
Занятия пройдет дистанционно
Лекция
ДЗ
Тема 13. Беззамковые конкурирующие объекты. Стеки и очереди
ДЗ
Тема 14. Задача консенсуса
Лекция
ДЗ
Курсовые
Название курсовой работы "Моделирование и верификация распределенных алгоритмов"
Запись на сдачу курсовой
Сборщик курсовых работ
Промежуточная аттестация
КР1
Консультация 03.06.24
Консультация
Экзамен
04.06.24
Экзамен 23.09.24
Topic 20
Next
Side panel
ИКНК
English (en)
Русский (ru)
English (en)
Log in
Site Navigation
Распределенные алгоритмы Шошмина Ирина Владимировна
Home
Skip to main content
Course info
Home
Courses
Учебный год 2023/24, весенний семестр
Бакалавриат
Распределенные алгоритмы Шошмина Ирина Владимировна
Summary
Распределенные алгоритмы Шошмина Ирина Владимировна
Преподаватель:
Шошмина Ирина Владимировна
Skill Level
:
Beginner
Skill Level
:
Beginner