- •Оглавление
- •7.1. Основные понятия 37
- •8.1. Основные понятия 47
- •14.1. Основные понятия 77
- •Введение
- •Раздел 1. Основные сведения об операционных системах Тема 1. Функции и классификация операционных систем
- •1.1. Функции ос
- •1.1. История ос
- •По назначению
- •По режиму обработки задач
- •1.3. Классификация ос
- •По способу взаимодействия с пользователем
- •По принципу построения
- •Вопросы для самоконтроля
- •Тема 2. Структура операционных систем. Системные вызовы
- •2.1. Структура ос
- •Монолитная структура (структура макроядра)
- •Иерархическая структура (многослойное ядро)
- •Структура микроядра
- •2.2. Выполнение системных вызовов
- •2.3. Понятие операционной и программной среды
- •Вопросы для самоконтроля
- •Раздел 2. Процессы и потоки Тема 3. Процессы
- •3.1. Основные сведения о процессах
- •Создание процессов
- •Завершение процессов
- •Иерархия процессов
- •3.2. Модели процесса Модель с двумя состояниями
- •Модель с пятью состояниями
- •3.3. Описание процессов
- •3.4. Управление процессами Создание процессов
- •Переключение процессов
- •3.5. Выполнение кода ос по отношению к процессам
- •Ядро вне процессов (автономное ядро)
- •Ядро в составе пользовательских процессов
- •Ос на основе процессов
- •Вопросы для самоконтроля
- •Тема 4. Системные вызовы управления процессами в ос unix
- •4.1. Создание процесса
- •4.2. Завершение процесса
- •4.3. Изменение образа памяти процесса
- •4.4. Синхронизация между родительским и дочерним процессами
- •4.5. Состояние "зомби"
- •Вопросы для самоконтроля
- •Тема 5. Сигналы в ос unix
- •5.1. Назначение сигналов
- •5.2. Обработка сигналов
- •5.3. Посылка сигнала процессу
- •Вопросы для самоконтроля
- •Тема 6. Потоки
- •6.1. Основные понятия
- •6.2. Основные операции с потоками
- •6.3. Способы реализации потоков в пространстве пользователя
- •В пространстве ядра
- •Смешанная реализация
- •Вопросы для самоконтроля
- •Тема 7. Взаимоблокировки
- •7.1. Основные понятия
- •Типы доступа к ресурсу
- •Условия возникновения взаимоблокировок
- •7.2. Моделирование взаимоблокировок
- •7.3. Обнаружение взаимоблокировок Обнаружение взаимоблокировок при наличии одного ресурса каждого типа
- •Обнаружение взаимоблокировок при наличии нескольких ресурсов каждого типа
- •7.4. Избежание взаимоблокировок Безопасные и небезопасные состояния
- •Алгоритм банкира для одного вида ресурса
- •Алгоритм банкира для нескольких видов ресурсов
- •Вопросы для самоконтроля
- •Раздел 3. Взаимодействие процессов Тема 8. Проблема взаимного исключения и способы ее решения
- •8.1. Основные понятия
- •8.2. Аппаратные способы достижения взаимного исключения Запрещение прерываний
- •Специальные команды, выполняющиеся атомарно
- •8.3. Программные способы достижения взаимного исключения Переменные блокировки.
- •Алгоритм Деккера
- •Алгоритм Петерсона
- •Вопросы для самоконтроля
- •Тема 9. Примитивы синхронизации
- •9.1. Семафоры Определение семафора
- •Применение семафоров
- •9.2. Мьютексы
- •9.3. Мониторы
- •Структура монитора
- •Вопросы для самоконтроля
- •Тема 10. Классические проблемы межпроцессного взаимодействия
- •10.1. Проблема производителя и потребителя
- •10.2. Задача о читателях и писателях
- •10.3. Задача об обедающих философах
- •10.4. Задача о спящем парикмахере
- •10.5. Задача о железнодорожном перегоне
- •Вопросы для самоконтроля
- •Тема 11. Межпроцессное взаимодействие в ос unix
- •11.1. Неименованные каналы
- •Синхронизирующие свойства неименованного канала
- •Системные вызовы для работы с неименованными каналами
- •Шаги в установлении связи через неименованный канал
- •Ограничения неименованных каналов
- •11.2. Именованные каналы
- •Использование именованных каналов
- •Синхронизирующие свойства именованных каналов
- •Системные вызовы для работы с именованными каналами
- •11.3. Очереди сообщений
- •11.4. Разделяемая память
- •Вопросы для самоконтроля
- •Тема 12. Передача сообщений
- •12.1. Характеристика систем передачи сообщений
- •12.2. Модель клиент-сервер
- •Вопросы для самоконтроля
- •Тема 13. Api сокетов ос unix
- •13.1. Межпроцессное взаимодействие при помощи сокетов
- •13.2. Системные вызовы работы с сокетами в ос unix Структура адреса сокета
- •Получить дескриптор сокета (создать сокет)
- •Указать адрес локальной оконечной точки
- •Перевод сокета в пассивный режим
- •Принять соединение с сокетом
- •Установить соединение с сервером.
- •Чтение данных из сокета и запись данных в сокет
- •Операции клиента и сервера
- •14.2. Критерии краткосрочного планирования.
- •14.3. Стратегии краткосрочного планирования. Первым поступил – первым обслужен
- •Кратчайшая задача – первая
- •Наименьшее оставшееся время выполнения
- •Циклическое планирование
- •Приоритетное планирование
- •Вопросы для самоконтроля
- •Раздел 5. Управление памятью Тема 15. Технологии распределения памяти
- •15.1. Фиксированное распределение
- •15.2. Динамическое распределение
- •15.3. Система двойников
- •15.4. Простая страничная организация
- •15.5. Простая сегментная организация
- •Вопросы для самоконтроля
- •Тема 16. Виртуальная память
- •16.1. Предпосылки для организации виртуальной памяти
- •16.2. Страничная организация виртуальной памяти
- •Структура таблицы страниц
- •16.3. Сегментация
- •16.4. Комбинация сегментации и страничной организации
- •16.5. Алгоритмы управления виртуальной памятью
- •Стратегия выборки
- •Стратегия размещения.
- •Стратегия замещения
- •Вопросы для самоконтроля
- •Раздел 6. Ввод-вывод и файловая система Тема 17. Ввод-вывод
- •17.1. Принципы программного обеспечения ввода-вывода
- •Способы осуществления ввода-вывода
- •17.2. Программные уровни ввода-вывода
- •Обработчики прерываний
- •Драйверы устройств
- •Независимое от устройств программное обеспечение ввода-вывода
- •Программное обеспечение ввода-вывода пространства пользователя
- •Вопросы для самоконтроля
- •Тема 18. Физическая организация файловой системы
- •18.1. Цели и задачи файловой системы
- •18.2. Устройство диска
- •18.3. Физическая организация и адресация файла
- •Вопросы для самоконтроля
- •Тема 19. Логическая организация файловой системы
- •19.1. Типы файлов
- •19.2. Иерархическая структура файловой системы
- •Имена файлов
- •Монтирование
- •19.3. Атрибуты файлов
- •Вопросы для самоконтроля
- •Литература
- •Перечень сокращений
15.4. Простая страничная организация
ОП разделяется на ряд блоков равного размера. Каждый процесс разделяется на страницы равного размера, совпадающего с размером кадров. Процесс загружается путем загрузки всех его страниц в доступные, но не обязательно смежные кадры. Отсутствует внешняя фрагментация, но имеется небольшая внутренняя фрагментация, составляющая часть последней страницы процесса.
Для каждого процесса ОС поддерживает таблицу страниц. Она указывает расположение кадров каждой страницы процесса. В программе логический адрес равен номеру страницы и смещению внутри страницы. Преобразование логических адресов в физические – задача аппаратного обеспечения. Физический адрес равен номеру кадра и смещению.
Таблица страниц содержит по одной записи для каждой страницы процесса. Таблица индексируется номером страницы, начиная с нуля. Каждая запись содержит номер кадра в ОП. ОС поддерживает единый список свободных кадров. На рис. 15.1, а показан пример трансляции адреса с использованием простой страничной организации памяти для 16-битных адресов.
Таким образом, простая страничная организация подобна фиксированному распределению Отличие – малый размер разделов, и они могут быть несмежными.
Размер страницы должен быть кратен степени двух. Тогда 1) относительный адрес, определяемый относительно начала программы, равен логическому адресу; 2) схема логической адресации прозрачна для программиста; 3) Простая аппаратная реализация преобразования адресов.
15.5. Простая сегментная организация
Каждый процесс разделяется на ряд сегментов. Процесс загружается путем загрузки всех его сегментов в динамические (не обязательно смежные) разделы. Отсутствует внутренняя фрагментация, лучше используется память и снижены накладные расходы по сравнению с динамическим распределением.
Логический адрес равен номеру сегмента и смещению.
Способ похож на динамическое распределение памяти. Если не используются оверлеи и виртуальная память, то для выполнения программы все ее сегменты должны быть загружены в ОП. Отличие от динамического распределения: сегменты программы могут занимать несколько разделов, к тому же несмежных. Устраняет внутреннюю фрагментацию, но имеет внешнюю фрагментацию.
Сегментация видна для программиста и используется при размещении кода и данных в разных сегментах, для организации нескольких независимых адресных пространств. Как и при страничной организации используется таблица сегментов для каждого процесса и список свободных блоков ОП. Каждая запись таблицы сегментов должна содержать стартовый адрес сегмента в ОП и его длину.
На рис. 15.1, б показан пример трансляции адреса с использованием простой сегментной организации памяти для 16-битных адресов.
Вопросы для самоконтроля
Объясните разницу между внутренней и внешней фрагментацией.
В чем состоит преимущество использования разделов разного размера при использовании схемы фиксированного распределения?
В чем разница между страницей и кадром?
В чем разница между страницей и сегментом?
Тема 16. Виртуальная память
16.1. Предпосылки для организации виртуальной памяти
Поскольку процесс выполняется только в основной памяти, эта память называется также реальной. Однако программист или пользователь имеют дело с потенциально большей памятью – выделенной на диске. Эта память называется виртуальной. Предпосылками для организации виртуальной памяти являются следующие.
Все обращения к памяти в рамках процесса представляют собой логические адреса, которые динамически транслируются в физические адреса во время исполнения. Это означает, что процесс может быть выгружен на диск и вновь загружен в ОП, так что во время работы он может находиться в разных местах ОП,
Процесс может быть разбит на ряд частей (страниц или сегментов), которые не обязательно должны располагаться в ОП единым непрерывным блоком. Это обеспечивается за счет динамической трансляции адресов и использования таблиц страниц или сегментов.
При выполнении этих условий, наличие всех страниц или сегментов процесса в ОП одновременно не является необходимым условием. Рассмотрим, как это может осуществляться. Предположим, что наступило время загрузки нового процесса в память. ОС начинает ее с размещения в памяти только одного или нескольких блоков (здесь под блоком будем подразумевать страницу или сегмент), включая блок, содержащий начало программы. Часть процесса, располагающаяся в некоторый момент времени в ОП, называется резидентным множеством процесса. Во время выполнения процесса при помощи таблицы страниц или сегментов процессор всегда может определить, располагается ли блок, к которому требуется обращение, в ОП. Если нет, то процессор генерирует прерывание, свидетельствующее об отсутствии блока в памяти. ОС переводит прерванный процесс в заблокированное состояние и загружает в ОП блок, содержащий адрес, из-за которого произошло прерывание. После того как необходимый блок загружен в ОП, выполняется прерывание ввода-вывода, передающее управление операционной системе, которая, в свою очередь, переводит заблокированный процесс в состояние готовности, и процесс продолжает выполнение с прерванной команды.
Следствия применения виртуальной памяти:
в оперативной памяти может поддерживаться большее количество процессов;
процесс может быть больше, чем физическая память.
