- •Введение
- •Управление ресурсами: общие сведения
- •Управление процессами
- •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
Метод комбинированного отображения
Идея метода комбинированного отображения основана на принципе локализации ссылок, который мы рассмотрели ранее.
Действительно, если наблюдается локализация при обращении к отдельным адресам в виртуальном адресном пространстве, то будет наблюдаться локализация и при обращении к блокам памяти, причем даже в большей степени. Начав работать с адресами внутри некоторого блока, программа еще долго будет обращаться к одному и тому же блоку, значит можно применить известный принцип кэширования.
Идея метода комбинированного поблочного отображения поясняется на рис. 28.
Система комбинированного поблочного отображения работает следующим образом. В процессоре поддерживается небольшая (порядка 10 записей) ассоциативная таблица, выполняющая роль кэша при трансляции адресов. Всякий раз, при трансляции адреса быстро проверяется, не содержится ли адрес требуемого блока в ассоциативной памяти. Если содержится, то обращение к таблице отображения, расположенной в ОЗУ, не производится, и используются данные из ассоциативной таблицы. Если же нет, то выполняется обращение к таблице отображения в ОЗУ, и адрес копируется в ассоциативную таблицу. При последующих обращениях к тому же блоку, а такие обращения весьма вероятны из-за локализации ссылок, трансляция адреса будет выполнена максимально быстро.
Рис.28. Принцип комбинированного поблочного отображения
Таким образом, в ассоциативной таблице всегда представлено несколько (порядка десяти) блоков памяти, с которыми выполнялась работа в последнее время. Из-за локализации ссылок вероятность попасть в кэш весьма высока, и производительность системы трансляции адресов при комбинированном отображении может достигать 90% и более, от производительности системы ассоциативного отображения.
Архитектура виртуального адресного пространства
Рассмотрим теперь, каким образом виртуальное адресное пространство может быть разделено на блоки для выполнения поблочного отображения. Здесь тоже существует несколько альтернативных подходов, рассмотрим их.
Сегментная организация виртуальной памяти
Прежде всего отметим, что независимо от вида архитектуры адресного пространства, память в виртуальном адресном пространстве должна распределяться непрерывными сегментами. Это обусловлено особенностью архитектуры современных процессоров и общепринятой техникой программирования: процессор последовательно считывает из памяти инструкции программы, для хранения данных используются массивы.
Сегментная организация виртуальной памяти основана на прямой комбинации метода поблочного отображения и связного распределения памяти. Структура виртуального адресного пространства и взаимное соответствие виртуальных и физических адресов при сегментной организации поясняются рис. 29.
Рис.29. Соответствие виртуальных и физических адресов при сегментной организации виртуальной памяти
Заметим теперь, что виртуальная память должна не только расширять доступное адресное пространство, но также обеспечивать защиту программ и данных в памяти компьютера. Поэтому подсистеме трансляции адресов необходимо дополнительно знать размер сегментов в адресном пространстве и перечень допустимых операций с каждым из них. Эта информация должна сохраняться в таблице отображения, наряду с адресом начала сегмента.
Таким образом, для поддержания сегментной организации виртуальной памяти таблица отображений должна содержать записи следующего вида (рис. 30).
Признак доступности устанавливается для тех сегментов, которые в данный момент представлены в ОЗУ. При наличии этого бита система трансляции адресов сразу же обращается к ОЗУ, в противном случае, программа, обратившаяся к недоступному сегменту, приостанавливается, пока этот сегмент не будет перенесен с диска в ОЗУ.
Рис.30. Структура записи в таблице отображения при сегментной организации
Из всех битов контроля доступа, показанных на рис. 30, дополнительных пояснений требует только бит разрешения дополнения. Если этот бит установлен, то программе разрешается увеличить размер сегмента, если в виртуальном адресном пространстве для этого есть свободное место.
Однако сегментной организации памяти присущ существенный недостаток – она не может эффективно противостоять сегментации физического адресного пространства, т.к. в ОЗУ по-прежнему необходимо выполнять случайное размещение сегментов произвольного размера. При этом в ОЗУ могут оставаться неиспользуемые участки, размер которых оказался меньше сегментов виртуального адресного пространства. Такие участки ОЗУ не могут быть использованы для отображения на них сегментов виртуального адресного пространства – это т.н. внешняя фрагментация.
Безусловно, виртуальная память позволяет в случае необходимости легко выполнить дефрагментацию, переместив все используемые сегменты ОЗУ вплотную друг к другу. Однако дефрагментация потребует остановки программ и достаточно длительной операции пересылки данных в памяти, особенно при большом объеме ОЗУ.
Если дефрагментацию выполнять слишком часто, то производительность компьютера может заметно снизиться. Если же совсем не выполнять дефрагментацию, то потери памяти будут слишком велики. Данное противоречие не удается разрешить в рамках сегментной модели, поэтому сегментная организация виртуальной памяти в чистом виде в настоящее время практически не используется.