Добавил:

Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Национальный исследовательский университет «Высшая школа экономики»

Предмет:

[НЕСОРТИРОВАННОЕ]

Файл:

Презентации лекций по ТОИ / 18-Проблема взаимного исключения.pps

Скачиваний:

Добавлен:

02.06.2015

Размер:

1.72 Mб

Скачать

☆

<<< < Предыдущая 1 2 3 4 56 / 96 7 8 9 > Следующая >>>

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false

N := 1 ; start(P1) ;

start(P2) end INIT .

Первый процесс		Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE ;	begin BEFORE2 ;
Устанавливается порядок		C2 := true ;
Устанавливается порядок		while C1 do
входа в критическую секцию		begin
при возникновении		if N = 1 then
при возникновении		begin
конфликтной ситуации, когда		begin
конфликтной ситуации, когда		C2 := false ;
оба процесса параллельно		while N=1 do ;
заявляют о попытке войти в		C2 := true ;
свои критические секции		end
свои критические секции		end ;
1		CS2 ;
C1 := false; N := 2;		C2 := false; N:=1;
AFTER1 ;	end	AFTER2 ;
end	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P ) ;

Устанавливается порядок входа в критическую секцию при возникновении конфликтной ситуации, когда оба процесса параллельно заявляют о попытке войти в свои критические секции

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
end	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

Программные методы решения: вариант 5 – алгоритм Деккера

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

procedure INIT; common boolean C1,C2 ; common integer N ; begin

C1 := false ;

C2 := false ;

N := 1 ; start(P1) ;

Первый процесс	Второй процесс
process P1;	process P2;
common boolean C1,C2 ;	common boolean C1,C2 ;
begin	begin
while true do	while true do
begin BEFORE1 ;	begin BEFORE2 ;
C1 := true ;	C2 := true ;
while C2 do	while C1 do
begin	begin
if N ≠ 1 then	if N ≠ 2 then
begin	begin
C1 := false ;	C2 := false ;
while N=2 do ;	while N=1 do ;
C1 := true ;	C2 := true ;
end	end
end ;	end ;
CS1 ;	CS2 ;
C1 := false; N := 2;	C2 := false; N:=1;
AFTER1 ;	AFTER2 ;
	end
end P1 .	end P2 .

<<< < Предыдущая 1 2 3 4 56 / 96 7 8 9 > Следующая >>>

Соседние файлы в папке Презентации лекций по ТОИ

#
02.06.2015942.08 Кб6115-Файлы, внешняя сортировка.pps
#
02.06.20151.01 Mб4316-Динамика и поиск данных.pps
#
02.06.2015384.83 Кб3716-Динамика и поиск данных.ppsx
#
02.06.2015395.8 Кб3817-Поиск данных во внешней памяти.ppsx
#
02.06.2015395.8 Кб4617-Поиск данных во внешней памяти.pptx
#
02.06.20151.72 Mб4618-Проблема взаимного исключения.pps
#
02.06.2015416.26 Кб3718-Проблема взаимного исключения.ppsx
#
02.06.20151.09 Mб5019-Проблема тупика.pps
#
02.06.2015325.85 Кб3719-Проблема тупика.ppsx
#
02.06.2015538.62 Кб562-Представление и кодирование информации.pps
#
02.06.2015991.74 Кб403-Понятие алгоритма, способы записи алгоритмов.pps