Краткий обзор технологии транзакционной памяти и эксперимент с использованием Intel TSX для реальных задач.

1. Транзакционная память
Синхронизация без блокировок
Конференция:
Обработка информации и математическое моделирование
Вычислительные системы
Докладчик: Егоров Б.В., МГ-13
Научный руководитель: Курносов М.Г., кафедра ВС
СибГУТИ, 2014

2. Синхронизация параллельных процессов
Для корректного обращения к общему ресурсу параллельных процессов необходима
синхронизация. В настоящий момент активно исследуются методы синхронизации:
• эффективная организация критических секций
• алгоритмы без блокировок
2/8

3. Транзакционная память
Фрагмент параллельной программы выделяется
в транзакцию, выполняемую атомарно:
/* Move item from one list to another */
int move(list *from, list *to) {
__transaction_atomic {
node *n = pop(from);
push(to, n);
}
}
3/8

4. Реализации транзакционной памяти
Программные: GCC 4.7+, Haskell, Clojure
Аппаратные: Sun Rock (2008), IBM BlueGene/Q (2011), Intel Haswell (2013).
4/8

5. Анализ эффективности
Конкурентное заполнение гистограммы яркостей пикселей изображения в формате BMP.
Рассматривались различные методы синхронизации:
• взаимное исключение (mutex);
• атомарные операции процессора;
• транзакционная память.
Аппаратное обеспечение: Intel(R) Core(TM) i7-4770 с 8Гб оперативной памяти.
5/8

6. Результаты
6/8

7. Выводы
Транзакционная память - перспективная технология, предлагающая альтернативу
существующим методам синхронизации.
• использование технологии зачастую упрощает написание параллельных программ;
• позволяет более рационально использовать аппаратное обеспечение.
7/8

8. Спасибо за внимание!
8/8