Семафор – защищенная переменная, значение которой можно опрашивать и изменять только при помощи специальных операций p() и v() (проверка и увеличение соотв.); начальное значение – число единиц ресурсов.
P(s)-> s=s-1
V(s)-> s=s+1
Алгоритм реализации p и v.
P: При вызове ф-ция проверяет значение s: если s>0, то s=s-1, иначе текущую задачу ставим в конец списка блокированных.
V: Выполняется проверка 
: да – S=S+1
Нет - S=S+1, взять первую задачу из списка блокированных и удалить ее оттуда, пометив как готовую.
Операции, определенные над семафорами с учетом вышеизложенного:
-
Семафор может быть инициализирован неотрицательным значением. -
Операция P уменьшает значение семафора. Если это значение становится отрицательным, процесс, выполняющий операцию Р, блокируется. -
Операция V увеличивает значение семафора. Если это значение не положительно, то заблокированный операцией Р процесс деблокируется.