- •Введение
- •Управление ресурсами: общие сведения
- •Управление процессами
- •2.1 Состояния процессов и переходы между ними
- •Стратегии и дисциплины планирования загрузки процессоров
- •Стратегия одинакового среднего времени ожидания
- •Дисциплина планирования fifo
- •Справедливая стратегия
- •Дисциплина планирования rr
- •Влияние величины кванта времени на величину средней задержки ответа
- •Стратегия максимальной пропускной способности
- •Дисциплина планирования sjf
- •Дисциплина планирования srt
- •Дисциплина планирования hrrn
- •Стратегия приоритетного планирования
- •Дисциплина лотерейного планирования
- •Дисциплины планирования с множеством очередей
- •Планирование с последовательным прохождением очередей
- •Дисциплина планирования vrr
- •Планирование на основе множества очередей с обратными связями
- •2.3 Планирование в многопользовательской системе – справедливое планирование
- •2.4 Планирование загрузки процессоров в операционных системах реального времени – частотно-монотонное планирование
- •2.5 Планирование загрузки процессоров в многопроцессорных системах
- •Многопроцессорная система с главным процессором
- •Организация с собственным планировщиком для каждого процессора
- •Симметричная многопроцессорная организация (smp)
- •Разбиение системных таблиц
- •Смещение моментов прерывания таймера
- •Стратегия планирования загрузки процессоров в многопроцессорной системе
- •Стратегия распределения загрузки
- •Стратегия максимальной производительности при параллельных вычислениях – бригадное планирование
- •Метод расщепление цикла
- •Метод редукции высоты дерева
- •Параллельное вычисление по альтернативным ветвям
- •Бригадное планирование процессов в многопроцессорной системе
- •2.6 Синхронизация выполнения процессов
- •Алгоритмы взаимоисключения с активным ожиданием
- •Алгоритм 1
- •Алгоритм 2
- •Алгоритм 3
- •Алгоритм 4
- •Алгоритм 5
- •Алгоритм Деккера
- •Алгоритм Петерсона
- •Алгоритм на основе команды процессора "проверить и установить"
- •Алгоритм на основе команды процессора "обменять данные"
- •Недостатки алгоритмов с активным ожиданием
- •Алгоритмы взаимоисключения с блокировкой процессов
- •Открытие объекта синхронизации
- •Закрытие объекта синхронизации
- •Вхождение в критическую секцию
- •Выход из критической секции
- •Замечания по реализации примитивов синхронизации
- •Мониторы
- •2.7 Взаимная блокировка процессов (тупики)
- •Необходимые условия возникновения тупика
- •Методы борьбы с тупиками
- •Предотвращение тупиков
- •Нарушение ожидания дополнительных ресурсов
- •Нарушение неперераспределимости ресурсов
- •Нарушение условия кругового ожидания
- •Устранение тупиков
- •Обнаружение тупиков
- •Управление памятью
- •3.1 Иерархическая модель памяти
- •Оценка среднего времени доступа к данным при использовании многоуровневой модели памяти
- •Локализация ссылок при обращении к памяти
- •3.2 Виртуальная память
- •Предпосылки создания виртуальной памяти
- •Архитектура виртуальной памяти
- •Подсистема трансляции адресов
- •Метод прямого отображения
- •Метод ассоциативного отображения
- •Метод комбинированного отображения
- •Архитектура виртуального адресного пространства
- •Сегментная организация виртуальной памяти
- •Страничная организация виртуальной памяти
- •Сегментно-страничная организация виртуальной памяти
- •Отображение файла на виртуальное адресное пространство
- •Совместное использование данных в оперативной памяти
- •3.3 Основные стратегии управления памятью
- •Стратегии выборки данных
- •Стратегии размещения данных
- •Выделение памяти по стратегии первого подходящего
- •Выделение памяти по стратегии наиболее подходящего
- •Выделение памяти по стратегии наименее подходящего
- •Стратегии замещения данных
- •Замещение с немедленной перезаписью и замещение с буферизацией
- •Замещение с локальной и глобальной областью видимости
- •3.4 Управление виртуальной памятью
- •Выборка в системе виртуальной памяти
- •Реализация выборки по требованию
- •Размещение в системе виртуальной памяти
- •Замещение в системе виртуальной памяти
- •Стратегия выталкивания случайной страницы
- •Оптимальная стратегия
- •Дисциплина fifo – выталкивание наиболее старой страницы
- •Дисциплина lru – выталкивание дольше всего неиспользуемой страницы
- •Дисциплина lfu – выталкивание страницы с наименьшей частотой обращений
- •Дисциплина nru – выталкивание страницы, не используемой в последнее время
- •Часовой алгоритм
- •Управление резидентным множеством страниц процесса
- •Понятие рабочего множества страниц процесса
- •Управление резидентными множествами на основе рабочих множеств
- •Глобальное замещение, динамическое резидентное множество
- •Локальное замещение, фиксированное резидентное множество
- •Локальное замещение, динамическое резидентное множество
- •Алгоритм на основе оценки частоты прерываний – дисциплина pff (Page Fault Frequency)
- •Алгоритм с переменным пробным интервалом – дисциплина vsws
- •Влияние размера страницы
- •Оптимизация работы дискового накопителя
- •Оптимизация механических перемещений головок диска
- •Основы устройства и функционирования дисковых накопителей
- •Стратегии оптимизации механических перемещений головок диска
- •Стратегия fcfs – Fist Come First Served
- •Стратегия sstf – Shortest Seek Time First
- •Стратегия scan – Scanning
- •Стратегия n-step scan – n-step Scanning
- •Системный дисковый кэш
- •Структура системного дискового кэша
- •Хэширование, хэш-функции и хэш-очереди
- •Структура блока и очередей дискового кэша
- •Работа системного дискового кэша
- •Упреждающее чтение
- •Реализация дискового кэша на основе виртуальной памяти
- •3.6 Надежность операционной системы при использовании системного дискового кэша
- •Буферизация ввода-вывода на пользовательском уровне
- •3.7 Процессорный кэш
- •Отображение участков озу на процессорный кэш
- •Случайное отображение участков озу в процессорный кэш
- •Детерминированное отображение участков озу в процессорный кэш
- •Комбинированное отображение участков озу в процессорный кэш
- •Работа процессорного кэша в режиме записи данных
- •3.8 Динамическое распределение памяти
- •Куча (heap)
- •Алгоритмы динамического распределения памяти
- •Отложенное объединение свободных блоков
- •Оптимизация списка свободных блоков
- •Метод парных меток для поддержания списка блоков кучи
- •Специальные алгоритмы динамического распределения памяти из кучи
- •Метод близнецов (или метод двойников)
- •Алгоритм выделения блоков памяти одинакового размера
- •Заключение
- •Библиографический список
- •Оглавление
- •394026 Воронеж, Московский просп., 14
Управление памятью
Память является одним из наиболее востребованных системных ресурсов. От эффективности управления памятью существенно зависит работа всей вычислительной системы. Любая программа может выполняться только если ее код и данные размещены в оперативной памяти компьютера. В многозадачной системе память не может вместить все запущенные программы одновременно, поэтому операционная система должна динамически перераспределять память между конкурирующими процессами. От того, насколько эффективно выполняется такое перераспределение, зависит быстродействие системы. При ошибках распределения памяти, например, если перекрылись участки памяти, распределенные различным процессам, возникают трудно обнаружимые ошибки.
Отметим также, что защита данных пользовательских и системных программ в современных операционных системах реализуется на основе контролируемого доступа к участкам памяти.
Таким образом, подсистема управления памятью в составе операционной системы является одним из фундаментальных системных механизмов, жизненно важных как для самой операционной системы, так и для всех выполняемых программ.
Если рассматривать память в рамках виртуальной машины, абстрагируясь от деталей реализации, можно выделить два основных требования, предъявляемых к ней:
объем памяти – характеристика, определяющая сколько единиц информации может одновременно хранить данная память.
среднее время доступа – характеристика, определяющая сколько в среднем времени затрачивается на выполнение одной операцию чтения или записи.
Очевидно, что чем больше объем памяти и меньше среднее время доступа к ней, тем быстрее будут выполняться программы. К сожалению, стоимость памяти очень быстро растет с ростом ее производительности, поэтому объем быстродействующей памяти реальной машины всегда ограничен.
Для того, чтобы в условиях дефицита быстродействующей памяти сохранить высокий уровень производительности, в современных компьютноах используется иерархическая модель памяти, рассмотрим ее.
3.1 Иерархическая модель памяти
Основная идея иерархической модели памяти состоит в следующем. Память системы разделяется на уровни иерархии, представленные запоминающими устройствами различного типа – с разным объемом и временем доступа. При этом, чем меньше быстродействие устройства памяти, тем больше должен быть его объем.
На верхнем уровне иерархии находится наиболее быстродействующее устройство памяти, на нижнем – наименее быстродействующее, но зато с наибольшим объемом.
Для всей иерархической структуры памяти соблюдается следующее правило: при переходе от вышележащего уровня к нижележащему быстродействие памяти уменьшается, а ее объем увеличивается.
Процессор непосредственно взаимодействует с верхним, наиболее быстрым уровнем памяти. Верхний уровень пытается самостоятельно обслужить запросы процессора на ввод-вывод данных, но если вдруг требуемых данных на верхнем уровне памяти не оказалось, то подсистема управления памятью обращается к нижележащему уровню памяти, и т.д., пока требуемые данные не будут обнаружены, или пока не будет получен отказ от самого нижнего уровня в иерархии памяти.
Все современные компьютеры реализуют многоуровневую модель памяти, включающую, как минимум, три уровня иерархии, как показано на рис. 21.
Рис.21. Иерархия памяти в современном компьютере
На верхнем уровне иерархии находится процессорный кэш– наиболее быстрая, но и наиболее дорогая память, ее объем в системе минимален, порядка сотен или тысяч килобайт. Для ускорения работы, процессорный кэш часто располагается непосредственно в корпусе процессора (или даже на общем кристалле с вычислительным ядром). В зависимости от типа процессора, в нем может быть представлено несколько уровней кэша.
Основная (или оперативная) память представляет средний уровень иерархии памяти в системе. Сейчас это электронная память с довольно высоким быстродействием. Ее объем в современных настольных компьютерах обычно составляет до нескольких гигабайт, что примерно в тысячу раз превосходит объем кэша, но при этом ОЗУ в несколько раз уступает кэшу по быстродействию.
Нижний уровень иерархии – вторичная память, представлен дисковым накопителем. Его объем составляет десятки и сотни гигабайт, что в сотни и тысячи раз больше ОЗУ. Но так как диск это электромеханическое, а не чисто электронное устройство, его производительность многократно, в тысячи раз, уступает производительности ОЗУ. Дисковый накопитель используется для долговременного хранения больших объемов данных, потребности в которых в данный момент нет.
За взаимодействие этих уровней памяти и за передачу данных между ними отвечает программно-аппаратная подсистема управления памятью, представляющая собой сочетание аппаратных средств в составе процессора и программного кода в составе операционной системы. В дальнейшем мы детально изучим этот механизм, а пока оценим производительность, достигаемую при иерархической организации памяти.