Параллельное программирование (Часть 2/2)

Лектор: Евгений Калишенко, Алексей Злобин
7. Атомарные снимки регистров
SWMR-регистры
Lock-free snapshot
Wait-free snapshot
8. OpenMP и Intel TBB
Обзор OpenMP: параллельные секции, области видимости переменных, ограничения
Обзор Intel TBB: алгоритмы, аллокаторы, деревья задач, планирование
9. Шаблоны программирования
Структурные шаблоны Декомпозиция по задачам
Геометрическая декомпозиция
Recursive Data
Pipeline Некоторые программные структуры Parallel loops
Boss/Worker Разное Double check
Local Serializer
10. Кластерные вычисления
История и назначение стандарта
Обмен сообщениями С блокировкой
Без блокировки
Отложенные запросы на взаимодействие
Тупиковые ситуации (deadlock) Взаимодействие процессов Группы и коммуникаторы
Операции коллективного взаимодействия процессов
Редукция
Виртуальные топологии Средства анализа производительности
11. Map/Reduce - теория и практика
Идея Map/Reduce
Hadoop Обзор архитектуры
Примеры задач
Детали реализации
Популярные расширения Другие реализации M/R: достоинства и недостатки Проблемы Hadoop
Spark
Disco Дополнительно Что не надо использовать для построения M/R приложений
Отказоустойчивость M/R приложений
12. Консенсус. Сети Петри
Консенсус Консенсусное число RMW-регистров
Универсальность CAS-операций Верификация || программ (сети Петри)
13. Транзакционная память. Асинхронный ввод/вывод
Транзакционая память Software transactional memory
Hardware transactional memory
Пример на протоколе MESI
Немного о барьерах (store/load) Асинхронный ввод/вывод Блокирующий/неблокирующий
Синхронный (реактор)/асинхронный (проактор)