Pr-1st-1.1-m05-Slajd15

Przykłady zakleszczeń

Dla ilustracji wprowadzonych definicji rozważmy przykład środowiska rozproszonego, składającego się z węzłów $N_1$, $N_2$, $N_3$, $N_4$ i $N_5$. Rozproszone przetwarzanie aplikacyjne obejmuje procesy $P_1$, $P_2$, $P_3$, $P_4$ i $P_5$. wykonywane w odpowiednich węzłach środowiska. Grafy na kolejnych slajdach przedstawiają tzw. grafy oczekiwanych potwierdzeń, oznaczane przez WFG (ang. Wait-For-Graph). Graf WFG jest grafem zorientowanym, którego wierzchołki reprezentują procesy, a łuki $⟨P_i,P_j⟩$ reprezentują fakt, że proces $P_i$ oczekuje na wiadomość od procesu $P_j$. Oczywiście każdy proces w grafie WFG z łukiem wychodzącym jest pasywny. Procesy bez łuków wychodzących są natomiast aktywne. W rozważanym przykładzie załóżmy ponadto, że wszystkie kanały są puste.

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