- •Введение
- •Управление ресурсами: общие сведения
- •Управление процессами
- •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
Стратегия sstf – Shortest Seek Time First
Стратегия SSTF предполагает первоочередное обслуживание запроса, требующего минимального перемещения головок дискового накопителя от их текущего положения, что гарантирует минимальное среднее временем ожидания.
Стратегия SSTF способна обеспечить выигрыш в пропускной способности дискового накопителя более, чем на порядок по отношению к FCFS (см. рис. 41), однако это достигается исключительно за счет откладывания выполнения невыгодных запросов.
Рис.41. Среднее время ожидания в зависимости от интенсивности запросов к диску при использовании SSTF
Основным преимуществом стратегии SSTF является высокая пропускная способность, наиболее высокая, среди всех других стратегий. Однако стратегия SSTF обладает также весьма существенными недостатками.
Отметим, прежде всего, что стратегия SSTF не является справедливой. Если новые запросы группируются в некоторой локальной области диска, то ранее поступившие запросы, адресованные к удаленным от этой области участкам, могут откладываться бесконечно. Несмотря на то, что вероятность бесконечного откладывания каких-либо запросов в реальных условиях все же весьма мала, существенные задержки ответа, тем не менее, вполне могут иметь место.
Заметим, что головка в большинстве случаев оказывается ближе к средним дорожкам диска, чем к периферийным, и запросы к центральным дорожкам будут обслуживаться в среднем быстрее, чем запросы, адресованные к периферии диска.
Кроме того, из-за предпочтения одних запросов другим, дисперсия времени ответа при использовании стратегии SSTF сильно возрастает.
Наконец отметим, что из-за плохой предсказуемости задержки ответа, стратегия SSTF не пригодна для работы в интерактивных системах и системах реального времени, но может быть весьма эффективной в пакетной системе, ориентированной на решение чисто вычислительных задач.
Стратегия scan – Scanning
Стратегия работы с диском SCAN была предложена Деннингом, и призвана устранить главный недостаток стратегии SSTF – слишком большую дисперсию времени ответа, но при сохранении высокой пропускной способности диска.
Сущность стратегии SCAN состоит в следующем. Выбирается текущее направление движения головок дискового накопителя: от центра диска к краю или обратно. Первым обслуживается тот запрос, который требует минимального перемещения головок в текущем направлении. Все запросы, требующие перемещения головок в обратном направлении, откладываются до смены текущего направления движения головок. Текущее направление движения меняется на противоположное в следующих случаях:
достигнута крайняя дорожка в текущем направлении;
в очереди больше нет запросов, для которых требуется перемещение головок в текущем направлении.
Измерения показывают, что стратегия SCAN обеспечивает пропускную способность, близкую к стратегии SSTF, и существенно снижает дисперсию времени ответа.
Тем не менее, стратегии SCAN также присущи определенные недостатки, хотя и не столь существенные, как недостатки стратегии SSTF.
Отметим, во-первых, что стратегия SCAN потенциально не является справедливой. В самом деле, интенсивные запросы к одной и той же дорожке диска могли бы привести к бесконечному откладыванию всех других запросов, хотя вероятность такого развития событий предельно низка, и потенциальная несправедливость SCAN вряд ли можно отнести к ее реальным недостаткам.
Во-вторых, в стратегии SCAN все еще сохраняется дискриминация периферийных областей диска: действительно, за один полный цикл санирования головка дважды бывает над средней областью диска, и только один раз в начале и в конце. Из-за этого несколько возрастает дисперсия времени ответа.
Для исключения дискриминации крайних дорожек диска, была предложена стратегия циклического сканирования C-SCAN, сущность которой состоит в том, что только одно направление движения головок является рабочим. При смене текущего направления, головки диска в холостую перемещаются к началу области сканирования, и рабочий ход повторяется в прежнем направлении.
Стратегия C-SCAN, при сохранении всех положительных моментов SCAN, позволяет несколько сократить дисперсию времени ожидания.