Pr-1st-1.1-m05-Slajd15: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
m Zastępowanie tekstu – „ </math>” na „</math>” |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 7: | Linia 7: | ||
<math>P_1</math>, <math>P_2</math>, <math>P_3</math>, <math>P_4</math> i <math>P_5</math>. | <math>P_1</math>, <math>P_2</math>, <math>P_3</math>, <math>P_4</math> i <math>P_5</math>. | ||
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 | 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 | ||
<math> \left \langle P_i, P_j \right \rangle</math> reprezentują fakt, że proces <math>P_i</math> oczekuje na wiadomość od procesu <math>P_j</math>. | <math>\left \langle P_i, P_j \right \rangle</math> reprezentują fakt, że proces <math>P_i</math> oczekuje na wiadomość od procesu <math>P_j</math>. | ||
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. | 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. | ||
[[Pr-1st-1.1-m05-Slajd14 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd16 | Następny slajd >>]] | [[Pr-1st-1.1-m05-Slajd14 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd16 | Następny slajd >>]] | ||
Aktualna wersja na dzień 22:16, 11 wrz 2023
Przykłady zakleszczeń
Dla ilustracji wprowadzonych definicji rozważmy przykład środowiska rozproszonego, składającego się z węzłów , , , i . Rozproszone przetwarzanie aplikacyjne obejmuje procesy , , , i . 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 reprezentują fakt, że proces oczekuje na wiadomość od procesu . 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.
