Процесс обозначает поведение объекта. Для описания поведения объекта используют алфавит имен событий. Имена событий обозначаются словами, составленными из строчных букв.  Имена кокоентных процессов обозначаются словами, составленными из прописных букв. Буквами P, Q, R обозначают произвольные процессы. Буквы X, Y, Z используются для переменных, обозначающих события. Буквы A, B, C используются для обозначения множества событий. Буквы X, Y использу4ются для переменных обозначающих процессы.

Тема 4. Взаимодействие процессов

       Вопрос 5.Семафоры и тупики

Обобщающее средство синхронизации процессов предложил Дейкстра, который ввел два новых примитива. В абстрактной форме эти примитивы, обозначаемые P и V, оперируют над целыми неотрицательными переменными, называемыми семафорами. Пусть S такой семафор. Операции определяются следующим образом:

V(S) : переменная S увеличивается на 1 одним неделимым действием; выборка, инкремент и запоминание не могут быть прерваны, и к S нет доступа другим процессам во время выполнения этой операции.

P(S) : уменьшение S на 1, если это возможно. Если S=0, то невозможно уменьшить S и остаться в области целых неотрицательных значений, в этом случае процесс, вызывающий P-операцию, ждет, пока это уменьшение станет возможным. Успешная проверка и уменьшение также является неделимой операцией.