- •Введение
- •Требования к содержанию лекций
- •Организация лабораторного практикума
- •Программа лабораторного практикума
- •Лабораторная работа 1. Краткосрочное планирование задач
- •Лабораторная работа 2. Замещение областей памяти
- •Лабораторная работа 3. Синхронизация процессов/потоков
- •Лабораторная работа 5. Файловые системы
- •Литература
- •Основные понятия и определения
- •Распределение ресурса «центральный процессор»
- •Процесс и поток – типы ресурсов операционной системы
- •Классификация ОС по признаку поддержки процессов и потоков
- •1. Однозадачные ОС
- •2. Многозадачные ОС без поддержки многопоточности
- •3. Многозадачные ОС с поддержкой многопоточности
- •Реализация многопоточности внутри программы пользователя
- •Состояния потока
- •Дескрипторы процессов и потоков
- •Операции над процессами
- •1. Создание процесса
- •2. Завершение процесса
- •Операции над потоками
- •1. Создание потока
- •2. Завершение потока
- •Планирование
- •Модель поведения процесса с одним потоком
- •Критерии оценки алгоритмов планирования
- •Алгоритмы планирования в системах пакетной обработки данных
- •«Кратчайшая задача - первая» (Shortest Job First, SJF)
- •«Наименьшее оставшееся время выполнения»
- •Алгоритмы планирования в интерактивных системах
- •«Циклическое планирование» (Round Robin, RR)
- •«Приоритетное планирование»
- •«Самый короткий поток - следующий»
- •«Гарантированное планирование»
- •Лотерейное планирование
- •Планирование с использованием многоуровневых очередей
- •Алгоритм планирования Windows NT
- •Алгоритм планирования UNIX
- •Алгоритм планирования UNIX System V Release 4
- •Алгоритм планирования Linux (версия ядра 2.2 и ниже)
- •Заключение
- •Управление памятью
- •Архитектура оперативной памяти
- •Способ описания физической памяти
- •Алгоритм обеспечения пространственного мультиплексирования
- •Схема с фиксированными разделами
- •Оверлейная структура
- •Свопинг
- •Схема с переменными разделами
- •Общие вопросы управления страничной памятью
- •Алгоритмы замещения страниц
- •Оптимальный алгоритм
- •Алгоритм FIFO - Выталкивание первой пришедшей страницы
- •Алгоритм Second-Chance - Вторая попытка
- •Алгоритм «часы»
- •Заключение
- •Взаимодействие потоков – передача данных и синхронизация
- •Взаимодействие потоков
- •Критическая секция
- •Задача взаимного исключения
- •Семафоры
- •Тупики
- •Синхронизирующие объекты ОС
- •Сигналы
- •Обмен сообщениями (message passing) (Хоар, 1978 год)
- •Реализация взаимоисключений
- •Алгоритм Петерсона
- •Алгоритм булочной (Bakery algorithm)
- •Аппаратная поддержка взаимоисключений
- •Команда Test-and-Set (Проверить и присвоить 1)
- •Команда Swap (Обменять значения)
- •Классические задачи взаимодействия потоков
- •Задача "Производитель-потребитель"
- •Задача "Читатели-писатели"
- •Задача "Обедающие философы"
- •Проблема спящего брадобрея
- •Передача данных между взаимодействующими потоками
- •Архитектура файловой системы
- •Файлы с точки зрения пользователя
- •Типы объектов файловой системы
- •Имена объектов файловой системы
- •Операции над файлами
- •Директории – логическая структура файлового архива
- •Операции над директориями
- •Пользовательский интерфейс системы управления файлами
- •Виртуальная Файловая Система
- •Принцип работы
- •Структура VFS
- •Типы объектов в VFS
- •Символьные связи (мягкие ссылки)
- •Именованные конвейеры (именованные каналы)
- •Реализация VFS
- •Лабораторная работа 1. Краткосрочное планирование задач
- •Симулятор многозадачной системы
- •Модель эксперимента
- •Архитектура программной лаборатории
- •Проведение эксперимента
- •Выполнение лабораторной работы
- •Архитектура планировщика в Linux (Ядро 2.4.18)
- •Очередь процессов
- •Кванты времени центрального процессора
- •Выбор процесса на исполнение
- •Вычисление эффективного приоритета и размера кванта
- •Вытеснение процесса
- •Изменение алгоритма планирования
- •Компиляция и установка ядра Linux
- •Литература по лабораторной работе 1
- •Лабораторная работа 2. Замещение областей памяти
- •Симулятор многозадачной системы
- •Управление памятью в Linux (ядро 2.4.18)
- •Описание физической памяти в Linux
- •Узлы
- •Зоны
- •Отметки уровня воды (watermarks)
- •Страницы
- •Адресное пространство процесса
- •Страничные сбои
- •Выделение памяти по запросу
- •Подкачка по запросу
- •Демон выгрузки страниц (kswapd)
- •Кэш страниц
- •Добавление страниц в кэш страниц
- •Заполнения списка «холодных» страниц
- •Стратегия замещения страниц
- •Изменение стратегии замещения
- •Литература по лабораторной работе 2
- •Механизмы межпроцессного взаимодействия ОС UNIX
- •Семафоры.
- •Очереди сообщений.
- •Работа с разделяемой памятью.
- •Механизмы межпроцессного взаимодействия ОС Windows
- •Wait-функции
- •События
- •Ожидаемые таймеры
- •Семафоры
- •Мьютексы
- •Литература по лабораторным работам 3-4
- •Лабораторная работа 5. Файловые системы
- •Предлагаемые к реализации файловые системы
- •Файловая система 1
- •Файловая система 2
- •Файловая система 3
- •Симулятор работы с файловой системой
- •Постановка задачи
- •Операции над файлами
- •Операции над директориями
- •Требования к лабораторной работе
- •Архитектура программной лаборатории
- •Обзор архитектуры модуля поддержки файловой системы в Linux
- •Модули драйвера файловой системы Minix
- •Описание суперблока файловой системы
- •Описание индексного дескриптора (inode)
- •Основной файл заголовков
- •Исходные тексты функций работы с индексным дескриптором
- •Исходные тексты функций работы с объектами ФС разных типов
- •Другие модули
- •Реализация драйвера файловой системы
- •Литература по лабораторной работе 5
- •Литература
- •Дополнительная литература
Лабораторный практикум по курсу "Операционные системы"
Алгоритм Second-Chance - Вторая попытка
Модификация алгоритма FIFO, которая позволяет избежать потери часто используемых страниц посредством анализа признака использования для самой старой страницы. Если признак установлен, то страница, в отличие от FIFO, не выталкивается, а очищается бит и страница становится в конец очереди. Если ко всем страницам было осуществлено обращение, он превращается в FIFO.
Алгоритм «часы»
Хотя алгоритм Second-Chance является корректным, он неэффективен, потому что постоянно передвигает страницы по списку. Поэтому лучше хранить описания страничных блоков в виде кольцевого списка и использовать указатель на старейшую страницу.
Дальнейшим развитием алгоритма является использование двух указателей перемещаемых по кольцевому списку. Первый указывает на страницу, дольше всего находящуюся в памяти. Второй – перемещается по списку синхронно с первым и находится всегда на одном расстоянии до/после него; при передвижении второго указателя на следующую страницу, для нее очищается признак использования. Таким образом, интервал времени, за который страница должна быть использована, чтобы ее не вытеснили, уменьшается, и в памяти остаются только действительно часто используемые страницы.
Заключение
Память представляет собой важный ресурс, требующий тщательного управления. Современные компьютеры часто поддерживают некоторую форму виртуальной памяти, соответственно менеджер памяти должен на базе аппаратных средств поддерживать виртуальные адресные пространства процессов, одновременно реализуя алгоритмы пространственного мультиплексирования адресных пространств различных процессов. Для хорошей работы системы необходим выбор наиболее подходящего для ее области использования алгоритма замещения страниц.
Учебно-исследовательская лаборатория «Информационные технологии» 61
