Pr-1st-1.1-m10-Slajd31: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 4: | Linia 4: | ||
Jak już wspomniano, w algorytmie wektorowym wykorzystywany jest wektor liczników <math>vSRNo_i</math> będący tablicą <math>[1..n]</math>. Elementy <math>vSRNo_i[j]</math>, dla <math> i \ne j</math>, każdego procesu <math>P_i</math> określają liczbę wiadomości wysłanych przez proces <math>P_i</math> do <math>P_j</math> od czasu ostatniej wizyty znacznika. | Jak już wspomniano, w algorytmie wektorowym wykorzystywany jest wektor liczników <math>vSRNo_i</math> będący tablicą <math>[1..n]</math>. Elementy <math>vSRNo_i[j]</math>, dla <math>i \ne j</math>, każdego procesu <math>P_i</math> określają liczbę wiadomości wysłanych przez proces <math>P_i</math> do <math>P_j</math> od czasu ostatniej wizyty znacznika. | ||
Wartość bezwzględna elementu <math>vSRNo_i[i]</math> określa liczbę wiadomości odebranych przez <math>P_i</math> od czasu ostatniej wizyty znacznika. | Wartość bezwzględna elementu <math>vSRNo_i[i]</math> określa liczbę wiadomości odebranych przez <math>P_i</math> od czasu ostatniej wizyty znacznika. | ||
Aktualna wersja na dzień 22:11, 11 wrz 2023
Wektorowy algorytm detekcji zakończenia (2)
Jak już wspomniano, w algorytmie wektorowym wykorzystywany jest wektor liczników będący tablicą . Elementy , dla , każdego procesu określają liczbę wiadomości wysłanych przez proces do od czasu ostatniej wizyty znacznika.
Wartość bezwzględna elementu określa liczbę wiadomości odebranych przez od czasu ostatniej wizyty znacznika.
W dowolnej chwili , suma k-tych elementów wszystkich liczników , dla każdego , oraz wartości pozycji k wektora cyrkulującego znacznika , jest równa liczbie wiadomości będących w drodze do . Zmienna przyjmuje wartość True , jeżeli monitor pierwszy raz otrzymał znacznik. Wreszcie zmienna posiada zwykłe znaczenie.
