Sr-7-wyk-2.0-Slajd20

Algorytm Suzuki-Kasami – wprowadzenie (2)

Przedawnione żądania są rozróżniane od bieżących w następujący sposób. Wiadomość typu ŻĄDANIE procesu Pj ma postać ŻĄDANIE(j , n ), gdzie n = 1,2 ,… jest liczbą porządkową, która wskazuje, że proces Pj żąda n-tego wykonania sekcji krytycznej. Proces Pi przechowuje tablicę liczb całkowitych RNi[1 .. N ], gdzie RNi[j ] jest największą liczbą porządkową otrzymaną do tej pory w żądaniu od procesu Pj . ŻĄDANIE(j , n ) otrzymane przez proces Pi jest przedawnione jeżeli RNi[j ]> n . Kiedy proces Pi otrzymuje ŻĄDANIE(j , n ), to zmienia RNi[j ]:= max(RNi[j ], n ).

<< Poprzedni slajd | Spis treści | Następny slajd >>