Синхронизация процессов

Семафор имеет некоторое начальное значение и две операции P и V. Операция P уменьшает на 1 значение семафора, если он не равен 0. Иначе процесс ожидает (с блокировкой или без нее), пока значение семафора не станет отличным от 0. V - операция увеличивает на 1 значение семафора. Операции проверки и изменения значения переменной являются неделимыми. В нашей модели эти операции (с циклическим ожиданием) выглядят следующим образом (Заметим, что явное переключение процессов - в данном случае вещь чисто техническая и не принципиальная, предназначенная для более быстрой реакции нужных процессов по произошедшим событиям).

void P(int *sem)
{while(1)
{ RUN++; // " Критическая секция"

if (*sem!=0) // Уменьшить ненулевой семафор и выйти

{ (*sem)--; RUN--; return; }
else // Повторить (с переключение процессов)

{ RUN--; NOCLOCK++;
geninterrupt(TIMVEC);