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 $\left\langle P_{i},P_{j}\right\rangle$ 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 >>