- •Содержание
- •1 Введение 5
- •2 Управление процессами 87
- •3 Реализация межпроцессного взаимодействия в ос Unix 114
- •4 Файловые системы 152
- •4.1 Основные концепции 152
- •5 Управление оперативной памятью 181
- •6 Управление внешними устройствами 196
- •Введение
- •Пакетная обработка заданий.
- •Развитие языков и систем программирования.
- •Этапы эволюции.
- •Основы архитектуры вычислительной системы
- •Структура вс
- •Структура вычислительной системы.
- •Аппаратный уровень вс
- •Управление физическими ресурсами вс
- •Пример зависимости от драйвера.
- •Управление логическими/виртуальными ресурсами
- •Системы программирования
- •Этапы проектирования.
- •Кодирование.
- •Тестирование.
- •Каскадная модель.
- •Каскадная итерационная модель.
- •Спиральная модель.
- •Прикладные системы
- •Первый этап развития прикладных систем.
- •Второй этап развития прикладных систем.
- •Третий этап развития прикладных систем.
- •Пакет программ Microsoft Office.
- •Пакет MathCad.
- •Система BaaN.
- •Выводы, литература
- •Структура организации вычислительной системы.
- •Основы компьютерной архитектуры
- •Структура, основные компоненты
- •Структура компьютера фон Неймана.
- •Базовая архитектура современных компьютеров.
- •Оперативное запоминающее устройство
- •Ячейка памяти.
- •Контроль четности.
- •Озу без расслоения памяти — один контроллер на все банки.
- •Озу с расслоением памяти — каждый банк обслуживает отдельный контроллер.
- •Центральный процессор
- •Структура организации центрального процессора.
- •Регистровая память
- •Устройство управления. Арифметико-логическое устройство
- •Общая схема работы кэШа.
- •Аппарат прерываний
- •Использование иерархической модели регистров прерывания.
- •Использование вектора прерываний.
- •Этап программной обработки прерываний.
- •Внешние устройства
- •Внешние устройства.
- •Внешние запоминающие устройства
- •Магнитная лента.
- •Принцип устройства магнитного диска.
- •Принцип устройства магнитного барабана.
- •Принцип устройства памяти на магнитных доменах.
- •Модели синхронизации при обмене с внешними устройствами
- •Синхронная и асинхронная работа с ву.
- •Потоки данных. Организация управления внешними устройствами
- •Непосредственное управление центральным процессором внешнего устройства.
- •Синхронное/асинхронное управление внешними устройствами с использованием контроллеров внешних устройств.
- •Использование контроллера прямого доступа к памяти (dma) или процессора (канала) ввода-вывода при обмене.
- •Иерархия памяти
- •Иерархия памяти.
- •Аппаратная поддержка операционной системы и систем программирования
- •Требования к аппаратуре для поддержки мультипрограммного режима
- •Мультипрограммный режим.
- •Проблемы, возникающие при исполнении программ
- •Вложенные обращения к подпрограммам.
- •Перемещаемость программы по озу.
- •Фрагментация памяти.
- •Регистровые окна
- •Регистровые окна.
- •Регистровые окна. Вход и выход из подпрограммы.
- •Системный стек
- •Системный стек.
- •Виртуальная память
- •Страничная организация памяти.
- •Страничная организация памяти. Преобразование виртуального адреса в физический.
- •Страничная организация памяти. Схема преобразования адресов.
- •Многомашинные, многопроцессорные ассоциации
- •Классификация мкмд.
- •Numa-система.
- •Терминальные комплексы (тк)
- •Терминальные комплексы.
- •Компьютерные сети
- •Компьютерные сети.
- •Организация сетевого взаимодействия. Эталонная модель iso/osi
- •Модель организации взаимодействия в сети iso/osi.
- •Логическое взаимодействие сетевых устройств по I-ому протоколу.
- •Семейство протоколов tcp/ip. Соответствие модели iso/osi
- •Семейство протоколов tcp/ip.
- •Взаимодействие между уровнями протоколов tcp/ip.
- •Система адресации протокола ip.
- •Маршрутизация дейтаграмм.
- •Основы архитектуры операционных систем
- •Структура ос
- •Структурная организация ос.
- •Структура ос с монолитным ядром.
- •Структура ос с микроядерной архитектурой.
- •Логические функции ос
- •Типы операционных систем
- •Структура сетевой ос.
- •Структура распределенной ос.
- •Управление процессами
- •Основные концепции
- •Модели операционных систем
- •Типы процессов
- •Типы процессов: однонитевая (а) и многонитевая (б) организации.
- •Контекст процесса
- •Реализация процессов в ос Unix
- •Процесс ос Unix
- •Разделение сегмента кода.
- •Базовые средства управления процессами в ос Unix
- •Пример использования системного вызова fork().
- •Пример использования системного вызова execl().
- •Пример использования схемы fork-exec.
- •Жизненный цикл процесса. Состояния процесса
- •Жизненный цикл процессов.
- •Формирование процессов 0 и 1
- •Формирование нулевого и первого процессов.
- •Инициализация системы.
- •Планирование
- •Взаимодействие процессов
- •Разделяемые ресурсы и синхронизация доступа к ним
- •Гонка процессов.
- •Пример тупиковой ситуации (deadlock).
- •Способы организации взаимного исключения
- •Пример двоичного семафора.
- •Классические задачи синхронизации процессов
- •Обещающие философы.
- •Реализация межпроцессного взаимодействия в ос Unix
- •Базовые средства реализации взаимодействия процессов в ос Unix
- •Способы организации взаимодействия процессов.
- •Сигналы
- •Неименованные каналы
- •Именованные каналы
- •Модель межпроцессного взаимодействия «главный–подчиненный»
- •Общая схема трассировки процессов.
- •Система межпроцессного взаимодействия ipc (Inter-Process Communication)
- •Очередь сообщений ipc
- •Очередь сообщений ipc.
- •0666 Определяет права доступа */
- •Разделяемая память ipc
- •Массив семафоров ipc
- •Int val; /* значение одного семафора */
- •Сокеты — унифицированный интерфейс программирования распределенных систем
- •Файловые системы
- •Основные концепции
- •Структурная организация файлов
- •Атрибуты файлов
- •Основные правила работы с файлами. Типовые программные интерфейсы
- •Модель одноуровневой файловой системы.
- •Модель двухуровневой файловой системы.
- •Модель иерархической файловой системы.
- •Подходы в практической реализации файловой системы
- •Структура «системного» диска.
- •Модели реализации файлов
- •Модель непрерывных файлов.
- •Модель файлов, имеющих организацию связанного списка.
- •Модели реализации каталогов
- •Модели организации каталогов.
- •Соответствие имени файла и его содержимого
- •Пример жесткой связи.
- •Пример символической связи.
- •Координация использования пространства внешней памяти
- •Квотирование пространства файловой системы
- •Квотирование пространства файловой системы.
- •Надежность файловой системы
- •Проверка целостности файловой системы
- •Проверка целостности файловой системы. Непротиворечивость файловой системы соблюдена.
- •Проверка целостности файловой системы. Зафиксирована пропажа блока.
- •Проверка целостности файловой системы. Зафиксировано дублирование свободного блока.
- •Проверка целостности файловой системы. Зафиксировано дублирование занятого блока.
- •Проверка целостности файловой системы. Контроль жестких связей.
- •Примеры реализаций файловых систем
- •Организация файловой системы ос Unix. Виды файлов. Права доступа
- •Логическая структура каталогов
- •Логическая структура каталогов.
- •Внутренняя организация файловой системы: модель версии System V
- •Структура файловой системы версии System V.
- •Работа с массивами номеров свободных блоков
- •Работа с массивами номеров свободных блоков.
- •Работа с массивом свободных индексных дескрипторов
- •Индексные дескрипторы. Адресация блоков файла
- •Индексные дескрипторы.
- •Адресация блоков файла.
- •Файл-каталог
- •Файл-каталог.
- •Установление связей.
- •Достоинства и недостатки файловой системы модели System V
- •Внутренняя организация файловой системы: модель версии Fast File System (ffs) bsd
- •Структура файловой системы версии ffs bsd.
- •Стратегии размещения
- •Стратегия размещения последовательных блоков файлов.
- •Внутренняя организация блоков
- •Внутренняя организация блоков (блоки выровнены по кратности).
- •Выделение пространства для файла
- •Выделение пространства для файла.
- •Структура каталога ffs
- •Структура каталога ffs bsd.
- •Блокировка доступа к содержимому файла
- •Управление оперативной памятью
- •Одиночное непрерывное распределение
- •Одиночное непрерывное распределение.
- •Распределение неперемещаемыми разделами
- •Распределение неперемещаемыми разделами.
- •Распределение перемещаемыми разделами
- •Распределение перемещаемыми разделами.
- •Страничное распределение
- •Страничное распределение.
- •Иерархическая организация таблицы страниц.
- •Использование хеш-таблиц.
- •Инвертированные таблицы страниц.
- •Замещение страниц. Алгоритм «Часы».
- •Сегментное распределение
- •Сегментное распределение.
- •Сегментно-страничное распределение
- •Сегментно-страничное распределение. Упрощенная модель Intel.
- •Управление внешними устройствами
- •Общие концепции
- •Архитектура организации управления внешними устройствами
- •Модели управления внешними устройствами: непосредственное (а), синхронное/асинхронное (б), с использованием контроллера прямого доступа или процессора (канала) ввода-вывода.
- •Программное управление внешними устройствами
- •Иерархия архитектуры программного управления внешними устройствами.
- •Планирование дисковых обменов
- •Планирование дисковых обменов. Модель fifo.
- •Планирование дисковых обменов. Модель lifo.
- •Планирование дисковых обменов. Модель sstf.
- •Планирование дисковых обменов. Модель scan.
- •Планирование дисковых обменов. Модель c-scan.
- •Raid-системы. Уровни raid
- •Raid 2. Избыточность с кодами Хэмминга (Hamming, исправляет одинарные и выявляет двойные ошибки).
- •Raid 3. Четность с чередующимися битами.
- •Raid 5. Распределенная четность (циклическое распределение четности).
- •Работа с внешними устройствами в ос Unix
- •Файлы устройств, драйверы
- •Системные таблицы драйверов устройств
- •Ситуации, вызывающие обращение к функциям драйвера
- •Включение, удаление драйверов из системы
- •Организация обмена данными с файлами
- •Организация обмена данными с файлами.
- •Буферизация при блок-ориентированном обмене
- •Борьба со сбоями
-
Планирование дисковых обменов. Модель scan.
Некоторой альтернативой является алгоритм циклического сканирования (С-SCAN). Этот алгоритм основан на том, что сканирование всегда происходит в одном направлении. В очереди запросов ищется запрос с минимальным (или максимальным) номером, головка передвигается к дорожке с этим номером, а затем за один проход по диску обрабатывается вся очередь запросов. Но проблемы остаются те же самые, что и для алгоритма сканирования (Рис. 140.).

