
- •Содержание
- •1 Введение 5
- •2 Управление процессами 88
- •3 Реализация межпроцессного взаимодействия в ос Unix 116
- •4 Файловые системы 156
- •4.1 Основные концепции 156
- •5 Управление оперативной памятью 187
- •6 Управление внешними устройствами 202
- •1Введение
- •Пакетная обработка заданий.
- •Развитие языков и систем программирования.
- •Этапы эволюции.
- •1.1Основы архитектуры вычислительной системы
- •1.1.1Структура вс
- •Структура вычислительной системы.
- •1.1.2Аппаратный уровень вс
- •1.1.3Управление физическими ресурсами вс
- •Пример зависимости от драйвера.
- •1.1.4Управление логическими/виртуальными ресурсами
- •1.1.5Системы программирования
- •Этапы проектирования.
- •Кодирование.
- •Тестирование.
- •Каскадная модель.
- •Каскадная итерационная модель.
- •Спиральная модель.
- •1.1.6Прикладные системы
- •Первый этап развития прикладных систем.
- •Второй этап развития прикладных систем.
- •Третий этап развития прикладных систем.
- •Пакет программ Microsoft Office.
- •Пакет MathCad.
- •Система BaaN.
- •1.1.7Выводы, литература
- •Структура организации вычислительной системы.
- •1.2Основы компьютерной архитектуры
- •1.2.1Структура, основные компоненты
- •Структура компьютера фон Неймана.
- •Базовая архитектура современных компьютеров.
- •1.2.2Оперативное запоминающее устройство
- •Ячейка памяти.
- •Контроль четности.
- •Озу без расслоения памяти — один контроллер на все банки.
- •Озу с расслоением памяти — каждый банк обслуживает отдельный контроллер.
- •1.2.3Центральный процессор
- •Структура организации центрального процессора.
- •1.2.3.1Регистровая память
- •1.2.3.2Устройство управления. Арифметико-логическое устройство
- •1.2.3.3Кэш-память
- •Общая схема работы кэШа.
- •1.2.3.4Аппарат прерываний
- •Использование иерархической модели регистров прерывания.
- •Использование вектора прерываний.
- •Этап программной обработки прерываний.
- •1.2.4Внешние устройства
- •Внешние устройства.
- •1.2.4.1Внешние запоминающие устройства
- •Магнитная лента.
- •Принцип устройства магнитного диска.
- •Принцип устройства магнитного барабана.
- •Принцип устройства памяти на магнитных доменах.
- •1.2.4.2Модели синхронизации при обмене с внешними устройствами
- •Синхронная и асинхронная работа с ву.
- •1.2.4.3Потоки данных. Организация управления внешними устройствами
- •Непосредственное управление центральным процессором внешнего устройства.
- •Синхронное/асинхронное управление внешними устройствами с использованием контроллеров внешних устройств.
- •Использование контроллера прямого доступа к памяти (dma) или процессора (канала) ввода-вывода при обмене.
- •1.2.5Иерархия памяти
- •Иерархия памяти.
- •1.2.6Аппаратная поддержка операционной системы и систем программирования
- •1.2.6.1Требования к аппаратуре для поддержки мультипрограммного режима
- •Мультипрограммный режим.
- •1.2.6.2Проблемы, возникающие при исполнении программ
- •Вложенные обращения к подпрограммам.
- •Перемещаемость программы по озу.
- •Фрагментация памяти.
- •1.2.6.3Регистровые окна
- •Регистровые окна.
- •Регистровые окна. Вход и выход из подпрограммы.
- •1.2.6.4Системный стек
- •Системный стек.
- •1.2.6.5Виртуальная память
- •Страничная организация памяти.
- •Страничная организация памяти. Преобразование виртуального адреса в физический.
- •Страничная организация памяти. Схема преобразования адресов.
- •1.2.7Многомашинные, многопроцессорные ассоциации
- •Классификация мкмд.
- •Numa-система.
- •1.2.8Терминальные комплексы (тк)
- •Терминальные комплексы.
- •1.2.9Компьютерные сети
- •Компьютерные сети.
- •1.2.10Организация сетевого взаимодействия. Эталонная модель iso/osi
- •Модель организации взаимодействия в сети iso/osi.
- •Логическое взаимодействие сетевых устройств по I-ому протоколу.
- •1.2.11Семейство протоколов tcp/ip. Соответствие модели iso/osi
- •Семейство протоколов tcp/ip.
- •Взаимодействие между уровнями протоколов tcp/ip.
- •Система адресации протокола ip.
- •Маршрутизация дейтаграмм.
- •1.3Основы архитектуры операционных систем
- •1.3.1Структура ос
- •Структурная организация ос.
- •Структура ос с монолитным ядром.
- •Структура ос с микроядерной архитектурой.
- •1.3.2Логические функции ос
- •1.3.3Типы операционных систем
- •Структура сетевой ос.
- •Структура распределенной ос.
- •2Управление процессами
- •2.1Основные концепции
- •2.1.1Модели операционных систем
- •2.1.2Типы процессов
- •Типы процессов: однонитевая (а) и многонитевая (б) организации.
- •2.1.3Контекст процесса
- •2.2Реализация процессов в ос Unix
- •2.2.1Процесс ос Unix
- •Разделение сегмента кода.
- •2.2.2Базовые средства управления процессами в ос Unix
- •Пример использования системного вызова fork().
- •Пример использования системного вызова execl().
- •Пример использования схемы fork-exec.
- •2.2.3Жизненный цикл процесса. Состояния процесса
- •Жизненный цикл процессов.
- •2.2.4Формирование процессов 0 и 1
- •Формирование нулевого и первого процессов.
- •Инициализация системы.
- •2.3Планирование
- •2.4Взаимодействие процессов
- •2.4.1Разделяемые ресурсы и синхронизация доступа к ним
- •Гонка процессов.
- •Пример тупиковой ситуации (deadlock).
- •2.4.2Способы организации взаимного исключения
- •Пример двоичного семафора.
- •2.4.3Классические задачи синхронизации процессов
- •Обещающие философы.
- •3Реализация межпроцессного взаимодействия в ос Unix
- •3.1Базовые средства реализации взаимодействия процессов в ос Unix
- •Способы организации взаимодействия процессов.
- •3.1.1Сигналы
- •3.1.2Неименованные каналы
- •3.1.3Именованные каналы
- •3.1.4Модель межпроцессного взаимодействия «главный–подчиненный»
- •Общая схема трассировки процессов.
- •3.2Система межпроцессного взаимодействия ipc (Inter-Process Communication)
- •3.2.1Очередь сообщений ipc
- •Очередь сообщений ipc.
- •0666 Определяет права доступа */
- •3.2.2Разделяемая память ipc
- •3.2.3Массив семафоров ipc
- •Int val; /* значение одного семафора */
- •3.3Сокеты — унифицированный интерфейс программирования распределенных систем
- •4Файловые системы
- •4.1Основные концепции
- •4.1.1Структурная организация файлов
- •4.1.2Атрибуты файлов
- •4.1.3Основные правила работы с файлами. Типовые программные интерфейсы
- •Модель одноуровневой файловой системы.
- •Модель двухуровневой файловой системы.
- •Модель иерархической файловой системы.
- •4.1.4Подходы в практической реализации файловой системы
- •Структура «системного» диска.
- •4.1.5Модели реализации файлов
- •Модель непрерывных файлов.
- •Модель файлов, имеющих организацию связанного списка.
- •4.1.6Модели реализации каталогов
- •Модели организации каталогов.
- •4.1.7Соответствие имени файла и его содержимого
- •Пример жесткой связи.
- •Пример символической связи.
- •4.1.8Координация использования пространства внешней памяти
- •4.1.9Квотирование пространства файловой системы
- •Квотирование пространства файловой системы.
- •4.1.10Надежность файловой системы
- •4.1.11Проверка целостности файловой системы
- •Проверка целостности файловой системы. Непротиворечивость файловой системы соблюдена.
- •Проверка целостности файловой системы. Зафиксирована пропажа блока.
- •Проверка целостности файловой системы. Зафиксировано дублирование свободного блока.
- •Проверка целостности файловой системы. Зафиксировано дублирование занятого блока.
- •Проверка целостности файловой системы. Контроль жестких связей.
- •4.2Примеры реализаций файловых систем
- •4.2.1Организация файловой системы ос Unix. Виды файлов. Права доступа
- •4.2.2Логическая структура каталогов
- •Логическая структура каталогов.
- •4.2.3Внутренняя организация файловой системы: модель версии System V
- •Структура файловой системы версии System V.
- •4.2.3.1Работа с массивами номеров свободных блоков
- •Работа с массивами номеров свободных блоков.
- •4.2.3.2Работа с массивом свободных индексных дескрипторов
- •4.2.3.3Индексные дескрипторы. Адресация блоков файла
- •Индексные дескрипторы.
- •Адресация блоков файла.
- •4.2.3.4Файл-каталог
- •Файл-каталог.
- •Установление связей.
- •4.2.3.5Достоинства и недостатки файловой системы модели System V
- •4.2.4Внутренняя организация файловой системы: модель версии Fast File System (ffs) bsd
- •Структура файловой системы версии ffs bsd.
- •4.2.4.1Стратегии размещения
- •Стратегия размещения последовательных блоков файлов.
- •4.2.4.2Внутренняя организация блоков
- •Внутренняя организация блоков (блоки выровнены по кратности).
- •4.2.4.3Выделение пространства для файла
- •Выделение пространства для файла.
- •4.2.4.4Структура каталога ffs
- •Структура каталога ffs bsd.
- •4.2.4.5Блокировка доступа к содержимому файла
- •5Управление оперативной памятью
- •5.1Одиночное непрерывное распределение
- •Одиночное непрерывное распределение.
- •5.2Распределение неперемещаемыми разделами
- •Распределение неперемещаемыми разделами.
- •5.3Распределение перемещаемыми разделами
- •Распределение перемещаемыми разделами.
- •5.4Страничное распределение
- •Страничное распределение.
- •Иерархическая организация таблицы страниц.
- •Использование хеш-таблиц.
- •Инвертированные таблицы страниц.
- •Замещение страниц. Алгоритм «Часы».
- •5.5Сегментное распределение
- •Сегментное распределение.
- •5.6Сегментно-страничное распределение
- •Сегментно-страничное распределение. Упрощенная модель Intel.
- •6Управление внешними устройствами
- •6.1Общие концепции
- •6.1.1Архитектура организации управления внешними устройствами
- •Модели управления внешними устройствами: непосредственное (а), синхронное/асинхронное (б), с использованием контроллера прямого доступа или процессора (канала) ввода-вывода.
- •6.1.2Программное управление внешними устройствами
- •Иерархия архитектуры программного управления внешними устройствами.
- •6.1.3Планирование дисковых обменов
- •Планирование дисковых обменов. Модель fifo.
- •Планирование дисковых обменов. Модель lifo.
- •Планирование дисковых обменов. Модель sstf.
- •Планирование дисковых обменов. Модель scan.
- •Планирование дисковых обменов. Модель c-scan.
- •6.1.4Raid-системы. Уровни raid
- •Raid 2. Избыточность с кодами Хэмминга (Hamming, исправляет одинарные и выявляет двойные ошибки).
- •Raid 3. Четность с чередующимися битами.
- •Raid 5. Распределенная четность (циклическое распределение четности).
- •6.2Работа с внешними устройствами в ос Unix
- •6.2.1Файлы устройств, драйверы
- •6.2.2Системные таблицы драйверов устройств
- •6.2.3Ситуации, вызывающие обращение к функциям драйвера
- •6.2.4Включение, удаление драйверов из системы
- •6.2.5Организация обмена данными с файлами
- •Организация обмена данными с файлами.
- •6.2.6Буферизация при блок-ориентированном обмене
- •6.2.7Борьба со сбоями
1.3.2Логические функции ос
Рассматривая ОС, ее функциональность можно представить в виде объединения некоторого фиксированного количества блоков функций. Состав этого набора варьирует от системы к системе, но в большинстве случаев можно выделить следующие функции: управление процессами, управление оперативной памятью, планирование и, наконец, управление данными, файловой системой и устройствами, а также в последнее время стали добавлять блок функциональности сетевого взаимодействия.
На уровне управления процессами решаются проблемы формирования процессов, поддержание жизненного цикла процесса, организация взаимодействия процессов, т.е. организация взаимодействия процесса с системой в целом и с другими процессами в частности.
Блок управления оперативной памятью реализует программную поддержку той или иной стратегии организации памяти. При необходимости на этом уровне реализуется поддержка аппарата виртуальной памяти, решается задача выделения и изъятия памяти у процесса.
Функции планирования можно понимать с разных точек зрения. Можно понимать планирование в узком смысле слова, т.е. планирование центрального процессора (т.е. планирование доступа процессов к центральному процессору). На самом деле, функций планирования большое множество, поскольку применять планирование приходится при организации многих механизмов операционной системы. Так, упоминавшаяся только что задача изъятия памяти у процессов является задачей планирования, поскольку ставится вопрос, по какому принципу будет происходить это изъятие. Взаимодействие с внешними устройствами тоже не может обойтись без решения задач планирования: так или иначе, поток заказов на обмен, поступающих в системе, может превосходить пропускную способность устройства, образуется конкуренция по доступу к устройству — выстраивается очередь заказов на обмен. Соответственно, ставится вопрос, как организовать обработку этой очереди. Возможны различные стратегии: FIFO, LIFO и пр. — и для каждой из них будет свой результат. Итак, сфера применения решения задач планирования достаточно широка, просто в одних случаях планирование рассматривают в рамках какой-либо функциональности, а в других случаях — отдельно.
Блок управления данными и файловой системой также является достаточно важным, поскольку ни один процесс не сможет без него функционировать. На этом уровне применяются множество различных стратегий, организаций и пр., о чем речь пойдет позже. Блок управления внешними устройствами, подобно блоку управления оперативной памятью, зачастую оказывается скрытым для пользователей системы, в некоторых случаях он интегрирован в файловую систему, как это сделано в ОС Unix. На этом уровне также решаются множество специфических задач: задача кэширования обменов, задача повышения надежности обменов и пр.
1.3.3Типы операционных систем
Операционные системы можно классифицировать с точки зрения критериев эффективности и стратегий использования центрального процессора. Можно выделить три основных класса операционных систем: пакетные операционные системы, системы разделения времени и системы реального времени. Остановимся на каждой из них поподробнее.
Пакетная операционная система — это система, критерием эффективности функционирования которой минимизация потерь работы центрального процессора. Иными словами, отношение всего времени работы процессора ко времени исполнения пользовательских программ должно быть близко к единице. Традиционно пакетные системы предназначались для решения расчетных задач, т.е. задач, требующие определенного объема времени работы процессора. Как следует из названия, эти системы оперируют термином пакет программ.
Пакет программ — это некоторая совокупность программ, которые необходимо обработать системе. Особенность пакетных систем прослеживается в стратегии переключения выполнения процессов на процессоре. Переключение выполнения процессов происходит только по одной из трех причин.
Первая причина — завершение выполнения процесса (в силу успешного перехода на точку завершения программы или же в силу возникновения ошибки).
Вторая причина — обращение к внешнему устройству с целью осуществить обмен, т.е. возникновение прерывания по вводу-выводу, поскольку операция обмена так или иначе требует какого-то минимального интервала времени.
И, наконец, третья причина — фиксация факта зацикливания. В принципе точно определить факт зацикливания программы сложно, но все-таки возможно. На практике зачастую под фактом зацикливания считают исчерпание процессорного времени (положим, полтора часа).
Очевидно, что переключение процессов в подобных системах происходит лишь по необходимости, а это означает, что происходит редкое обращение к функции ОС смены контекстов обрабатываемых процессов, что ведет к максимальному снижению накладных расходов. В подобных системах степень полезной загрузки процессора составляет от 90% и выше.
Следующая модель — система разделения времени. Данная модель может рассматриваться как развитие модели пакетных систем. В дополнение ко всем свойствам пакетных систем необходимо добавить дополнительную характеристику. Для каждого процесса в системе определяется квант процессорного времени, который может быть единовременно использован процессом. Под квантом времени центрального процессора понимается некоторый фиксированный ОС промежуток времени работы процессора. Соответственно, переключение процессов происходит по тем же причинам, что и в пакетных системах (завершение процесса, возникновение прерывания, фиксация факта зацикливания), но необходимо добавить еще одну причину — исчерпался выделенный квант времени.
Критерием эффективности подобных систем служит вовсе не загрузка процессора, а время отклика системы на запрос пользователя (положим, если пользователь набирает текст в текстовом редакторе, т.е. будет важно, что набранные им только что символы отображались на экране достаточно быстро, иначе работать с системой ему будет неудобно). Очевидно, что в подобных системах происходит частая смена контекстов, что связано с большими накладными расходами. В подобных системах эффективность может составлять порядка 30–40%, а, соответственно, 60–70% будут составлять накладные расходы.
Варьируя размерами кванта времени, можно получать системы для решения тех или иных задач. Увеличивая квант времени до некоторого среднего размера (порядка нескольких секунд), можно получить пакетную систему, ориентированную на обработку отладочных программ. А если увеличить размер кванта до бесконечности, получится пакетная система в чистом виде.
Еще один класс систем представляют операционные системы реального времени. Это специализированные системы, которые предназначены для функционирования в рамках вычислительных систем, обеспечивающих управление и взаимодействие с различными технологическими процессами. При разработке подобных систем фиксируется некоторый набор событий, при возникновении любого из которых гарантируется обработка этого события за некоторый промежуток времени, не превосходящий определенного предельного значения.
Для иллюстрации можно привести следующий пример. Рассмотрим процесс кипячения молока. Если емкость с молоком постоянно нагревать, то через некоторое время оно начинает кипеть, а еще через некоторый достаточно короткий период оно «убегает» (после чего вообще начинает подгорать). Процесс кипячения молока можно автоматизировать, если в сосуд с молоком поместить датчик температуры, который снимает текущее значение температуры молока и передает это значение компьютеру. Соответственно, ставится задача «поймать» момент фиксации температуры кипения молока, причем среагировать необходимо за некоторый фиксированный промежуток времени. Если реакция произойдет, положим, через минуту, то молоко «убежит», и, соответственно, польза от такой системы будет минимальной. Таким образом, имеется фиксированный период времени, в течение которого компьютер должен снять показания датчика, определить, не достигнута ли точка кипения молока, и в случае кипения выключить подогрев сосуда с молоком.
Сфер применения систем реального времени в жизни очень много. Выделяют различные группы систем реального времени (жесткого времени, мягкого времени и пр.), но основной принцип их функционирования одинаков и подобен тому, который был проиллюстрирован выше.
И, в заключение, кратко остановимся на рассмотрении сетевых и распределенных операционных систем. Как уже отмечалось выше, одиночные однопроцессорные системы уходят в прошлое, и во многих случаях процессорный элемент или компьютерный элемент рассматривается как составляющая многопроцессорных или многомашинных ассоциаций. И с этой точки зрения операционные системы можно разделить на две категории.
В первую категорию можно отнести т.н. сетевые ОС. Сетевая операционная система — это система, обеспечивающая функционирование и взаимодействие вычислительной системы в пределах сети. Это означает, что сетевая ОС устанавливается на каждом компьютере сети и обеспечивает функционирование распределенных приложений, т.е. тех приложений, реализация функций которых распределена по разным компьютерам сети. Примеров можно привести достаточно много. Так, почтовая приложение может быть распределенным: есть функции перемещения, есть сервер-получатель, есть клиентская часть, обеспечивающая интерфейс работы пользователя с указанным сервером.