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

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

Показывать лекцию целиком

Презентация к лекции: L6.pdf.

Краткие итоги: Введена модель исполнения параллельной программы. Рассмотрены правила рассуждения об исполнении на примере двух реализаций алгоритмов блокировки. Введено понятие "честности".

Упражнение

Докажите честность алгоритма Peterson Lock.

Вернуться к учебному плану