5. Ответ всем запросившим.
Обозначение: while W"COUNT>0 then
accept w(...) do....end
6. Фиксированный порядок с использованием атрибута входа "count.
w"COUNT определяет число задач ожидающих рандеву по входу w.
Обозначение: if W"COUNT>0 then
begin accept W(...) do....end
w-proc
end
accept r(...) do...end
r-proc
Достоинства: нет ожидания вызова входа в случае отсутствия обращений к нему.
Недостаток: возможны потери вызовов при условии, что вызывающая задача использует механизм условного или временного вызова.
Таким образом возможно 15 вариантов парных взавитмодействий при этом некоторые из них следует применять крайне осторожно, или вовсе избегать их применения.
Логика асинхронных взаимодействий.Доступ к переменн-
ным состояния и событиям
Состояние S
Событие dS, dnotS
Доступ к переменной состояния
Ожидание состояния
Ожидание события
Сложные условия
Моделирования классических механизмов взаимодействия
средствами обменов
Моделирование PV-примитивов
Почтовый ящик
Приоритетное обслуживание точек входа
Моделирование конструкции ParBlock
Асинхронное управление заданиями с откликами
Обработка событий с откликами
Доступ к нескольким ресурсам
task PVS is
entry Pr( in RR: ЗапросРесурсов);
entry P1;
{для каждой внешней задачи}
entry Pn;
entry V1;
{для каждого ресурса}
entry Vm;
end
task body PVS is
loop
begin
select
accept Pr
begin
TNum := NumTask;
RT[NumTask] := RR;
end
or when TYes(1) then
accept P1 begin end
{для каждой точки Pi}
or when TYes(1) then
accept P1
begin
{предоставление ресурсов задаче 1}
end
or accept V1
begin
{освобождение ресурса 1}
end
{для каждого ресурса }
or accept Vm
begin
{освобождение ресурса m}
end
end select
end loop
end body
Примеры конструирования логики с использованием асинхронных взаимодействий
Последовательность раэработки логики следующая:
раэрабатывается схема вэаимодействия эадач с описанием предоставляемых и испольэуемых точек входа;
для кажной эадачи раэрабатывается автоматная модель, в уравнения переходов которой включены имена вызываемых точек входа беэ параметров, а вкачестве состояний могут операторы запроса и ответа.
Ниже представлен пример раэработки логики с испольэованием средств взаимодействия эадач.
Раздел 3. Анализ проектных решений ИУС
См. [1]
Логический анализ структур ИУС
Типизированные множества и отношения.Основные
операции
A r1 B B r2 C = A r12 C a r12 c = Э b B a r1 b and b r2 c
A r1 B (A r2 B)t = A r12 A ai r12 bj = Э b B ai r1 b and b r2 cj
A r1 A (A r2 A)t = A r12 A ai r12 aj = Э a A ai r1 a and aj r2 a
A r1 A A r2 A = A r12 A ai r12 aj = Э a A ai r1 a and a r2 aj
A r1 B (A r1 B)t = A r12 A ai r12 aj = Э b B ai r1 b and aj r2 b
A r1 A A r1 A = A 2r2 A = (A r1 A)**2 ai 2r1 aj = Э a A ai r1 a and a r2 aj
A r1 A (A r1 A)t = A r11 A ai r11 aj = Э a A ai r1 a and aj r2 a
(A r1 A)t A r1 A = A r11 A ai r11 aj = Э a A a r1 ai and a r1 aj
