Обмен сообщениями между процессами

STI

Пример:

1)-3)

Счетчик семафора = 1 (начальное состояние)

P3

P1 P2 P3

P2

захв_семаф захв_сем захв_сем

	Критический участок

4)

осв_сем осв_сем осв_сем

1) P1: сч_сем = 0; P1 – в критический участок

P3

2) P2: сч_сем = -1; P2 – в очередь семафора

3) P3 сч_сем = -2; P3 – в очередь семафора

4) P1 – закончился; сч_сем = -1; P2 – из очереди семафора в критический участок

5) P2 – закончился; сч_сем = 0; P3 – из очереди семафора в критический участок

6) P3 – финишировал; сч_сем = 1; код программы закончил свою работу

Примечание: в этой конструкции значение сч_сем = 1 – эквивалентно тому, что очередь семафора пуста, а критический участок – свободен.

Примитивы сообщения;

Самый медленный способ.

Придерживается следующих функций:

а) синхронизация медленных и быстрых устройств;

б) обмен сообщениями между процессами (подпрограммами).

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

Именно буфер выступает в качестве синхронизации между устройствами и вычислительной системой.

Буфер «кольцевая очередь (см. курс СиАОЭДЭВМ).

Достоинства:

+ операции чтения и записи можно разделить по времени (что приводит к синхронизации).

Недостаток:

- любой буфер является фиксированным.

Устранение недостатка:

а) содержать в буфере дескриптор очереди, а не сами данные, что уменьшает информативность;

б) дополнить соответствующими динамическими очередями (правда это снизит скорость обработки).

Этот обмен обеспечивается посредством т.н. почтового ящика. Главное требование – доставка соответствующему адресату (причем правильная доставка).

Протокол (требования):

1. прием/передача сообщений на пользовательском уровне должны выглядеть как вызовы процедур чтения/записи;

2. при обращении к процедуре чтения сообщения в случае его отсутствия процесс приостанавливается и ждет появления сообщения;

3. при обращении к процедуре записи сообщения и отсутствии процесса, ждущего это сообщение, последнее становится в очередь;

4. процесс, передающий сообщение, приостанавливается и ждет подтверждения.

По сути дела почтовый ящик – набор очередей.

Почтовый ящик – объект, который в качестве данных содержит:

- очер_сообщ, ожидающую процессы;

- очер_проц, ожидающую сообщения;

- очер_проц, ждущих подтверждения.

Методы: чтение/запись.

Дата добавления: 2013-12-13