Лекция 6: Модель исполнения, критические секции и объекты блокировки

Подробности

Категория: Теория и практика многопоточного программирования

Математическая модель многопоточной программы. Терминология теории параллельного программирования. Реализация объектов блокировки. Цель: формирование математического аппарата для доказательных рассуждений о многопоточном исполнении.