# You can also click the upper-left icon to select videos from the playlist.
source: НОУ ИНТУИТ 2015年3月22日
Теория и практика многопоточного программирования
Автор курса: Станислав Протасов (МФТИ, Parallels)
Курс на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/14040/1281/info
Теоретические основы написания параллельных программ, математический подход к доказательству корректности параллельных алгоритмов, разработка неожидающих параллельных алгоритмов, ошибки в параллельных программах и способы их решения.
В курсе рассматривается архитектура многоядерных систем с разделяемой памятью. Вводится математическая модель параллельного исполнения, рассматривается способ построения рассуждения в терминах модели. Вводятся понятия согласованности многопоточной программы, и доказывается ряд теорем, позволяющих предсказывать поведения алгоритмов, построенных на базе известных примитивов. Рассматриваются наиболее распространённые ошибки проектирования параллельных программ и способы исправления таких ошибок.
Лекция 1: Введение в параллельное программирование 15:45
Лекция на сайте НОУ "ИНТУИТ": http://www.intuit.ru/studies/courses/...
Предпосылки возникновения параллельных систем. Состояние дел на начало XXI века. Парадигмы последовательного и параллельного мышления. Содержание курса. Компетенции после курса. Цель: формирование знания об архитектурах параллельных систем.
Лекция 2: Архитектура фон Неймана 15:32
Лекция 3: Последовательность исполнения. Упорядоченность и атомарность 16:11
Лекция 4: Формальное представление многопоточной системы 23:51
Лекция 5: Проблемы многопоточности 30:32
Лекция 6: Модель исполнения, критические секции и объекты блокировки 28:28
Лекция 7: Согласованность, история, линеаризуемость 26:13
Лекция 8: Консенсус 32:36
Лекция 9: Еще про консенсус 13:23
Лекция 10: Подходы к синхронизации 9:47
Лекция 11: Разделяемые структуры данных и алгоритмы обслуживания 40:34
No comments:
Post a Comment