Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Билеты СППО.doc
Скачиваний:
19
Добавлен:
07.06.2015
Размер:
463.36 Кб
Скачать

2. Использование переменных-флажков, которые представляют собой признак, показывающий, не находится ли соответствующий ей процесс в своей критической секции.

Процедура инициализации

Первый процесс

Второй процесс

procedure INIT;

common boolean C1,C2 ;

begin

C1 := false ;

C2 := false ;

start(P1) ;

start(P2)

end INIT .

process P1;

common boolean C1,C2 ;

begin

while true do

begin

BEFORE1 ;

while C2 do ;

C1 := true ;

CS1 ;

C1 := false ;

AFTER1 ;

end

end P1 .

process P2;

common boolean C1,C2 ;

begin

while true do

begin

BEFORE2 ;

while C1 do ;

C2 := true ;

CS2 ;

C2 := false ;

AFTER2 ;

end

end P2 .

Перед входом в критическую секцию каждый процесс проверяет, не находится ли его конкурент в своей критической секции, если нет, то в процессе устанавливается признак (значение true соответствующего этому процессу флажка), что он вошел в критическую секцию (занял ресурс), а после выхода из критической секции этот флажок снова сбрасывается в false, освобождая ресурс. Однако в том случае, когда (хоть это и маловероятно) оба процесса одновременно подойдут к проверке значений флажков своих конкурентов перед входом в критическую секцию, они смогут пройти в нее одновременно. Таким образом, нарушается самое главное требование к реализации критической секции - требование взаимного исключения.

3.Алгоритм Деккера

Процедура инициализации

Первый процесс

Второй процесс

procedure INIT;

common boolean C1,C2 ;

common integer N ;

begin

C1 := false ;

C2 := false ;

N := 1 ;

start(P1) ;

start(P2)

end INIT .

process P1;

common boolean C1,C2 ;

begin

while true do

begin BEFORE1 ;

C1 := true ;

while C2 do

begin

if N = 2 then

begin

C1 := false ;

while N=2 do ;

C1 := true ;

end

end ;

CS1 ;

C1 := false; N := 2;

AFTER1 ;

end

end P1 .

process P2;

common boolean C1,C2 ;

begin

while true do

begin BEFORE2 ;

C2 := true ;

while C1 do

begin

if N = 1 then

begin

C2 := false ;

while N=1 do ;

C2 := true ;

end

end ;

CS2 ;

C2 := false; N:=1;

AFTER2 ;

end

end P2 .

Порядок входа в критическую секцию процессов, одновременно заявивших о своих намерениях получить доступ к общим данным, устанавливается с помощью целочисленной переменной, в которой фиксируется значение номера процесса, имеющего преимущество на вход в критическую секцию. Причем этот номер учитывается только в случае, когда процессы подошли к критической секции одновременно, то есть не будет нарушено условие, что процессы, не находящиеся в критической секции, не должны мешать другим процессам входить в их критические секции. После выхода из критической секции процесс передает очередь на преимущественный доступ к разделяемым данным своему конкуренту.

______________________________________________________________________________________