λ
inst
»1;
// Семафор операций:
Sem = (lockR, T).SemR1 + (lockW, T).SemW
1
;
SemR
1
= (lockR, T).SemR
2
+ (unlockR, T).Sem;
SemR
i
= (lockR, T).SemR
i
+1
+ (unlockR, T).SemR
i
−
1
; // 1<i<N
par
SemR
Npar
= (unlockR, T).SemR
Npar
−
1
;
SemW
1
= (unlockW, T).Sem;
// описание внутренних операций
SearchText = (beginSearchText,
λ
inst
).(lockR,
λ
inst
).
(search, T ).
(searchText, T ).
(prepareResult,
λ
pr - text
).
(unlockR,
λ
inst
).(endSearchText,
λ
inst
).SearchText;
Search = (beginSearch,
λ
inst
).(lockR,
λ
inst
).
(search, T ).
(prepareResult,
λ
pr - field
).
(unlockR,
λ
inst
).(endSearch,
λ
inst
).Search;
Clear = (beginClear,
λ
inst
).(lockR,
λ
inst
).
(clear,
λ
clear
).
(unlockR,
λ
inst
).(endClear,
λ
inst
).Clear;
Read = (beginRead,
λ
inst
).(lockR,
λ
inst
).
(read,
λ
read
).
(unlockR,
λ
inst
).(beginRead,
λ
inst
).Read;
Add = (beginAdd,
λ
inst
).(lockW,
λ
inst
).
(add,
λ
add
).
(unlockW,
λ
inst
).(endAdd,
λ
inst
).Add;
Change = (beginChange,
λ
inst
).(lockW,
λ
inst
).
(change,
λ
change
).
(unlockW,
λ
inst
).(beginChange,
λ
inst
).Change;
Del = (beginDel,
λ
inst
).(lockW,
λ
inst
).
(del,
λ
del
).
(unlockW,
λ
inst
).(endDel,
λ
inst
).Del;
AddTrQueue =(beginAddTrQueue,
λ
inst
).(lockR,
λ
inst
).
(addQueue,
λ
queue
).
(unlockR,
λ
inst
).(endAddTrQueue,
λ
inst
).Commit;
104 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2007. № 3
