
- •8 Взаимодействие процессов 79
- •9 Синхронизация процессов 87
- •10 Тупиковые ситуации 101
- •11 Управление памятью 114
- •12 Управление виртуальной памятью 132
- •13 Интерфейс файловой системы 138
- •14 Некоторые аспекты Реализации файловой системы 156
- •Литература 166 введение
- •Понятие операционной системы
- •Контрольные вопросы
- •Организация компьютерной системы
- •Архитектура компьютера с общей шиной
- •Структура памяти
- •Структура ввода-вывода
- •Контрольные вопросы
- •Классификация Операционных Систем
- •Поддержка многопользовательского режима.
- •Поддержка многопоточности
- •Многопроцессорная обработка
- •Особенности областей использования
- •Контрольные вопросы
- •Функциональные компоненты операционной системы
- •Управление процессами
- •Управление памятью
- •Управление файлами и внешними устройствами
- •Безопасность и защита данных
- •Интерфейс прикладного программирования
- •Пользовательский интерфейс
- •Контрольные вопросы
- •Структура операционной системы
- •Монолитные системы
- •Многоуровневые системы
- •Виртуальные машины
- •Экзоядро
- •Модель клиент-сервер
- •Контрольные вопросы
- •Процессы и потоки
- •Концепция процесса
- •Состояния процесса
- •Реализация процессов
- •Операции над процессами
- •1Создание процессов
- •2Завершение процессов
- •Контрольные вопросы
- •Планирование процессора
- •Планирование процессов. Очереди
- •Планировщики
- •Моменты перепланировки. Вытеснение
- •Переключение контекста
- •Диспетчеризация
- •Критерии планирования процессора
- •Стратегии планирования процессора
- •3Планирование в порядке поступления
- •Пример.
- •4Стратегия sjf
- •5Приоритетное планирование
- •6Карусельная стратегия планирования
- •7Очереди с обратной связью
- •8Гарантированное планирование
- •9Лотерейное планирование
- •10Планирование в системах реального времени
- •Планирование потоков
- •Оценка алгоритмов планирования
- •11Детерминированное моделирование
- •12Моделирование очередей
- •13Имитация
- •Контрольные вопросы
- •Взаимодействие процессов
- •Разделяемая память. Проблема производителя и потребителя
- •Взаимодействие путем передачи сообщений
- •14Буферизация
- •15Исключительные ситуации
- •Потерянные сообщения
- •Вызов удаленных процедур (rpc)
- •Контрольные вопросы
- •Синхронизация процессов
- •Взаимное исключение и критические участки
- •Синхронизация с помощью элементарных приемов нижнего уровня
- •16Запрещение прерываний
- •17Переменные блокировки
- •18Операция проверки и установки
- •Семафоры
- •19Использование семафоров
- •20Реализация семафоров
- •21Тупики и зависания
- •Классические проблемы синхронизации
- •22Проблема ограниченного буфера
- •23Проблема читателей и писателей
- •24Задача об обедающих философах
- •Двоичные семафоры
- •Сигналы
- •Контрольные вопросы
- •Тупиковые ситуации
- •Необходимые условия возникновения тупиков
- •Граф выделения и закрепления ресурсов
- •Методы решения проблемы тупиков
- •25Предотвращение тупиков
- •Взаимное исключение
- •Захват и ожидание
- •Отсутствие перераспределения
- •Условие кругового ожидания
- •26Обход тупиков
- •27Простейший алгоритм обхода тупика
- •28Алгоритм банкира
- •29Обнаружение тупиков
- •30Восстановление после тупика
- •Контрольные вопросы
- •Управление памятью
- •Функции операционной системы по управлению памятью
- •Типы адресов
- •Физическое и логическое адресное пространство
- •Связывание адресов
- •Динамическая загрузка
- •Динамическое связывание
- •Перекрытие программ в памяти
- •Свопинг
- •Смежное размещение процессов
- •31Простое непрерывное распределение
- •32Распределение с несколькими непрерывными разделами
- •Фрагментация
- •Страничная организация памяти
- •Сегментная организация памяти
- •Защита и совместное использование
- •Фрагментация
- •Сегментация в сочетании со страничной памятью
- •Контрольные вопросы
- •Управление виртуальной памятью
- •Подкачка страниц
- •Алгоритмы вытеснения страниц
- •33Случайный выбор (Random)
- •34«Первым пришел первым ушел» (fifo)
- •35Вытеснение по давности использования (lru)
- •36Вытеснение редко используемых страниц (lfu)
- •37Оптимальный алгоритм (opt)
- •Аномалии в алгоритмах страничной реализации
- •38«Толкотня» в памяти
- •39Аномалия Биледи
- •Эффективность и применимость виртуальной памяти
- •Пример.
- •Контрольные вопросы
- •Интерфейс файловой системы
- •Понятие файла. Атрибуты файла и операции с файлами
- •Операции над файлами
- •Типы файлов
- •Структура файлов
- •Методы доступа
- •40Последовательный метод доступа
- •41 Прямой метод доступа
- •42Другие методы доступа
- •Каталоги
- •Логическая структура каталога
- •43Одноуровневая структура каталога
- •44Двухуровневая структура каталога
- •45 Древовидная структура каталога
- •46Организация каталога в виде графа без циклов
- •47Организация каталога в виде произвольного (простого) графа
- •Проблемы защиты файлов
- •48Типы доступа
- •49Списки прав доступа
- •50Другие подходы к защите
- •Контрольные вопросы
- •Некоторые аспекты Реализации файловой системы
- •Общая структура файловой системы
- •Методы выделения дискового пространства
- •51Выделение непрерывной последовательностью блоков
- •52Связный список
- •53Таблица отображения файлов
- •54Индексные узлы
- •Управление свободным и занятым дисковым пространством
- •55Учет при помощи организации битового вектора
- •56Учет при помощи организации связного списка
- •57Размер блока
- •58Структура файловой системы на диске
- •Контрольные вопросы Литература
Диспетчеризация
Выделим еще одну важную компоненту планировщика – диспетчер центрального процессора. Диспетчер – это модуль, который передает управление центральным процессором процессу, выбранному планировщиком низкого уровня.
Диспетчеризация включает:
переключение контекста;
переключение в режим пользователя;
переход на необходимую точку в программе пользователя для возобновления ее работы.
Критерии планирования процессора
Используются следующие критерии, позволяющие сравнить алгоритмы планирования процессора.
Загруженность процессора (CPU utilization). Загруженность процессора теоретически может находиться в пределах от 0 до 100%. В реальных системах загруженность процессора колеблется в пределах от 40% до 90%.
Производительность (Throughput). Мерой полезной загруженности системы может служить число процессов, выполняющихся в единицу времени, называемое производительностью.
Время оборота (Turnaround time). Для некоторых процессов важным критерием является полное время выполнения, то есть интервал от момента появления процесса во входной очереди до момента его завершения. Это время называется временем оборота и включает время ожидания во входной очереди, время ожидания в очереди готовых процессов, время выполнения центральным процессором и время ввода-вывода.
Время ожидания (Waiting time). Под временем ожидания понимается суммарное время нахождение процесса в очереди готовых процессов.
Время реакции/отклика (Response time). Для сугубо интерактивных программ важным показателем является время реакции или отклика, или время, прошедшее от момента попадания процесса во входную очередь до момента первого обращения к терминалу.
Очевидно, что простейшая стратегия краткосрочного планирования должна быть направлена на максимизацию средних значений загруженности и пропускная способности, а также на минимизацию средних значений времени оборота, времени ожидания, времени реакции.
В ряде случаев используются сложные критерии, например, минимаксный критерий: минимум максимального времени отклика вместо более простого минимум среднего времени оклика.
Стратегии планирования процессора
3Планирование в порядке поступления
Простейшей стратегией планирования является планирование по принципу FCFS (First – Come , First – Served). Эта стратегия заключается в том, что процессор выделяется тому процессу, который раньше всех других его запросил. Реализуется эта стратегия с помощью классической очереди готовых процессов, управляемой по принципу FIFO (First – In, First – Out). Когда процесс попадает в очередь готовых процессов, его РСВ помещается в конец («хвост») очереди. Выполняющийся процесс удаляется из очереди. Текст планировщика прост для написания и понимания.
Среднее время ожидания для стратегии FCFS часто весьма велико и зависит от порядка поступления процессов в очередь готовых процессов.
Пример.
Пусть три процесса P1, P2 и P3 попадают в очередь одновременно в момент времени 0 и имеют следующие значения времени обслуживания (burst time) центральным процессором (в. миллисекундах):
-
P1
24
P2
3
P3
3
На Рис. 7.4. приведена диаграмма Ганта очередей готовых процессов.
P1 |
P2 |
P3 |
|
0 |
24 |
27 |
30 |
Рисунок 7.15 - Диаграмма Ганта для различных вариантов расположения процесса в очереди готовых процессов
Время ожидания равно 0 для процесса P1, 24 для процесса P2 и 27 для процесса P3.
Среднее время ожидания равно (0 + 24 + 27) / 3 = 17 мс. Если процессы поступят в порядке P2, P3, P1, то результат будет иным.
Стратегия FCFS относится к классу стратегий без вытеснения. Получив процессорное время, процесс выполняется до тех пор, пока не завершится или не выполнит запрос ввода-вывода. Эта стратегия особенно не подходит для систем с разделением времени, в которых важно, чтобы каждый процесс получал возможность выполняться через регулярные интервалы. В основном эта стратегия в литературе упоминается для сравнения.