- •Введение
- •Управление ресурсами: общие сведения
- •Управление процессами
- •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
Алгоритм на основе команды процессора "проверить и установить"
Алгоритмы Деккера и Петерсона полностью решают проблему взаимного исключения для случая двух процессов. В дальнейшем Дейкстрой и Кнутом были получены подобные алгоритмы взаимоисключения и для произвольного числа процессов.
Однако вскоре появилось более простое и удобное решение для проблемы взаимоисключений, основанное на использовании в цикле ожидания специальной команды процессора "проверить и установить".
Действительно, проблема простейших алгоритмов (типа алгоритма 1) состоит в том, что процесс может быть снят с выполнения между операциями проверки и установки флага перед входом в критическую секцию. Следовательно, если исключить возможность снятия процесса с выполнения именно в этом месте программы, то алгоритм 1 можно будет использовать для реализации взаимоисключений.
Заметим теперь, что переключение процессов может происходить только между машинными командами, и никогда во время выполнения команды процессором. Таким образом, если проверка и установка флага требует двух машинных команд, то возможно снятие процесса с выполнения между ними. Но если проверка и установка флага будет выполняться единственной командой процессора, то это решит все проблемы алгоритмов взаимоисключений.
С появлением многозадачных операционных систем проблема взаимоисключений приобрела чрезвычайную важность, и для ее решения в процессоры была введена специальная команда – "проверить и установить". [Заметим, что введение в систему команд процессора специальной команды для реализации взаимоисключений, наряду с введением в процессор аппаратной поддержки виртуальной памяти или введением привилегированного режима работы процессора (режима ядра), является хорошим примером влияния развития операционных систем и техники программирования на эволюцию аппаратуры компьютера.]
Команда "проверить и установить" может быть оформлена в виде простой функции:
bool test_and_set( bool* адрес_флага_для_проверки_и_установки )
Функция получает в качестве единственного аргумента адрес флага, защищающего вход в критическую секцию. Функция проверяет значение флага, а если флаг сброшен, то одновременно устанавливает его, причем проверка и установка выполняются за одну машинную команду и не могут быть разделены при смене процессов.
Команда процессора "проверить и установить" реализует простой алгоритм, показанный на рис. 13.
Рис.13 Алгоритм "проверить и установить".
Алгоритм взаимоисключений для произвольного числа процессов, основанный на использовании команды "проверить и установить" может быть следующим.
// глобальный флаг для защиты критической секции extern bool flag = false; … … … … … // цикл ожидания освобождения критической секции // и захват критической секции при ее освобождении while(test_and_set(&flag)); … … … … … // код критической секции // освобождение критической секции flag = false;
Алгоритм на основе команды процессора "обменять данные"
Альтернативой машинной команде "проверить и установить" для реализации взаимоисключений может быть машинная команда "обменять данные", выполняющая за одну машинную команду обмен данных между двумя ячейками памяти.
Команда "проверить и установить" может быть оформлена в виде простой функции:
void exchange(int* адрес_1, int* адрес_2)
Функция получает в качестве аргументов адреса двух переменных и обменивает их значения за одну машинную команду.
Алгоритм взаимоисключений для произвольного числа процессов, основанный на использовании команды "обменять данные" может быть следующим.
// глобальный флаг для защиты критической секции extern bool flag = false; … … … … … // намерение войти в критическую секцию // (локальная переменная!) bool lock = true; // цикл ожидания освобождения критической секции // и захват критической секции при ее освобождении do {exchcange(lock, flag)} while(lock); … … … … … // код критической секции // освобождение критической секции flag = false;
Рассмотрим цикл ожидания алгоритма приведенного более внимательно. Так как тело цикла ожидания состоит из единственной команды, то существует всего два варианта вытеснения процесса с исполнения во время цикла ожидания:
в начале тела цикла ожидания, до операции обмена;
в конце тела цикла, сразу же после операции обмена, перед сравнением;
Малое количество вариантов позволяет провести исчерпывающий анализ алгоритма.
Предположим, что процесс был снят с выполнения в начале цикла ожидания, до команды обмена. Это не может изменить значение флага lock, и ни как не влияет на работу самого процесса или его конкурентов.
Предположим теперь, что процесс был снят с выполнения сразу же после выполнения команды обмена. При этом глобальная переменная flag будет установлена в любом случае, индицируя занятость критической секции. Что же касается значения локальной переменной lock, то она останется установленной, если переменная flag была установлена до обмена (т.е. если критическая секция была уже занята), и сброшена в противном случае (т.е. если критическая секция была свободна).
Если переменная lock окажется установленной после обмена, то цикл ожидания начнется сначала, и наши рассуждения повторятся со всеми вариантами. Если же переменная lock после обмена окажется сброшенной, то цикл прервется и процесс войдет в критическую секцию. Даже если процесс будет снят с выполнения после операции обмена и до проверки флага lock, другие процессы уже не смогут войти в критическую секцию, т.к. флаг flag будет всегда установлен после операции обмена.