Исследовательская группа
Лаборатория языковых инструментов
Параллельность и модели памяти
14 сентября
Разрабатывать многопоточные программы особенно сложно, а если использовать неблокирующие алгоритмы (lock-free algorithms), то возникает ещё больше проблем. В контексте таких алгоритмов проявляются результаты процессорных и компиляторных оптимизаций, которые могут нарушать последовательную консистентность, то есть привычный порядок исполнения параллельной программы. Свод ограничений и правил, согласно которым поведение программы может отличаться от последовательно-консистентного, называется моделью памяти. В данном докладе освещается модель памяти C11 и её формализация.
Докладчик: Антон Подкопаев.