Системное программное обеспечение Лекция 5 Алгоритмы синхронизации. - презентация

1 Системное программное обеспечение Лекция 5 Алгоритмы синхронизации

2 Interleaving 2

3 Пример interleaving 3

4 Детерминированность активностей 4

5 Наборы переменных 5

6 Условия Бернстайна 6

7 Взаимодействовать процессам или нет 7

8 Критическая секция 8

9 9 ВремяСтудент 1Студент 2Студент Приходит в комнату 17-07Обнаруживает, что хлеба нет 17-09Уходит в магазин Приходит в комнату Обнаруживает, что хлеба нет Уходит в магазин Приходит в комнату Обнаруживает, что хлеба нет Уходит в магазин 17-23Приходит в магазин 17-25Покупает 2 батона на всех 17-27Уходит из магазина Приходит в магазин Покупает 2 батона на всех Уходит из магазина Приходит в магазин Покупает 2 батона на всех Уходит из магазина 17-41Возвращается в комнату Возвращается в комнату Возвращается в комнату

10 Исключение race condition 10 ВремяСтудент 1Студент 2Студент Приходит в комнату 17-07Достает два батона хлеба Приходит в комнату Приходит в комнату

11 Структура процесса с race condition 11

12 Алгоритмы организации взаимодействия процессов 12

13 Требования, предъявляемые к алгоритмам 13

14 Запрет прерываний 14

15 Переменная-замок 15

16 Строгое чередование 16

17 Флаги готовности 17

18 Алгоритм Петерсона 18

19 Алгоритм булочной 19

20 Аппаратная поддержка взаимоисключений 20

21 Команда Test-and-Set 21

22 Test-and-Set на уровне CPU 22

23 Команда Swap 23

24 Заключение 24