- •Кафедра программного обеспечения информационных технологий
- •«Операционные системы и системное программирование»
- •40 01 01
- •Содержание
- •Введение
- •Разработка программ в ос unix
- •1.1 Отличительные черты ос unix
- •1.2 Основы архитектуры операционной системы unix
- •1.3 Ядро системы
- •1.4 Пользователи системы, атрибуты пользователя
- •1.5 Системные вызовы и функции стандартных библиотек
- •1.6 Описание программы, переменные окружения
- •1.7 Аргументы и опции программы
- •1.8 Обработка ошибок
- •2 Файлы и файловая система
- •2.1 Файлы
- •2.2 Типы файлов
- •2.2.1 Обычные файлы
- •2.2.2 Каталоги
- •2.2.3 Файлы символичной связи (ссылки)
- •2.2.4 Файлы устройства
- •2.2.5 Именованные каналы
- •2.2.6 Сокеты
- •2.3 Владельцы файлов и права доступа к файлу
- •2.4 Дополнительные атрибуты файла
- •2.5 Файловый ввод/вывод
- •Открытие файла
- •2.6 Мультиплексированный ввод/вывод
- •2.7 Векторный ввод/вывод
- •2.8 Файлы, отображающиеся в памяти
- •2.9 Каталоги, работа с каталогами
- •2.9.1 Создание каталога
- •2.9.2 Удаление каталога
- •2.9.3 Чтение информации из каталога
- •2.9.4 Закрытие каталога
- •2.10 Создание жестких ссылок
- •2.11 Символическая ссылка
- •2.12 Удаление ссылки (или имени файла)
- •2.13 Переименование файла
- •2.14 Файловая система ос unix
- •2.14.1 Организация файловой системы ext2
- •2.15 Файлы устройств
- •3 Процессы
- •3.1 Виды процессов
- •3.2 Создание процесса
- •3.3 Вызовы семейства exec
- •3.4 Функции завершения процесса
- •3.5 Ошибки
- •3.6 Копирование при записи
- •3.7 Системные вызовы ожидания завершения процесса
- •3.8 Системный вызов system
- •3.9 Основные параметры, передаваемые процессу
- •3.10 Сеансы и группы процессов
- •4 Взаимодействие процессов
- •4.1 Сигналы
- •4.1.1 Отправка (генерация) сигнала
- •4.1.2 Наборы сигналов
- •4.1.3 Блокировка сигналов
- •4.2 Неименнованные каналы (трубы)
- •4.2.1 Размер канала и взоимодействие процессов при передаче данных
- •4.3 Именнованные каналы
- •4.4 Дополнительные средства межпроцессного взоимодействия
- •4.5 Механизмы межпроцессорного взаимодействия
- •4.5.1 Очереди сообщений
- •4.5.2 Семафоры Семафоры как теоретическая конструкция
- •4.5.3 Разделяемая память
- •4.5.4 Потоки
- •Int pthread_setschedparam(pthread_t tid, int policy, const struct sched_param *param);
- •Int pthread_getschedparam(pthread_t tid, int policy, struct schedparam *param);
- •5 Операционные системы
- •5.1 Понятие операционной системы
- •5.2 Характеристики современных ос
- •5.2.1 Многопоточность
- •5.2.2 Распределенные ос
- •5.2.3 Концепция ос на основе микроядра
- •5.2.4 Функции микроядра.
- •5.3 Принципы построения ос
- •5.4 Концептуальные основы ос
- •5.4.1 Процессы
- •Модель работы процесса с двумя приостановочными состояниями
- •Варианты решения:
- •Решение задачи взаимного исключения. Алгоритм Деккера.
- •Решение задачи взаимного исключения. Алгоритм Пэтерсона..
- •Синхронизирующие примитивы (семафоры).
- •Задача “производитель-потребитель” Общие семафоры
- •Задача “производитель-потребитель”, буфер неограниченного размера(Спящий парикмахер)
- •Задача “производитель-потребитель”, буфер ограниченного размера
- •5.4.2 Распределение ресурсов. Проблема тупиков
- •Алгоритм банкира
- •Применение алгоритма банкира
- •5.4.3 Монитороподобные средства синхронизации
- •Механизм типа «критическая область»
- •5.4.4 Виртуализация
- •5.4.5 Подсистема управления памятью
- •5.4.6 Виртуальная оперативная память
- •5.5 Аппаратные особенности процессоров Intel-архитектуры, направленных на поддержку многозадачности
- •5.5.1 Сегментация памяти. Ia-32
- •5.5.2 Распределение памяти в реальном режиме
- •5.5.3 Организация защиты в процессоре
- •5.5.4 Поддержка многозадачности в процессорах архитектуры ia-32
5.4.6 Виртуальная оперативная память
Управление памятью представляет собой сложную связь между процессами и программными обеспечениями ОС. Под виртуальным пониманием такая реализация ОП, когда процесс может получить в расположение область памяти по размеру превышающий физическую память и при этом обеспечить многозадачный режим работы.
При таком взгляде на память, процесс представляет собой последовательность логических адресов, которые динамически транслируются в физические адреса во время выполнения. При этом процесс может быть разбит на несколько участков памяти, которые в физической памяти располагаются не последовательно.
Это реализовывается путем динамической трансляции адресов и использованием таблиц страниц и таблиц сегментов. Появляется две возможности: можно писать программы больше чем физическая основной память и может поддерживаться одновременное параллельное развитие большого числа процессов, каждый из которых представляется в программе небольшой участок кода.
При управлении виртуальной памятью решаются следующие задачи:
- размещение;
- перемещение;
- преобразование;
- замещение.
Задача размещения
Её сущность состоит в выборе в адресном пространстве ОП сегментов или страниц, на которые будут отображаться сегменты или страницы виртуального адресного пространства.
При решении этой задачи стараются выбрать максимально простой алгоритм распределения памяти. Алгоритм строится таким образом, чтобы уменьшить частоту его использования. Для учета свободных и распределенных страниц можно использовать двоичного вектора. Число двоичных разрядов вектора равно числу страниц ОП. Двоичные разряды нумеруются в той же последовательности, что и страницы. Если в разряде храниться 0 - это значит, что страница свободна и 1 - страница распределена. Если свободных страниц нет, а запрос на страницу поступает, то решается задача замещения и какую-то страницу перемещают во внешнюю память.
Задача перемещения
Ее назначение определить, когда страница из внешней памяти должна быть передана в основную память. Используется 2 основных варианта выборки информации во внешней памяти:
– по требованию;
– предварительно.
При выборке по требованию страница передается в основную только тогда, когда выполняется обращение к ячейке памяти, расположенной на этой странице. Когда процесс только запускается, число обращений к внешним страницам, распределенных во внешней памяти, достаточно велико, но постепенно начинает срабатывать принцип локализации, и все большее число обращений начинает происходить к уже загруженным страницам.
В случае предварительной выборки, загружается не только страница, вызвавшая прерывание. Если страница процесса расположена последовательно во внешней памяти, то бывает эффективной загрузка нескольких страниц за один раз. Предварительная выборка ориентирована на физическую организацию внешней памяти, и здесь учитываются такие факторы, как время поиска страницы и задержки, связанные с позиционированием устройств чтения. Это позволяет уменьшить число операций по перегрузке, так как обычно соблюдается свойство локальности.
Задача преобразования
Сущность данной задачи состоит в осуществлении перехода от логического к физическому адресу. Самый простой способ – это одноуровневая таблица. Ее недостатком является большой размер страниц.
Лог. адрес |
Физ. адрес |
1 |
100 |
2 |
70 |
3 |
215 |
4 |
23 |
5 |
47 |
|
|
Поэтому используют двухуровневые таблицы, где изначально реализовываются каталог, а потом уже и страницы.
Задача замещения
Целью этой задачи является выбор среди пространства ОП той страницы, которую следует переместить во внешнюю память. Задача решается, когда обнаруживается отсутствие страницы в ОП, а вместе с тем следует запрос на размещение новых страниц.
Первый, наиболее простой подход, заключается в остановке процесса, потребовавшего страницу ОП в ситуации, когда вся память распределена. В этом случае управление передается другому процессу, у которого нет требований на дополнительную память, а в отношении приостановленного процесса либо не принимается никаких действий, либо все его страницы выгружаются во внешнюю память. Недостаток этого подхода- дискриминации подвергается тот процесс, в ходе выполнения которого возникла потребность замещения.
Идеальная стратегия замещения: должна быть замещена та страница, к которой дольше всего не будет обращений в будущем.
Существуют следующие стратегии:
- для замещения выбирается страница случайным образом;
- выбирается страница, которая дольше всего была в ОП;
- FIFO (удаляется та страница, которая раньше всех была распределена какому-либо процессу). Фактически, это реализация предыдущей стратегии, но она может быть реализована для различных процессов;
- алгоритм удаления дольше всех неиспользовавшейся страницы. Если долго обращения к странице не было, следовательно, в будущем тоже не предвидится.
В простейшем случае, с каждой страницей для этой стратегии связывается бит использования. Этот бит установлен в 1 при обращении к странице, а способ сброса бита в 0 и определяет способы реализации данной стратегии.
Внастоящее время используется варианты «часового» алгоритма.
Имеется циклический буфер размерности n, в каждом элементе хранится номер страницы и бит использования. Бит использования установлен в 1, когда к странице произведено обращение, если при первой загрузке страницы в ОП. Указатель буфера указывает на последнюю замещенную страницу. Когда возникает вопрос решить задачу замещения, указатель перемещается на следующий элемент буфера. Если бит использования установлен в 0, то производится замещение соответствующей страницы. Если же окажется, что бит использования =1, то страница не замещается, бит использования устанавливается в 0, а указатель перемещается на следующий элемент буфера. Перемещение указателя осуществляется до тех пор, пока не будет обнаружена страница с 0 битом использования.
Повысить эффективность часового алгоритма можно путем увеличения количества используемых при его работе битов. Практически, во всех системах страничной организации со страницей связывается бит модификации. Этот бит указывает, что страница не может быть замещена до тех пор, пока её содержимое не будет переписано во внешнюю память. Соответственно может быть 4 комбинации битов использования и битов модификации:
N m
0 n:0-давно использован
0 1-недавно использован
1 m:0- не модифицирован
1 1- модифицирован
Сканируем буфер, начиная с текущего положения. В процессе сканирования бит использования не изменяется. Первая страница состояния (0,0) замещается.
Если такой страницы нет, то ищем страницу с параметром (0,1). Если такая страница найдена, она замещается. В процессе выполнения данного шага у всех проанализированных страниц сбрасывается бит использования.
Если такой страницы нет, значит, у всех страниц будет сброшен бит использования, указатель буфера вернется в исходное положение, затем повторяем шаг 1 и, при необходимости, 2.
Явление пробуксовки наблюдается тогда, когда ОП имеет небольшие размеры, а программы велики по размеру. В этом случае может возникнуть ситуация частого замещения страниц, и большая часть процессорного времени тратится на выполнение служебных функций. Следовательно, резко замедляется выполнение пользовательских программ.