семафор, на котором ожидает “Субъект 2”, поскольку для этого ему
нужно дождаться ситуации, когда “Субъект 2” освободит семафор, на
котором ожидает “Субъект 1”; “Субъект 2” находится в аналогичной
ситуации. Таким образом, оба субъекта перешли в состояние ожида-
ния, из которого они не могут быть выведены никакими действиями
других субъектов (если бы они были в системе), таким образом, оба
субъекта находятся в ситуации взаимной блокировки.
Разделяемые ресурсы.
Разделяемые ресурсы присутствуют в пред-
ложенной модели неявно. Они определяются совокупностью средств
синхронизации, обеспечивающих синхронный доступ субъектов к раз-
деляемым ресурсам.
Исключающие семафоры.
Введем понятия локального и глобаль-
ного времени. Локальное время вводится для каждого пути выполне-
ния каждого из субъектов системы в целях отображения последова-
тельности смены состояний субъекта при прохождении им этого пути.
Множество значений, принимаемых локальным временем на пути вы-
полнения, является конечным, поскольку число различных состояний
субъекта на пути выполнения также конечно. Порядок моментов ло-
кального времени индуцирован порядком следования состояний во
время прохождения субъектом пути выполнения. Моменты локально-
го времени будем обозначать
τ
(
S
i
, O
k
), где
S
i
— обозначает номер
субъекта (каждый субъект в системе обладает уникальным номером,
введенным с целью различать субъекты),
O
k
— обозначает оператор,
который в данный момент выполнен субъектом;
τ
(
S
i
, U
k
) означает, что
i
-й субъект в данный момент времени освободил
k
-й исключающий
семафор. Между локальными моментами времени существует есте-
ственные операции сравнения, обусловленные порядком смены субъ-
ектом состояний во время реализации им данного пути выполнения.
Поясним определение примером: рассмотрим систему на рис. 1.
Система состоит из двух субъектов
S
1
и
S
2
, запишем для них пути
выполнения в терминах локального времени:
τ
(
S
1
,
0)
< τ
(
S
1
, L
1
?)
< τ
(
S
1
, L
1
!)
< τ
(
S
1
, L
2
?)
<
< τ
(
S
1
, L
2
!)
< τ
(
S
1
, U
2
)
< τ
(
S
1
, U
1
)
< τ
(
S
1
,
0)
,
τ
(
S
2
,
0)
< τ
(
S
2
, L
2
?)
< τ
(
S
2
, L
2
!)
< τ
(
S
2
, L
1
?)
<
< τ
(
S
2
, L
1
!)
< τ
(
S
2
, U
1
)
< τ
(
S
2
, U
2
)
< τ
(
S
2
,
0)
.
Символ “0” вместо оператора взаимодействия означает состояние
покоя и завершенное состояние. Символ “?” при операторе
L
i
означает,
что субъект в данный момент времени предпринимает попытку захвата
исключающего семафора. Символ “!” при операторе
L
i
означает, что
захват успешно выполнен и субъект может продолжать дальнейшее
114
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2012
1,2 4,5,6,7,8,9,10