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