- •Введение
- •Требования к содержанию лекций
- •Организация лабораторного практикума
- •Программа лабораторного практикума
- •Лабораторная работа 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
- •Литература
- •Дополнительная литература
Лабораторный практикум по курсу "Операционные системы"
Литература по лабораторной работе 2
1.Э. Таненбаум. Современные операционные системы. 2-е издание. СПб: Питер, 2002.
2.А.Я. Архангельский. Интегрированная среда разработки С++Builder 5. М: Бином, 2000.
3.Mel Gorman. Understanding The Linux Virtual Memory Manager. 2003. (Электронный источник - http://www.csn.ul.ie/~mel/projects/vm/guide/html/understand/)
4.Robert Love. Linux Kernel Development. SAMS, 2003.
5.David Rusling. The Linux Kernel (Электронный источник - www.linuxdoc.org/LDP/tlk/)
6.Cross-Referencing Linux (Электронный источник - lxr.linux.no)
7.Скотт Максвелл. Ядро Linux в комментариях. К. Издательство «ДиаСофт», 2000.
Учебно-исследовательская лаборатория «Информационные технологии» 131
Лабораторный практикум по курсу "Операционные системы"
Лабораторные работы 3-4. Синхронизация процессов/потоков. Передача данных между процессами/потоками
Цель работы - практическое освоение механизмов синхронизации процессов и их посредством механизмов, предоставляемых ОС.
Лабораторная работа 3 предполагает решение одной из классических задач синхронизации в конкретной операционной среде.
1.Реализация задачи «поставщик-потребитель». Требуется реализовать приложениепоставщик и приложение-потребитель или многопоточное приложение с потоком «поставщик» и потоком «потребитель».
2.Реализация задачи «читатели-писатели» (аналогично).
3.Реализация задачи «обедающие философы». Требуется реализовать многопоточное приложение с параметром «число философов».
4.Реализация задачи «спящий парикмахер» (аналогично).
Лабораторная работа 4 подразумевает создание приложений (или одного многопоточного приложения), которые не только синхронизуются, но и обмениваются данными.
Работа имеет следующие варианты заданий:
1.Имеется поток (сервер), обрабатывающий запросы другого потока (клиента). Сервер в один момент времени может обрабатывать только один запрос. Клиент не должен посылать следующий запрос, не дождавшись ответа сервера. В качестве запроса посылается номер стоки файла, содержимое которого сервер возвращает в качестве ответа. Предполагаются следующие варианты задачи: синхронизация с помощью семафоров, передача запроса - ответа через общую память или через программные каналы.
2.Процесс писатель записывает содержимое некоторого файла. Процессы - читатели считывают данные, записанные процессом - писателем. Необходимо обеспечить взаимное исключение доступа к данным писателя и любого из читателей. Предполагаются следующие варианты задачи: синхронизация с помощью семафоров, обмен данными через общую память, программные каналы или очереди.
3.Обедающие философы (вариация). Создается пять процессов (по одному на философа). Процессы разделяют пять переменных (вилок). Каждый процесс находится только в двух состояниях - либо он "размышляет", либо "ест спагетти". Чтобы начать "есть", процесс должен взять "две вилки" (захватить две переменные). Закончив "еду", процесс освобождает захваченные переменные и начинает "размышлять" до тех пор, пока снова "проголодается". Предполагается синхронизация с помощью семафоров.
4.Исходный процесс порождает два процесса Р1 и Р2, каждый из которых готовит данные для обработки их основным процессом. Подготавливаемые данные процесс Р2 помещает в канал К1, затем они оттуда читаются процессом Р1, переписываются в канал К2, дополняются своими данными. Обработка данных основным процессом заключается в чтении информации из программного канала К2 и печати ее.
5.Исходный процесс создает два программных канала К1 и К2 и порождает новый процесс Р1, а тот, в свою очередь, еще один процесс Р2, каждый из которых готовит данные для
132 Учебно-исследовательская лаборатория «Информационные технологии»
