Мы уже встречали условное предложение
Мы уже встречали условное предложение в форме:
if условие
then оператор
Теперь мы будем использовать такую форму:
if условие 1
and условие 2
then оператор
которая означает, что оператор S будет выполнен, если только "условие 1" и "условие 2" удовлетворяются оба. (Хотелось бы еще раз подчеркнуть, что эта глава не является руководством по программированию на АЛГОЛе и приведенные выше (нестрогие!) объяснения элементов АЛГОЛа даются только для того, чтобы сделать излагаемый материал возможно более самостоятельным.) С помощью только что бегло очерченных изобразительных средств мы можем записать наше решение для фиксированного значения N следующим образом:
begin integer array b, с[0 : N],
integer очередь;
for очередь := 0
step 1
until N
do
begin b[очередь] := 1; с[очередь] :=1
end; очередь := 0;
parbegin
процесс 1:
begin ...............
end; процесс 2:
begin ...............
end; . . . процесс N:
begin ...............
end;
parend
end
В первой строчке вводится два массива с N + 1 элементом каждый; во второй вводится простая переменная "очередь". При выполнении следующего далее цикла переменная "очередь" принимает последовательно значения 0, 1, 2, 3, ..., N, так что элементы обоих массивов получают начальные значения, равные "1". Затем "очередь" устанавливается в "0" (т. е. ни один из процессов, пронумерованных от 1 до N, не поставлен в особые условия). После этого все N процессов начинают одновременно выполняться.
Все N процессов подобны. Структура i-го процесса такова (1
i
N) :
процесс i: begin integer 3; Ai: b[i] := 0; Li: if очередь
i then
begin с[i] := 1; if b[очередь] = 1 then очередь := i; goto Li end; c[i] :=0; for j:= 1 step 1 until N do
begin if j=/=1 and с[j] = 0 then goto Li end; критический интервал i; очередь :=0; с[i]:=1; b[i]:=l; остаток цикла i; goto Ai end
Начало Назад Вперед
Forekc.ru
Рефераты, дипломы, курсовые, выпускные и квалификационные работы, диссертации, учебники, учебные пособия, лекции, методические пособия и рекомендации, программы и курсы обучения, публикации из профильных изданий