- •Введение
- •Управление ресурсами: общие сведения
- •Управление процессами
- •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
Мониторы
Семафоры позволяют эффективно реализовать взаимоисключения, но их применение, особенно в сложных программах, не вполне удобно. Системные вызовы wait() и release() быстро распределяются по всей программе, и их корректное использование не может быть гарантировано автоматически. Например, совсем непросто проверить, что системному вызову wait() при входе в критическую секцию всегда соответствует системный вызов release() при выходе из нее, особенно если в программе есть ветвления, и возможны альтернативные входы-выходы в критические секции.
Это приводит к трудно обнаруживаемым ошибкам, существенно усложняет процесс программирования и отладки. Для решения этой проблемы, в 1974 году Хоар (Hoare) предложил альтернативную концепцию реализации взаимоисключений – монитор. Идея монитора была усовершенствована Лемпсоном (Lampson) и Ределлом (Redell) в 80-х годах XX века и мониторы получили достаточно широкое распространение.
Монитор представляет собой программный модуль, объединяющий данные и процедуры доступа к ним, причем доступ к данным возможен только через процедуры монитора. Процесс, выполняющий процедуру монитора, считается вошедшим в монитор. Процедуры монитора должны быть организованы так, чтобы находиться в мониторе мог бы только один процесс, т.е. пока выполняется любая процедура монитора, доступ к другим процедурам монитора и повторный вход в исполняемую процедуру, должны быть блокированы.
Монитор предусматривает доступ к данным по условиям. Для каждой процедуры монитора должно быть определено условие, при выполнении которого разрешен доступ к данным через эту процедуру. С каждым условием должна быть сопоставлена очередь заблокированных процессов. Начав выполнение процедуры монитора, процесс проверяет условие доступа к данным, и если оно не выполняется, процесс блокируется, и ссылка на него сохраняется в соответствующей очереди.
После блокировки процесса монитор освобождается и в него может войти другой процесс. Условия доступа к данным должны быть согласованы таким образом, чтобы доступ к данным был бы разрешен хотя бы через одну процедуру монитора.
Если после манипуляции с данными монитора процесс обнаружит, что стал возможен доступ к данным по какому-либо ранее не выполняющемуся условию, он должен деблокировать процесс из очереди соответствующего условия.
Заметим, что в отличие от семафоров и спин-блокировок, монитор является не просто средством синхронизации процессов, но и контейнером для хранения данных, поэтому его реализация более целесообразна не на уровне операционной системы, а в языке программирования. Но при наличии в операционной системе семафоров, монитор несложно реализовать на пользовательском уровне.
Для реализации монитора требуется один семафор для взаимоисключающего доступа к процедурам монитора и по одному семафору на каждое условие для приостановки процессов в ожидании разрешения доступа к данным.
Процедура монитора может быть реализована по алгоритму, показанному на рис..16. При этом семафор монитора Sm должен быть инициализирован так, чтобы только один процесс мог бы пройти через него (начальное значение счетчика семафора равно 1), а семафоры условий S[] необходимо инициализировать с нулевыми значениями счетчика, чтобы при попытке пройти семафор, процесс сразу блокировался. Предполагается, что процедуры WaitForSyncObject() и ReleaseSyncObject() реализованы по алгоритмам рис. 14 и рис.15 соответственно.
Рис.16. Алгоритм процедуры монитора
Рассмотрим блок-схему, показанную на рис. .16, более внимательно. Закрашенные на рисунке серым цветом стандартные процедуры WaitForSyncObject() и ReleaseSyncObject(), вызываемые соответственно в начале и в конце процедуры монитора, не зависят ни от алгоритма доступа к данным ни от типа данных, ни от условий доступа и могут автоматически внедряться в код программы компилятором.
Выделенная на рисунке последовательность вызовов стандартных процедур ReleaseSyncObject(Sm), WaitForSyncObject(S[c]), WaitForSyncObject(Sm), обычно оформляется в компиляторе в виде библиотечной функции wait(условие), которая переводит текущий процесс в состояние ожидания выполнения указанного условия (в алгоритме на рис. .16 условия c) и освобождает монитор.
Выделенный на рисунке вызов стандартной процедуры ReleaseSyncObject(S[r]) обычно оформляется в виде библиотечной функции signal(условие), которая пробуждает процесс из очереди, связанной с условием r.
Программа доступа к очереди через монитор, с учетом сказанного, может быть записана в стиле языка программирования, поддерживающего мониторы, следующем образом.
Monitor Queue { // защищенные данные монитора QUEUE queue; // условия доступа к данным монитора CONDITION queueNotEmpty, queueNotFull; // процедура записи данных в очередь // не может работать, если очередь заполнена PushData(data) { // проверяем условие доступа к данным // если очередь заполнена – ждем условия while(queue.length() > MAX_LEN) { wait(queueNotFull); } // помещаем данные в очередь queue.push(data); // сигнализируем, что очередь не пуста signal(queueNotEmpty); } // процедура извлечения данных из очереди // не может работать, если очередь пустая PopData(data) { // проверяем условие доступа к данным // если очередь пустая – ждем условия while(queue.length() = 0) { wait(queueNotEmpty); } // получаем данные из очереди data = queue.pop(); // сигнализируем, что очередь не заполнена signal(queueNotFull); } }
Мониторы оказались удобным средством для работы с разделяемыми данными, и быстро получили распространение. В 80-е гг. XX века они были включены в состав некоторых языков программирования. Однако по мере развития техники объектно-ориентированного программирования выяснилось, что монитор при необходимости довольно легко реализовать при помощи обычных семафоров.
Поэтому в наиболее мощных современных языках программирования (например, C++) нет встроенных мониторов – при необходимости их легко определить самостоятельно.