В курсе рассматривается архитектура многоядерных систем с разделяемой памятью. Вводится математическая модель параллельного исполнения, рассматривается способ построения рассуждения в терминах модели. Вводятся понятия согласованности многопоточной программы, и доказывается ряд теорем, позволяющих предсказывать поведения алгоритмов, построенных на базе известных примитивов. Рассматриваются наиболее распространённые ошибки проектирования параллельных программ и способы исправления таких ошибок.