Pr-1st-1.1-m05-Slajd20: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
==Klasyfikacja problemów detekcji | ==Klasyfikacja problemów detekcji zakleszczenia== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd20.png|Klasyfikacja problemów detekcji zakleszczenia]] | ||
Ogólnie rzecz ujmując, problem detekcji zakleszczenia przetwarzania rozproszonego sprowadza się do wyznaczenia (oceny) wartości predykatu <math>deadlock(\mathcal{B})</math> przez grupę kooperujących monitorów. Monitory <math>Q_i</math>, podobnie jak procesy składowe <math>P_i</math> przetwarzania rozproszonego, działają w asynchronicznym środowisku rozproszonym. Właściwości tego środowiska stanowią podstawową przyczynę złożoności problemu detekcji zakleszczenia rozproszonego. Tak ogólnie sformułowany problem detekcji zakleszczenia można jednak uszczegółowić w różny sposób, definiując w efekcie problemy pochodne o różnym stopniu trudności, jak na przykład: problem detekcji wystąpienia zakleszczenia, problem detekcji zakleszczenia procesu, problem detekcji zakleszczenia zbioru procesów czy problem detekcji maksymalnego zbioru procesów zakleszczonych. | Ogólnie rzecz ujmując, problem detekcji zakleszczenia przetwarzania rozproszonego sprowadza się do wyznaczenia (oceny) wartości predykatu <math>deadlock(\mathcal{B})</math> przez grupę kooperujących monitorów. Monitory <math>Q_i</math>, podobnie jak procesy składowe <math>P_i</math> przetwarzania rozproszonego, działają w asynchronicznym środowisku rozproszonym. Właściwości tego środowiska stanowią podstawową przyczynę złożoności problemu detekcji zakleszczenia rozproszonego. Tak ogólnie sformułowany problem detekcji zakleszczenia można jednak uszczegółowić w różny sposób, definiując w efekcie problemy pochodne o różnym stopniu trudności, jak na przykład: problem detekcji wystąpienia zakleszczenia, problem detekcji zakleszczenia procesu, problem detekcji zakleszczenia zbioru procesów czy problem detekcji maksymalnego zbioru procesów zakleszczonych. | ||
| Linia 7: | Linia 7: | ||
[[ | [[Pr-1st-1.1-m05-Slajd19 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd21 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:54, 7 wrz 2006
Klasyfikacja problemów detekcji zakleszczenia
Ogólnie rzecz ujmując, problem detekcji zakleszczenia przetwarzania rozproszonego sprowadza się do wyznaczenia (oceny) wartości predykatu przez grupę kooperujących monitorów. Monitory , podobnie jak procesy składowe przetwarzania rozproszonego, działają w asynchronicznym środowisku rozproszonym. Właściwości tego środowiska stanowią podstawową przyczynę złożoności problemu detekcji zakleszczenia rozproszonego. Tak ogólnie sformułowany problem detekcji zakleszczenia można jednak uszczegółowić w różny sposób, definiując w efekcie problemy pochodne o różnym stopniu trudności, jak na przykład: problem detekcji wystąpienia zakleszczenia, problem detekcji zakleszczenia procesu, problem detekcji zakleszczenia zbioru procesów czy problem detekcji maksymalnego zbioru procesów zakleszczonych.
