2011/2012 — Весенний семестр
Теория и практика многопоточного программирования
Годовой курс по выбору.
Разделы: Информатика, Программирование.
Кафедра информатики.
Проходит: по средам в 18:30, первое занятие 15 февраля. Аудитория: 115 КПМ.
Лектор: проф. Тормасов А., зав. кафедрой, д. ф.-м. н.
Курс рассчитан на студентов от 2 курса и аспирантов.
Новый курс по параллельному программированию.
Почему?
За последние 10 лет появились новые многоядерные процессоры, разделы фундаментальной математики, алгоритмы и структуры данных (lockless, вероятностные...)
Зачем?
Понять, как можно создавать эффективно работающие программы в современном многопроцессорном мире.
Кто может слушать?
Студенты (от 2 курса) и аспиранты, имеющие некоторый опыт в программировании на языке типа С.
Особенности курса
В курсе НЕТ: «семафоры», «MPI», «Grid», кластеры, распределенные системы, топология...
ЕСТЬ: особенности SMP архитектуры x86: кеши, шина и т. д. Какие бывают и что ожидать от lockless алгоритмов, как доказать корректность алгоритма, что использовать как базу.
Содержание курса
Теория
— Формализация описания параллельных программ;
— Задача о консенсусе и сравнение примитивов синхронизации;
— Можно ли создать гарантированно корректный алгоритм для набора потоков, работающих с общей памятью;
— Как доказать корректность соисполняемых алгоритмов.
Прикладная информация
— Современные алгоритмы и структуры данных;
— Методы анализа алгоритмов;
— Специфика создания параллельных высокопроизводительных программ для архитектуры x86.
acm.mipt.ru/twiki/bin/view/Info/NewsDt201004142117
http://tormasov.com. Вопросы: tor@sw.ru.
Что развивает курс (данные для «Вектора»)
- Практика программирования (языки и технологии) (курс сфокусирован на этом)
- Понимание и декомпозиция сложных систем (развивает косвенно)
- Проектирование аппаратуры (языки описания аппаратуры, работа с САПР и др.) (развивает косвенно)
Информация о развиваемых компетенциях занесена в систему для работы «Вектора». Поскольку занесение информации производится редакторами проекта, а не авторами курсов, информация может быть неполной или даже частично неверной. Если Вы нашли ошибку, напишите нам об этом. См. также подробнее о системе «Вектор» и полный список компетенций.
