 |
Взаимодействие между процессами
|
|
|
|
Ситуации, когда приходится процессам взаимодействовать:
· Передача информации от одного процесса другому
· Контроль над деятельностью процессов (например: когда они борются за один ресурс)
· Согласование действий процессов (например: когда один процесс поставляет данные, а другой их выводит на печать. Если согласованности не будет, то второй процесс может начать печать раньше, чем поступят данные).
Два вторых случая относятся и к потокам. В первом случае у потоков нет проблем, т.к. они используют общее адресное пространство.
Передача информации от одного процесса другому
Передача информации может осуществляться несколькими способами:
· Разделяемая память
· Каналы (трубы), это псевдофайл, в который один процесс пишет, а другой читает.
· Сокеты - поддерживаемый ядром механизм, скрывающий особенности среды и позволяющий единообразно взаимодействовать процессам, как на одном компьютере, так и в сети.
· Почтовые ящики (только в Windows), однонаправленные, возможность широковещательной рассылки.
· Вызов удаленной процедуры, процесс А может вызвать процедуру в процессе В, и получить обратно данные.
Схема для канала
Схема для сокетов
Состояние состязания
Состояние состязания - ситуация когда несколько процессов считывают или записывают данные (в память или файл) одновременно.
Рассмотрим пример, когда два процесса пытаются распечатать файл. Для этого им нужно поместить имя файла в спулер печати, в свободный сегмент.
in - переменная указывающая на следующий свободный сегмент
out - переменная указывающая на следующее имя файла для печати
Пример состязания
Распишем события по пунктам.
1. Процесс А считывает переменную in (равную 7), и сохраняет ее в своей переменной next_free_slot.
|
|
|
2. Происходит прерывание по таймеру, и процессор переключается на процесс В.
3. Процесс В считывает переменную in (равную 7), и сохраняет ее в своей переменной next_free_slot.
4. Процесс В сохраняет имя файла в сегменте 7.
5. Процесс В увеличивает переменнуюnext_free_slot на единицу (next_free_slot+1), и заменяет значение in на 8.
6. Управление переходит процессу А, и продолжает с того места на котором остановился.
7. Процесс А сохраняет имя файла в сегменте 7, затирая имя файла процесса В.
8. Процесс А увеличивает переменнуюnext_free_slot на единицу (next_free_slot+1), и заменяет значение in на 8.
Как видно из этой ситуации, файл процесса В не будет напечатан.
Критические области
Критическая область - часть программы, в которой есть обращение к совместно используемым данным.
Условия избегания состязания и эффективной работы процессов:
1. Два процесса не должны одновременно находиться в критических областях.
2. Процесс, находящийся вне критической области, не может блокировать другие процессы.
3. Невозможна ситуация, когда процесс вечно ждет (зависает) попадания в критическую область.
Пример:
Взаимное исключение с использованием критических областей
Взаимное исключение с активным ожиданием
Рассмотрим методы взаимного исключения
Запрещение прерываний
Заключается в запрещении всех прерываний при входе процесса в критическую область.
Недостаток этого метода в том, что если произойдет сбой процесса, то он не сможет снять запрет на прерывания.
Переменные блокировки
Вводится понятие переменной блокировки, т.е. если значение этой переменной равно, например 1, то ресурс занят другим процессом, и второй процесс переходит в режим ожидания (блокируется) до тех пор, пока переменная не примет значение 0.
метод блокирующих переменных
Проблема, как и с процессом печати, после того как первый процесс считает 0, второй может занять процессор и тоже считать 0. Заблокированный процесс находится в режиме активного ожидания, постоянно проверяя, не изменилась ли переменная блокировки.
|
|
|
Строгое чередование
В этой модели, процессы могут выполняться строго по очереди, используя переменную.
Строгое чередование
Недостатки метода:
· Заблокированный процесс постоянно находится в цикле, проверяя, не изменилась ли переменная.
· Противоречит третьему условию, когда процесс, находящийся вне критической области, может блокировать другие процессы.
Существуют еще алгоритмы с активным ожиданием (алгоритм Петерсона, команда TSL), но у всех них есть общий недостаток - расходуется бесцельно время процессора на циклы проверки изменения переменной.
|
|
|
