Pr-1st-1.1-m05-Slajd25

Model aplikacyjnego przetwarzania rozproszonego

W wielu zaproponowanych dotychczas algorytmach detekcji zakleszczenia przyjmuje się, że procesy aplikacyjne $P_i$ wysyłają jawnie żądanie przydziału zasobów w formie wiadomości typu REQUEST do procesów tworzących zbiór warunkujący ${{𝒟}}_i$ i oczekują w stanie pasywnym na wiadomości typu GRANT potwierdzające przyznanie żądanych zasobów. Gdy do $P_i$ dotrze odpowiedni zbiór wiadomości typu GRANT, proces aplikacyjny staje się aktywny i wysyła wiadomość typu CANCEL, do pozostałych procesów ze zbioru warunkującego (od których nie odebrał GRANT), w celu wycofania (unieważnienia) wcześniej wysłanego żądania. Po wykorzystaniu zasobu, proces aplikacyjny może sygnalizować jego zwolnienie przez wysłanie wiadomości typu RELEASE do procesu zarządzającego przydziałem zasobów.

Przy takim modelu aplikacyjnego przetwarzania rozproszonego stan globalny może być, jak już wspomniano, reprezentowany przez graf oczekiwanych potwierdzeń WFG (ang. Wait-For-Graph), w którym wierzchołki odpowiadają procesom $P_i$ a łuki $⟨P_i,P_j⟩$ reprezentują fakt, że proces $P_i$ wysłał już żądanie do $P_j$, lecz ani nie otrzymał jeszcze potwierdzenia GRANT, ani też nie wysłał wiadomości typu CANCEL. W tym kontekście zbiór warunkujący ${{𝒟}}_i$ jest więc zbiorem tych wszystkich procesów $P_j$, do których $P_i$ wysłał żądanie REQUEST i ani nie zaniechał tego żądania (wysyłając następnie wiadomość CANCEL), ani też nie otrzymał potwierdzenia GRANT.

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