
- •Содержание
- •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Борьба со сбоями
4.1.4Подходы в практической реализации файловой системы
Рассмотрим некоторые подходы в практической реализации файловой системы. Снова вернемся к понятию системного устройства — устройства, на котором, как считается аппаратурой компьютера, должна присутствовать операционная система. Почти в любом компьютере можно определить некоторую цепочку внешних устройств, которые при загрузке компьютера рассматриваться как системные устройства. В этой цепочке имеется определенный приоритет. Во время старта вычислительная система (компьютер) перебирает данную цепочку в порядке убывания приоритета до тех пор, пока не обнаружит готовое к работе устройство. Система предполагает, что на этом устройстве имеется необходимая системная информация и пытается загрузить с него операционную систему. Например, допустим, что компьютер сконфигурирован таким образом, что первым системным устройством является флоппи-дисковод, вторым — дисковод оптических дисков (CDROM), а третьим — жесткий диск. Мы поместили во флоппи-дисковод дискету и включили компьютер. Аппаратный загрузчик обращается к первому системному устройству, поскольку в дисководе присутствует дискета, то считается, что дисковод готов к работе. Тогда происходит попытка загрузки операционной системы с дисковода, и если это будет неуспешно, то будет выведено сообщение об ошибке загрузки системы. Если же дискеты во флопе-дисководе не будет, но будет находиться диск в CDROM, то точно так же будет предпринята попытка загрузить операционную систему, но уже с оптического диска. Если же не будет ни флоппи-дискеты, ни оптического диска, то загрузчик попытается загрузить операционную систему с жесткого диска. Обычно в штатном режиме загрузка происходит с жесткого диска, но в ситуации, например, краха системы и невозможности загрузиться с жесткого диска приведенная модель позволяет загрузить систему со съемного носителя и произвести некие действия по восстановлению работоспособности поврежденной системы.
В приведенной модели работа аппаратного загрузчика основана на предположении о том, что любое системное устройство имеет некоторую предопределенную структуру. В начальном блоке системного устройства располагается основной программный загрузчик (MBR — Master Boot Record).В качестве основного программного загрузчика может выступать как загрузчик конкретной операционной системы, так и некоторый унифицированный загрузчик, имеющий информацию о структуре системного диска и способный загружать по выбору пользователя одну из альтернативных операционных систем.
Структура «системного» диска.
В общем случае после блока основного программного загрузчика на диске следует последовательность блоков, в которых находится т.н. таблица разделов. В современных жестких дисках имеется возможность разбивать все физическое пространство диска на некоторые области, которые называются разделами (partition). Внутри каждого раздела может быть помещена в общем случае своя операционная система. Соответственно, границы каждого раздела (его конец и начало) регистрируются в указанной таблице разделов. Еще одно важное применение данной таблицы связано с тем, что современные диски имеют настолько большие емкости, что для адресации произвольной точки диска не хватает разрядной сетки процессора. И за счет косвенной адресации (адресации относительно начала раздела) использование подобной таблицы позволяет решить данную проблему.
Логическая структура раздела имеет следующий вид. В начальном блоке раздела находится загрузчик конкретной операционной системы. Все остальное пространство раздела обычно занимает файловая система. Зачастую в файловой системе часть пространства выделяется т.н. суперблоку, в котором хранятся настройки (размеры блоков, режимы работы и т.п.) и информация об актуальном состоянии (информация о свободных и занятых блоках и т.п.) файловой системы. Все оставшееся пространство файловой системы состоит из свободных и занятых блоков, т.е. блоков, способных хранить системные и пользовательские данные.
Прежде, чем продолжить изучение способов организации файловых систем, хотелось бы остановиться и еще раз просмотреть, что происходит при загрузке компьютера. При включении компьютера управление передается аппаратному загрузчику, который просматривает согласно приоритетам список системных устройств, определяет готовое к работе устройство и передает управление основному программному загрузчику этого устройства. Последний является программным компонентом и может загрузить конкретную операционную систему, а может являться мультисистемным загрузчиком, способным предложить пользователю выбрать, какую из операционных систем, расположенных в различных разделах диска, загрузить. В одном разделе может находиться, например, ОС Microsoft Windows XP, в другом — Linux, в третьем — FreeBSD, и т.д. Данный мультисистемный загрузчик владеет информацией, какая операционная система в каком разделе диска находится. После того, как пользователь сделал свой выбор, загрузчик по таблице разделов определяет координаты соответствующего раздела и передает управление загрузчику операционной системы указанного раздела. Соответственно, загрузчик операционной системы производит непосредственную загрузку этой ОС.
Говоря об иерархии блоков, у многих создается впечатление, что такие понятия, как, например, блоки файла, блоки файловой системы, блоки устройств и т.п., обозначают одно и то же, что, в общем случае, неверно. Большинство современных операционных систем поддерживают целую иерархию блоков, используемую при организации работы с блок-ориентированными устройствами. В основе этой иерархии лежит блоки физического устройства, т.е. это те порции данных, которыми можно совершать обмен с данным физическим устройством. Более того, размер блока физического устройства зависит от конкретного устройства. Соответственно, детали этого уровня иерархии скрываются следующим уровнем абстракции — блоками виртуального диска. Следующий уровень иерархии — уровень блоков файловой системы. Эти блоки используются при организации структуры файловой системы. Размер блока файловой системы, равно как и виртуального диска, является стационарной характеристикой, определяемой при настройке системы, и в динамике эта характеристика не меняется. И, наконец, последний уровень представляют блоки файла. Размер данных блоков может определить пользователь при открытии или создании файла (как об этом говорилось выше). Отметим, что размер блока, в конечном счете, влияет на эффективность работы, которая будет несколько выше, если размеры всех блоков будут хотя бы кратны друг другу.