То (разрешить одному из этих процессов продолжить работу)

иначе S:= S + 1

 

Мы будем предполагать, что очередь процессов, ожидающих на S, обслуживается в соответствии с дисциплиной "первый пришед­ший обслуживается первым" (FIFO).

Подобно операции проверки и установки testandset, операции Р и V являются неделимыми.

Участки взаимоисключения по сема­фору S в процессах обрамляются операциями P(S) и V(S).

Если од­новременно несколько процессов попытаются выполнить операцию P(S), это будет разрешено только одному из них, а остальным при­дется ждать.

Семафоры и операции над ними могут быть реализованы как программно, так и аппаратно. Как правило, они реализуются в ядре операционной системы, где осуществляется управлениесме­ной состояния процессов.

На рис. 4.9 приводится пример того, каким образом можно обеспечить взаимоисключение при помощи семафоров.

Здесь при­митив Р (активный) – эквивалент для "входвзаимоисключения",

примитив V (активный) – для "выходвзаимоисключения".

program примерсемафораодин;

var активный: семафор;

procedure процессодин;

Begin

while истина do

Begin

предшествующиеоператорыодин;

Р(активный);

критическийучастокодин;

V (активный);

прочиеоператорыодин

End

End;

procedure процессдва;

Begin

while истина do

Begin

предшествующиеоператорндва;

Р(активный);

критическийучастокдва;

V (активный);

прочиеоператорыдва

End

End;

Begin

инициализациясемафора(активный,1),

Рис. 4.9Обеспечение взаимоисключения при помощи семафора и примитивов Р и V.

parbegin

процессодин;

процессдва

Parend

Ends