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

Основы современных
операционных систем
Лекция 18
vosafonov@gmail.com
http://polyhimnie.math.spbu.ru/jtl
Виртуальная память
(C) В.О. Сафонов, 2010
Мотивировка
(C) В.О. Сафонов, 2010
Виртуальная память больше, чем
физическая память
(C) В.О. Сафонов, 2010
Страничная организация по требованию
(C) В.О. Сафонов, 2010
Преобразование страничной памяти в
непрерывное дисковое пространство
(C) В.О. Сафонов, 2010
Бит “valid – invalid”
(C) В.О. Сафонов, 2010
Пример таблицы страниц, в которой не все
страницы присутствуют в памяти
(C) В.О. Сафонов, 2010
Отсутствие страницы в памяти
(C) В.О. Сафонов, 2010
Этапы обработки ситуации отсутствия
страницы в памяти
(C) В.О. Сафонов, 2010
Ситуация отсутствия свободного
фрейма
(C) В.О. Сафонов, 2010
Оценка производительности стратегии
обработки страницы по требованию
(C) В.О. Сафонов, 2010
Преимущества виртуальной памяти
при создании процессов
(C) В.О. Сафонов, 2010
Совместное использование страниц
процессами
(C) В.О. Сафонов, 2010
Файлы, отображаемые в память
(memory-mapped files)
(C) В.О. Сафонов, 2010
Файлы, отображаемые в память
(C) В.О. Сафонов, 2010
Замещение страниц
(C) В.О. Сафонов, 2010
Пример: замещение страниц
(C) В.О. Сафонов, 2010
Краткое изложение стратегии
(алгоритма) замещения страниц
(C) В.О. Сафонов, 2010
Замещение страниц
(C) В.О. Сафонов, 2010
Алгоритмы замещения страниц
(C) В.О. Сафонов, 2010
График зависимости числа отказов
страниц от числа фреймов
(C) В.О. Сафонов, 2010
Алгоритм FIFO
(First-in-First-Out)
(C) В.О. Сафонов, 2010
Пример замещения страниц по
алгоритму FIFO
(C) В.О. Сафонов, 2010
Аномалия Belady при использовании
алгоритма FIFO замещения страниц
(C) В.О. Сафонов, 2010
Оптимальный алгоритм замещения
страниц
(C) В.О. Сафонов, 2010
Пример использования оптимального
алгоритма замещения страниц
(C) В.О. Сафонов, 2010
Алгоритм Least Recently Used (LRU)
(C) В.О. Сафонов, 2010
Замещение страниц по алгоритму LRU
(C) В.О. Сафонов, 2010
Алгоритм LRU (продолжение)
(C) В.О. Сафонов, 2010
Использование стека для хранения информации о
самых недавних обращениях к страницам
(C) В.О. Сафонов, 2010
Алгоритмы, близкие к LRU
(C) В.О. Сафонов, 2010
32
Алгоритм второго шанса
(C) В.О. Сафонов, 2010
33
Алгоритмы со счетчиком
(C) В.О. Сафонов, 2010
34
Выделение фреймов
(C) В.О. Сафонов, 2010
35
Фиксированное выделение
si  size of process pi
S   si
m  total number of frames
s
ai  allocation for pi  i  m
S
(C) В.О. Сафонов, 2010
36
Выделение по приоритетам
(C) В.О. Сафонов, 2010
37
Глобальное и локальное
распределение
(C) В.О. Сафонов, 2010
38
Thrashing
(букв. - “метание, тряска”)
(C) В.О. Сафонов, 2010
39
Thrashing
(C) В.О. Сафонов, 2010
40
Thrashing
(C) В.О. Сафонов, 2010
41
Модель рабочего множества
(C) В.О. Сафонов, 2010
42
Модель рабочего множества
(C) В.О. Сафонов, 2010
43
Пример ОС: Windows NT
(C) В.О. Сафонов, 2010
44
Пример ОС: Solaris
(C) В.О. Сафонов, 2010
45
Q&A
(C) В.О. Сафонов, 2010