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

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