Лаборатория языковых инструментов

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

Докладчик: Антон Подкопаев.