-
Планирование дисковых обменов. Модель c-scan.
Для решения проблемы зависания при интенсивном обмене с локальной областью диска применяются многошаговый алгоритм (N-step-SCAN). В этом случае очередь запросов каким-либо образом (способ разделения может быть произвольным, в частности, по локализации запросов, по времени поступления и т.д.) делится на N подочередей, затем по какой-либо стратегии выбирается очередь, которая будет обрабатываться (например, по порядку их формирования), и начинается ее обработка. Во время обработки очереди блокируется попадание новых запросов в эту очередь (тогда эти запросы могут сформировать новую очередь), другие очереди могут получать заявки. Сама обработка очереди может осуществляться, например, по алгоритму сканирования. Данный алгоритм «уходит» от проблемы голодания.
Итак, мы проиллюстрировали некоторые стратегии организации планирования дисковых обменов. Еще раз отметим, что эти модель очень упрощенные: они основаны на использовании минимальной информации о заказе на обмен. Реальные системы, реальные очереди содержат не одиночные заказы на обмен, а целые цепочки заказов на обмен, которые произвольным образом обрабатывать нельзя. Например, если идет заказ на считывание данных, потом процесс их изменяет, а затем обратно записывает, то эти считывание и запись могут следовать лишь в одном порядке.
-
Raid-системы. Уровни raid
Аббревиатура RAID может раскрываться двумя способами. RAID — Redundant Array of Independent (Inexpensive) Disks, или избыточный массив независимых (недорогих) дисков. На сегодняшний день обе расшифровки не совсем корректны. Понятие недорогих дисков родилось в те времена, когда большие быстрые диски стоили достаточно дорого, и перед многими организациями, желающими сэкономить, стояла задача построения такой организации набора более дешевых и менее быстродействующих и емких дисков, чтобы их суммарная эффективность не уступала одному богатому диску. На сегодняшний день цены между различными по характеристикам дисками более сглажены, но бывают и исключения, когда новейший диск чуть ли не на порядок опережает по цене своих предыдущих собратьев. Что касается независимости дисков, то она соблюдается не всегда.
RAID-система — это совокупность физических дисковых устройств, которая представляется в операционной системе как одно устройство, имеющее возможность организации параллельных обменов. Помимо этого образуется избыточная информация, используемая для контроля и восстановления информации, хранимой на этих дисках.
RAID-системы предполагают размещение на разных устройствах, составляющих RAID-массив, порции данных фиксированного размера, называемые полосами, которым осуществляется обмен в данных системах. Размер полосы зависит от конкретного устройства (при обсуждении файловых систем была упомянута иерархия различных блоков, так RAID добавляет в эту иерархию дополнительный уровень — уровень полос RAID).
На сегодняшний день выделяют семь моделей RAID-систем (от нулевой модели до шестой). Рассмотрим их по порядку.
RAID 0 (Рис. 141.). В этой модели полоса соизмерима с дисковыми блоками, соседние полосы находятся на разных устройствах. Организация RAID нулевого уровня чем-то напоминает расслоение оперативной памяти. С каждым диском обмен может происходить параллельно. Каждое устройство независимое, т.е. движение головок в каждом из устройств не синхронизировано. Данная модель не хранит избыточную информацию, поэтому в ней могут храниться данные объемом, равным суммарной емкости дисков, при этом за счет параллельного выполнения обменов доступ к информации становится более быстрым.

