- •1 Понятие операционной системы 4
- •2 Эволюция и режимы функционирования 10
- •3 Общая архитектура 15
- •4 Управление процессами 23
- •5 Управление памятью 44
- •6 Ввод-вывод и файловая система 65
- •1Понятие операционной системы
- •1.1Назначение и состав системы обработки информации. Понятие виртуальной машины
- •1.2Назначение и функции системных программ
- •1.3Задачи, решаемые операционной системой
- •1.4Операционная система как виртуальная машина
- •1.5Операционная система как система управления ресурсами
- •1.6Оценка деятельности операционной системы
- •1.7Классификация операционных систем
- •Контрольные вопросы
- •2Эволюция и режимы функционирования
- •2.1Непосредственный доступ
- •2.2Пакетный режим
- •2.2.1Однопрограммный (последовательный) режим выполнения пакета
- •2.2.2Многопрограммный режим. Классическое мультипрограммирование
- •2.3Системы информационного обслуживания
- •2.4Режим разделения времени
- •2.5Режим реального времени
- •Контрольные вопросы
- •3Общая архитектура
- •3.1Ядро и вспомогательные модули
- •3.2Ядро в привилегированном режиме
- •3.3Многослойная структура операционной системы
- •3.4Функциональные компоненты операционной системы
- •Контрольные вопросы
- •4Управление процессами
- •4.1Понятия «процесс» и «поток»
- •4.2Создание процессов и потоков
- •4.3Защита ресурсов
- •4.4Планирование и диспетчеризация потоков
- •4.5Состояния потока
- •4.6Мультипрограммирование на основе прерываний
- •4.6.1Назначение, типы и обработка прерываний
- •4.6.2Программные прерывания
- •4.6.3Обработка системных вызовов
- •4.7Синхронизация процессов и потоков
- •4.7.1Цели и средства синхронизации
- •4.7.2Необходимость синхронизации и гонки
- •4.7.3Критическая секция
- •4.7.4Блокирующие переменные
- •4.7.5Семафоры
- •4.7.6Тупики
- •Контрольные вопросы
- •5Управление памятью
- •5.1Функции ос по управлению памятью
- •5.2Типы адресов
- •5.3Свопинг и виртуальная память
- •5.4Страничное распределение
- •5.5Сегментное распределение
- •5.6Сегментно-страничное распределение
- •5.7Разделяемые сегменты памяти
- •Контрольные вопросы
- •6Ввод-вывод и файловая система
- •6.1Управление файлами и внешними устройствами
- •6.2Задачи ос по управлению файлами и устройствами
- •6.3Многослойная модель подсистемы ввода - вывода. Общая схема
- •6.4Логическая организация файловой системы
- •6.4.1Цели и задачи файловой системы
- •6.4.2Типы файлов
- •6.4.3Иерархическая структура файловой системы
- •6.4.4Имена файлов
- •6.4.5Атрибуты файлов
- •6.4.6Логическая организация файла
- •6.5Физическая организация файловой системы
- •6.5.1Диски, разделы, секторы, кластеры
- •6.5.2Физическая организация и адресация файла
- •6.5.3Физическая организация fат
- •6.6Файловые операции
- •6.6.1Два способа организации файловых операций
- •6.6.2Открытие файла
- •Контрольные вопросы
- •Приложение 1. Кэширование данных Назначение кэш-памяти
- •Иерархия запоминающих устройств
- •Принцип действия кэш-памяти
- •Приложение 2. Физическая организация ntfs
- •Структура тома ntfs
- •Структура файлов ntfs
- •Каталоги ntfs
- •Литература
4.7.6Тупики
Еще одна проблем синхронизации связана со взаимными блокировками, называемых также дедлоками, клинчами или тупиками.
Рассмотрим пример тупика. Пусть двум потокам, принадлежащим разным процессам и выполняющимся в режиме мультипрограммирования, для выполнения работы нужно два ресурса, например принтер и последовательный порт. Такая работа может быть связана, например с распечаткой информации, поступающей по модемной связи.
На рис. 17(а) показаны фрагменты соответствующих программ. Поток А запрашивает сначала принтер, а затем порт, а поток В запрашивает устройства в обратном порядке. Предположим, что после того, как ОС назначила принтер потоку А и установила связанную с этим ресурсом блокирующую переменную, поток А был прерван. Управление получил поток В, который сначала выполнил запрос на получение порта, затем при выполнении следующей команды был заблокирован, так как принтер оказался уже занятым потоком А. Управление снова получил поток А, который в соответствии со своей программой сделал попытку занять порт и был заблокирован, поскольку порт уже выделен потоку В. В таком положении потоки А и В могут находиться сколь угодно долго.
В зависимости от соотношения скоростей потоков они могут либо взаимно блокировать друг друга (рис. 17,б), либо образовывать очереди к разделяемым ресурсам (рис. 17,в), либо совершенно независимо использовать разделяемые ресурсы (рис. 17,г).
Замечание. Тупиковые ситуации надо отличать от простых очередей, хотя те и другие возникают при совместном использовании ресурсов и внешне выглядят похоже: поток приостанавливается и ждет освобождения ресурса. Однако очередь — это нормальное явление, неотъемлемый признак высокого коэффициента использования ресурсов при случайном поступлении запросов. Очередь появляется тогда, когда ресурс недоступен в данный момент, но освободится через некоторое время, позволив потоку продолжить выполнение. Тупик же, как видно из его названия, является в некотором роде неразрешимой ситуацией. Необходимым условием возникновения тупика является потребность потока сразу в нескольких ресурсах.
В рассмотренном примере тупик был образован двумя потоками, но взаимно блокировать друг друга может и большее число потоков. На рис.18 показано такое распределение ресурсов Ri между несколькими потоками Tj, которое привело к возникновению взаимных блокировок. Стрелки обозначают потребность потока в ресурсах. Сплошная стрелка означает, что соответствующий ресурс был выделен потоку, а пунктирная стрелка соединяет поток с тем ресурсом, который необходим, но не может быть пока выделен, поскольку занят другим потоком. Например, потоку Т1 для выполнения работы необходимы ресурсы R1 и R2, из которых выделен только один — R1, а ресурс R2 удерживается потоком Т2. Ни один из четырех показанных на рисунке потоков не может продолжить свою работу, так как не имеет всех необходимых для этого ресурсов.
t
Рис.17. Взаимная блокировка двух потоков
Рис.18. Взаимная блокировка нескольких потоков