Algorytm Dekkera

Z Wikipedii

Algorytm Dekkera to pierwszy algorytm poprawnie rozwiązujący problem wzajemnego wykluczania się równolegle działających procesów. Tylko jeden z nich może w danej chwili wykonywać swoją sekcję krytyczną (zob. programowanie współbieżne).

[edytuj] Implementacja dla dwóch procesów działających równolegle

W pascalowej implementacji algorytmu korzysta się ze wspólnych dla procesów zmiennych: flag1, flag2 i turn, które oznaczają odpowiednio, że pierwszy proces chce korzystać z zasobów, drugi proces chce korzystać z zasobów, zmienna decyduje, który proces wchodzi do sekcji krytycznej w wypadku, gdy oba deklarują chęć korzystania. Na początku zmienne ustawione są następująco:

flag1 := false;
flag2 := false;
turn := 1; {(lub 2, bez większego znaczenia)}

Ponieważ kod wejścia i wyjścia z sekcji krytycznej dla procesu drugiego różni się odpowiednio numerami flag, poniżej podany jest jedynie kod dla procesu 1.

flag1 := true;
 
while(flag2 == true)
begin
   if(turn != 1)
   begin
       flag1 := false;
       while(turn != 1)
       begin
           //nie rób nic
       end;
       flag1 := true;
   end;
end;
 
//sekcja krytyczna
 
turn := 2;
flag1 := false;

[edytuj] Zobacz też

• sekcja krytyczna
• algorytmy mutex

[edytuj] Linki zewnętrzne

• Algorytm Dekkera