-
RAID 0.
RAID 1, или система зеркалирования (Рис. 142.). Предполагается наличие двух комплектов дисков. При записи информации она сохраняется на соответствующем диске и на диске-дублере. При чтении информации запрос направляется лишь одному из дисков. К диску-дублеру происходит обращение при утере информации на первом экземпляре диска.

-
RAID 1.
Данная модель является достаточно дорогой, причем дороговизна заключается не в непосредственной стоимости дисков (если предположить, что средняя цена диска 100 USD, то организация на покупку 10 основных дисков и 10 дисков-дублеров должна потратить порядка 2000 USD, что не является большой суммой для юридического лица). Цена вопроса встает при обслуживании данной системы: 20 дисков занимают много места, потребляют довольно приличную мощность и выделяют много тепла. К этому можно добавить расходы на обеспечение резервного питания: чтобы эти 20 дисков не отключались при перебоях с электропитанием необходимо закупить источники бесперебойного питания с очень емкими аккумуляторами.
Отметим, что модели RAID нулевого и первого уровней могут реализовываться программным способом.
Следующие две модели (RAID 2, Рис. 143., и RAID 3, Рис. 144.) — это модели с т.н. синхронизированными головками, что, в свою очередь, означает, что в массиве используются не независимые устройства, а специальным образом синхронизированные. Эти модели обычно имеют полосы незначительного размера (например, байт или слово). Данные модели содержат избыточную информацию, позволяющие восстановить данные в случае выхода из строя одного из устройств. В частности, RAID 2 использует коды Хэмминга (т.е. коды, исправляющие одну ошибку и выявляющие двойные ошибки). Модель RAID 3 более проста, она основана на четности с чередующимися битами. Для этого один из дисков назначается для хранения избыточной информации — полос, дополняющих до четности соответствующие полосы на других дисках (т.е., по сути, в каждой позиции должно быть суммарное число единиц на всех дисках должно быть четным). И в том, и в другом случае при сбое одного из устройства за счет избыточной информации можно восстановить потерянные данные.

