- •Введение
- •Управление ресурсами: общие сведения
- •Управление процессами
- •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.2 Виртуальная память
Виртуальная память сегодня является общепринятым способом организации памяти любого компьютера. Понятие виртуальная память объединяет в себе совокупность аппаратных компонентов в составе процессора и программных средств в составе операционной системы. Аппаратура процессора выполняет трансляцию (пересчет) адресов при обращении к памяти, а подпрограммы в составе операционной системы управляют обменом данных между диском и ОЗУ. Для работы виртуальной памяти используется также механизм прерываний, рассмотренный ранее в нашем курсе.
Предпосылки создания виртуальной памяти
Необходимость коренным образом реорганизовать подсистему памяти появилась в связи с развитием многозадачности. Однозадачная операционная система отдает всю память в распоряжение текущей выполняемой программы. Максимум, что при этом требуется от операционной системы, это обеспечить защиту собственных программ и данных от злонамеренных или ошибочных действий прикладной программы, и такая задача легко решалась введением в процессоре граничного регистра.
Граничный регистр определял наибольший адрес, по которому еще может обращаться к памяти прикладная программа. Адресное пространство от граничного адреса и выше принадлежало операционной системе, и пользовательская программа не может туда обращаться. Адресное пространство ниже граничного адреса доступно как прикладной программе, так и операционной системе.
Однако, с развитием многозадачности возникли новые специфические требования к подсистеме памяти: прежде всего, потребовалось делить память между программами, выполняющимися параллельно. На практике, это оказалось отнюдь не тривиальной задачей из-за эффекта фрагментации памяти.
Рассмотрим следующий пример. Пусть в системе последовательно запущены программы P1, P2 и P3. Пусть при этом получено распределение памяти, показанное на рис. 22. Программа P4 в этой ситуации не может быть запущена, т.к. для ее размещения недостаточно свободной памяти.
Рис.22 Распределение памяти после запуска трех программ.
Пусть теперь программа P2 завершилась и освободила память. Хотя общий объем свободной памяти теперь достаточен для запуска программы P4, она все равно не может начать работать, т.к. свободная память представлена в виде двух фрагментов недостаточного размера (рис. 23).
Рис.23. Распределение памяти после завершения второй программы
Казалось бы, очевидным решением является перемещение в памяти программы P3 вплотную к программе P1. Однако, на практике выполнить такое перемещение далеко не просто. Перемещаемая программа могла ссылаться на абсолютные адреса в памяти, и при перемещении необходимо было бы найти в ее коде и скорректировать все такие ссылки. Это слишком сложная и длительная операция, чтобы использовать ее в качестве основного способа борьбы с фрагментацией.
Мы рассмотрели сейчас наиболее простую ситуацию, когда перед запуском программы заранее известно, сколько памяти ей требуется. Но в программе может использоваться динамическое выделение памяти во время выполнения, и картина распределения памяти становится еще более сложной и запутанной.
До появления системы виртуальной памяти, проблема фрагментации так и не была решена полностью.
Первым шагом к виртуальной памяти стала система свопинга, от английского глагола to swap – обменивать, которая появилась в 60-е годы XX века. Идея свопинга состоит в том, чтобы при нехватке памяти для размещения новой программы, временно выгрузить из оперативной памяти на диск одну или несколько программ. Например, в примере на рис. 23 можно выгрузить программу P1 или P3, чтобы начать выполнение программы P4.
Очевидно, что целесообразность выгрузки той или иной программы должна отдельно оцениваться в каждом конкретном случае. Желательно выгружать простаивающие в данный момент программы. Однако в многопользовательской системе программы могут выгружаться поочередно, после истечения некоторого интервала времени, чтобы создать для всех пользователей иллюзию одновременной работы.
Были созданы весьма совершенные системы свопинга. В наиболее продвинутых из них, на диск могла выгружаться не вся программа целиком, а только ее часть, с целью освободить достаточно памяти при минимальном обмене с диском.
Однако к настоящему времени свопинг практически полностью уступил свои позиции системе виртуальной памяти, хотя он еще сохраняется в некоторых операционных системах, например в системах семейства UNIX, в качестве дополнительного средства оптимизации памяти.
Свопинг до некоторой степени решил проблему распределения памяти, пусть не так хорошо, как это делает система виртуальной памяти, но вполне приемлемо для того этапа развития вычислительной техники. Однако помимо проблемы распределения памяти, остается не менее важная проблема защиты данных в памяти компьютера, которую свопинг совершенно не затрагивает.
Оказалось, что совсем не просто предложить механизм, позволяющий надежно и с минимальными накладными расходами обеспечить защиту данных одной программы от несанкционированного доступа со стороны другой программы. В конечном итоге, проблемы защиты и совместного использования данных были полностью решечены только после появления виртуальной памяти.