Основы современных операционных систем Лекция 12. - презентация

1 Основы современных операционных систем Лекция 12

2 (C) В.О. Сафонов, Синхронизация процессов

3 (C) В.О. Сафонов, История

4 (C) В.О. Сафонов, Ограниченный буфер: Представление

5 (C) В.О. Сафонов, Ограниченный буфер: Производитель

6 (C) В.О. Сафонов, Ограниченный буфер: Потребитель

7 (C) В.О. Сафонов, Ограниченный буфер: Атомарность операций над counter

8 (C) В.О. Сафонов, Ограниченный буфер: Реализация операций над counter

9 (C) В.О. Сафонов, Ограниченный буфер: Совместное обращение (interleaving)

10 (C) В.О. Сафонов, Ограниченный буфер: Эффект interleaving

11 (C) В.О. Сафонов, Конкуренция за общие данные (race condition)

12 (C) В.О. Сафонов, Проблема критической секции

13 (C) В.О. Сафонов, Решение проблемы критической секции

14 (C) В.О. Сафонов, Первоначальные попытки решения проблемы

15 (C) В.О. Сафонов, Алгоритм 1

16 (C) В.О. Сафонов, Алгоритм 2

17 (C) В.О. Сафонов, Алгоритм 3

18 (C) В.О. Сафонов, Алгоритм булочной (bakery algorithm) – L. Lamport

19 (C) В.О. Сафонов, Алгоритм булочной

20 (C) В.О. Сафонов, Аппаратная поддержка синхронизации

21 (C) В.О. Сафонов, 2010 Взаимное исключение с помощью TestAndSet

22 (C) В.О. Сафонов, 2010 Аппаратное решение для синхронизации

23 (C) В.О. Сафонов, 2010 Взаимное исключение с помощью Swap

24 (C) В.О. Сафонов, 2010 Общие семафоры – counting semaphores (по Э. Дейкстре)

25 (C) В.О. Сафонов, 2010 Критическая секция для N процессов

26 (C) В.О. Сафонов, 2010 Реализация семафора

27 (C) В.О. Сафонов, 2010 Реализация

28 (C) В.О. Сафонов, 2010 Семафоры как общее средство синхронизации

29 (C) В.О. Сафонов, 2010 Два типа семафоров

30 (C) В.О. Сафонов, 2010 Вариант операции wait(S) для системных процессов (Эльбрус)

31 (C) В.О. Сафонов, 2010 Реализация общего семафора S с помощью двоичных семафоров

32 (C) В.О. Сафонов, 2010 Реализация операций над семафором S

33 (C) В.О. Сафонов, 2010 Классические задачи синхронизации

34 (C) В.О. Сафонов, 2010 Задача ограниченный буфер

35 (C) В.О. Сафонов, 2010 Процесс-производитель ограниченного буфера

36 (C) В.О. Сафонов, 2010 Процесс-потребитель ограниченного буфера

37 (C) В.О. Сафонов, 2010 Задача читатели-писатели

38 (C) В.О. Сафонов, 2010 Процесс-писатель

39 (C) В.О. Сафонов, 2010 Процесс-читатель

40 (C) В.О. Сафонов, 2010 Задача обедающие философы Общие данные semaphore chopstick[5]; Первоначально все значения равны 1

41 (C) В.О. Сафонов, 2010 Задача обедающие философы

42 (C) В.О. Сафонов, 2010 Критические области (critical regions)

43 (C) В.О. Сафонов, 2010 Пример: ограниченный буфер

44 (C) В.О. Сафонов, 2010 Процесс-производитель

45 (C) В.О. Сафонов, 2010 Процесс-потребитель

46 (C) В.О. Сафонов, 2010 Реализация оператора region x when B do S

47 (C) В.О. Сафонов, 2010 Реализация

48 (C) В.О. Сафонов, 2010 Мониторы (C. A. R. Hoare)

49 (C) В.О. Сафонов, 2010 Мониторы: условные переменные

50 (C) В.О. Сафонов, 2010 Схематическое представление монитора

51 (C) В.О. Сафонов, 2010 Монитор с условными переменными

52 (C) В.О. Сафонов, 2010 Пример: обедающие философы

53 (C) В.О. Сафонов, 2010 Обедающие философы: реализация операций pickup и putdown

54 (C) В.О. Сафонов, 2010 Обедающие философы: реализация операции test

55 (C) В.О. Сафонов, 2010 Реализация мониторов с помощью семафоров

56 (C) В.О. Сафонов, 2010 Реализация мониторов

57 (C) В.О. Сафонов, 2010 Реализация мониторов

58 (C) В.О. Сафонов, 2010 Реализация мониторов

59 (C) В.О. Сафонов, 2010 Синхронизация в Solaris

60 (C) В.О. Сафонов, 2010 Синхронизация в Windows 2000

61 (C) В.О. Сафонов, Q & A