Page 8 - 4868
P. 8
ЗМІСТ 6
ЛЕКЦІЯ 7. НЕПОДІЛЬНІ ДІЇ ТА ОПЕРАТОРИ ОЧІКУВАННЯ................ 45
7.1. Дрібномодульна неподільність ............................................................ 45
7.2. Задання синхронізації через оператор очікування.............................. 48
7.3. Синхронізація типу «виробник-споживач» ......................................... 50
ЛЕКЦІЯ 8. АКСІОМАТИЧНА СЕМАНТИКА ПАРАЛЕЛЬНИХ
ПРОГРАМ ....................................................................................................... 52
8.1. Основні визначення та поняття............................................................ 52
8.2. Логіка програмування........................................................................... 53
8.3. Семантика паралельного виконання.................................................... 56
ЛЕКЦІЯ 9. ТЕХНІКА УСУНЕННЯ ВЗАЄМНОГО ВТРУЧАННЯ.............. 58
9.1. Неперетинні множини змінних ............................................................ 58
9.2. Глобальні інваріанти............................................................................. 59
9.3. Синхронізація процесів......................................................................... 60
ЛЕКЦІЯ 10. ЗАДАЧА КРИТИЧНОЇ СЕКЦІЇ ТА АКТИВНІ
БЛОКУВАННЯ ............................................................................................... 62
10.1. Постановка задачі критичної секції ................................................... 62
10.2. Активні блокування у задачі критичної секції .................................. 64
10.3. Інструкції реалізації умовних неподільних дій ................................. 65
10.4. Способи реалізації операторів await ................................................ 67
ЛЕКЦІЯ 11. СПРАВЕДЛИВА СТРАТЕГІЯ РІШЕННЯ ЗАДАЧІ
КРИТИЧНОЇ СЕКЦІЇ...................................................................................... 69
11.1. Алгоритм розриву вузла ..................................................................... 69
11.2. Алгоритм квитка ................................................................................. 72
11.3. Алгоритм поліклініки ......................................................................... 75
ЛЕКЦІЯ 12. МЕХАНІЗМ БАР’ЄРНОЇ СИНХРОНІЗАЦІЇ ПРОЦЕСІВ....... 78
12.1. Спільний лічильник ............................................................................ 78
12.2. Прапорці та управляючі процеси ....................................................... 80
12.3. Бар’єр з об’єднуючим деревом........................................................... 82
ЛЕКЦІЯ 13. ОСНОВІНІ ГРУПИ СЕМАФОРІВ ТА ЇХ РЕАЛІЗАЦІЯ......... 84
13.1. Синтаксис і семантика семафорів ...................................................... 84
13.2. Основні задачі та методи семафорів .................................................. 86
