Синхронизирующие объекты в операционных системах.

Рассмотренные выше средства синхронизации всем хороши, только не подходят для синхронизации работы разных потоков (не процессов).

 

Для этой цели применяются специальные синхронизирующие объекты:

- системные семафоры

- мьютексы

- события таймера и тд

 

Работа с синхронизирующими объектами похожа на работу с файлами: их можно открывать, закрывать, создавать, уничтожать.

Кроме спецобъектов, для синхронизации могут быть использованы обычные объекты ОС – файлы, процессы, потоки.

 

Объект синхронизации может находиться в двух состояниях:

· Сигнальное

· Несигнальное

 

Смысл слова «сигнальное» разный для разных объектов (для потока – завершение, для процесса – завершение всех потоков, для файла – завершение всякого ввода-вывода).

 

С помощью специального системного вызова потоки сообщают ОС, что они хотят синхронизировать свое состояние с определенным ОБЪЕКТОМ СИНХРОНИЗАЦИИ:

Wait(X), где Х – объект синхронизации. Поток, который сделал такой вызов переводится осью в ожидающее состояние, пока объект Х не перейдет в сигнальное состояние.

 

Чтобы перевести Объект синхронизации в сигнальное состояние, используется другой системный вызов: Set(X);

 

Поток может ждать сигнального состояния не одного объекта, а нескольких, причем либо всех из них, либо любого из них. Также можно задать Оси время, через которое она должна активизировать поток в любом случае, вне зависимости от состояния объекта синхронизации.

 

Примеры:

· Основной поток создает множество серверных потоков и должен дождаться их завершения – надо сделать wait(x1, x2 и тд).

· Один поток активизируется после завершения другого: надо каждый раз делать wait(предыдущий поток);

 

Такие неспецифические объекты синхронизации при переходе в сигнальное состояние активизируют ВСЕ ожидающие потоки, что может быть нужно не всегда.

 

Иногда надо другое поведение: тогда используются специальные объекты синхронизации: события, мютексы, системные семафоры.

 

Мютекс и семафор используются для управления доступом к данным.

Мютекс освобождает из очереди только ОДИН поток. Когда поток начинает работу он как бы захватывает мютекс, а по завершении работы – отдает мютекс.

 

Объект-событие используется для оповещения других потоков о том, что какие-то действия завершены (например, потоки ждут, пока один поток читает данные в буфер памяти.) В начале работы поток-читатель устанавливает объект-событие в несигнальное состояние. Все ждущие потоки поставили wait(поток-событие). После завершения работы поток-читатель переводит объект-событие в сигнальное состояние, и ОС освобождает все ждущие именно этих данных потоки.

18. Подсистема управления памятью. Функции ОС по управлению памятью. Методы распределения памяти (фиксированные разделы, динамические разделы, сегментная, страничная, сегментно-страничная структуризация адресного пространства, свопинг, виртуальная память). Организация виртуальной памяти, преобразование адреса. Обмен данными между процессами на основе виртуальной памяти.

Функции ОС по управлению памятью в мультипрограммной среде:

· Отслеживание свободной и занятой памяти

· Выделение памяти процессам и освобождение по их завершении

· Вытеснение кодов и данных с памяти на диск (полное или частичное) когда памяти не хватает и возвращение их обратно, когда ее достаточно

· Настройка адресов программы на конкретную область физической памяти.

· Динамическое распределение памяти между процессами (выполнение запросов приложений на выделение им дополнительной памяти)

· Дефрагментация памяти

· Защита памяти

Методы распределения памяти

Разные ОС по-разному распределяют память между процессами

Методы распределения памяти можно разделить на:

- без использования внешней памяти

- фиксированными разделами

- динамическими разделами

- перемещаемыми разделами

- с использованием внешней памяти

- страничное распределение

- сегментное распределение

- сегментно-страничное распределение

 

Фиксированные разделы

Наиболее простой и примитивный способ распределения памяти. Во время старта или загрузки системы память разбивается на разделы фиксированной величины, после чего границы разделов не сдвигаются.

 

Новый процесс поступает либо в общую очередь, либо в очередь конкретного раздела.

Система:

- сравнивает требуемый объем памяти с памятью раздела

- загружает программу в один из разделов и настраивает адреса

 

Недостаток системы:

- жесткость

- уровень мультипрограммирования заранее ограничен числом разделов

- невозможно выполнить прогу, которая больше самого большого раздела

 

Все же используется в системах реального времени, т.к. там детерминированность компенсирует недостаточную гибкость.

 

Динамические разделы

 

· Память изначально свободна и не разбита на разделы

· При поступлении процесса на исполнение ей выдается столько памяти, сколько нужно, если памяти не хватает, то процесс не исполняется

· После завершения процесса память освобождается

 

ОС должна:

- вести таблицы свободных и занятых областей

- анализировать требования к памяти при создании нового процесса, подыскивать ему незанятую область

- загружать процесс в выделенный ему раздел, корректировать таблицы

- корректировать таблицы после завершения процесса

 

Плюсы:

- гибче

Минусы – фрагментация памяти.

Так организована память в ОС/360

 

Перемещаемые разделы

Выделение памяти перемещаемыми разделами призвано решить проблему фрагментации. Суть его – сжатие, то есть перемещение всех занятых участков в сторону старших или младших адресов, чтобы вся свободная память собралась в одном месте.

 

Ко всем функциям, исполняемым ОС в динамических разделах, добавляется сжатие, которое должно производиться:

- либо при каждом завершении процесса

- либо когда для нового процесса не хватает места.

 

Физические адреса здесь постоянно меняются, поэтому перемещающий загрузчик для их настройки использовать нельзя, нужно динамическое преобразование адресов.

 

Минусы:

- затраты времени