Page 5 - 6571
P. 5
ЛЕКЦІЯ 7. НЕПОДІЛЬНІ ДІЇ ТА ОПЕРАТОРИ
ОЧІКУВАННЯ........................................................................................56
7.1. Дрібномодульна неподільність ................................................. 56
7.2. Задання синхронізації через оператор очікування.................. 59
7.3. Синхронізація типу «виробник-споживач» ............................. 62
ЛЕКЦІЯ 8. АКСІОМАТИЧНА СЕМАНТИКА
ПАРАЛЕЛЬНИХ ПРОГРАМ...............................................................64
8.1. Основні визначення та поняття................................................. 64
8.2. Логіка програмування ................................................................ 66
8.3. Семантика паралельного виконання......................................... 70
ЛЕКЦІЯ 9. ТЕХНІКА УСУНЕННЯ ВЗАЄМНОГО
ВТРУЧАННЯ ..........................................................................................73
9.1. Неперетинні множини змінних ................................................. 73
9.2. Глобальні інваріанти................................................................... 74
9.3. Синхронізація процесів.............................................................. 75
ЛЕКЦІЯ 10. ЗАДАЧА КРИТИЧНОЇ СЕКЦІЇ ТА АКТИВНІ
БЛОКУВАННЯ.......................................................................................77
10.1. Постановка задачі критичної секції........................................ 77
10.2. Активні блокування у задачі критичної секції ...................... 80
10.3. Інструкції реалізації умовних неподільних дій ..................... 81
10.4. Способи реалізації операторів await..................................... 84
ЛЕКЦІЯ 11. СПРАВЕДЛИВА СТРАТЕГІЯ РІШЕННЯ
ЗАДАЧІ КРИТИЧНОЇ СЕКЦІЇ...........................................................87
11.1. Алгоритм розриву вузла........................................................... 87
11.2. Алгоритм квитка ....................................................................... 90
11.3. Алгоритм поліклініки............................................................... 93
ЛЕКЦІЯ 12. МЕХАНІЗМ БАР’ЄРНОЇ СИНХРОНІЗАЦІЇ
ПРОЦЕСІВ...............................................................................................98
12.1. Спільний лічильник.................................................................. 98
12.2. Прапорці та управляючі процеси..........................................100
12.3. Бар’єр з об’єднуючим деревом..............................................103
ЛЕКЦІЯ 13. ОСНОВНІ ГРУПИ СЕМАФОРІВ ТА ЇХ
РЕАЛІЗАЦІЯ.........................................................................................106
13.1. Синтаксис і семантика семафорів.........................................106
13.2. Основні задачі та методи семафорів.....................................108
ЛЕКЦІЯ 14. МЕХАНІЗМ ВЗАЄМНОГО ВИКЛЮЧЕННЯ
ПРОЦЕСІВ.............................................................................................119
14.1. Задача про філософів, що обідають ......................................119
14.2. Задача про читачів та письменників.....................................121
4
