Pr-1st-1.1-m07-Slajd30

Niedeterminizm przetwarzania rozproszonego

Na slajdzie tym widzimy różne realizacje przetwarzania rozproszonego klient-serwer jako wynik nieprzewidywalnych czasów transmisji. Są na nim przedstawione dwa procesy użytkowe $P_1$ i $P_2$, żądające realizacji usługi przez dwa serwery $P_3$ i $P_4$ . Proces $P_4$ jest przy tym repliką procesu $P_3$. Przyjmijmy ponadto, że dla prawidłowego działania procesów użytkowych muszą one korzystać z obu serwerów w trybie wzajemnego wykluczania. Aby to osiągnąć, każdy z procesów $P_1$ i $P_2$ wysyła komunikaty zawierające żądania, odpowiednio do obu serwerów, w celu uzyskania wyłącznego do nich dostępu. Ponieważ zdarzenia wysyłania żądań są współbieżne, a kanały wnoszą nieprzewidywalne opóźnienia, żądania mogą dotrzeć do serwerów w różnej kolejności. Jeśli przyjmiemy jeszcze, że procesy $P_1$ i $P_2$ mogą kontynuować działanie dopiero po otrzymaniu potwierdzeń od oby procesów $P_3$ i $P_4$, skutki niedeterminizmu transmisji mogą być bardzo istotne.

Na górnej części rysunku, w chwili ${\tau }_1$ (po zakończeniu przesyłania wszystkich wiadomości) został osiągnięty pewien stan $\mathrm{\Sigma }({\tau }_1)$. w którym proces $P_1$ może kontynuować działanie, a proces $P_2$ oczekuje na zwolnienie serwerów przez $P_1$. Stan ten można uznać za poprawny. Natomiast w dolnej części rysunku widzimy osiągnięcie pewnego stanu $\mathrm{\Sigma }({\tau }_2)$, w którym proces $P_1$ otrzymał potwierdzenie od $P_3$, a proces $P_2$ otrzymał potwierdzenie od $P_4$. Dla każdego z procesów $P_1$ i $P_2$ z osobna, otrzymane potwierdzenia nie są wystarczające do kontynuacji działania i dalej zwolnienia potwierdzonych serwerów. Zauważmy też, że jeżeli inne, zewnętrzne w stosunku do $P_1$, $P_2$, $P_3$ i $P_4$, procesy nie wymuszą na $P_1$ lub $P_2$ zwolnienia serwerów, to wówczas zarówno serwery jak i procesy żądające usług pozostaną trwale zablokowane. W rozważanym przykładzie, wykrycie wystąpienia stanu $\mathrm{\Sigma }({\tau }_2)$ odpowiadającego trwałej blokadzie wszystkich procesów, miałoby na celu zainicjowanie specjalnych działań prowadzących do osiągnięcia stanu, w którym dalsze poprawne przetwarzanie byłoby możliwe.

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