Pr-1st-1.1-m10-Slajd05: 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: | ||
Dla modelu atomowego, równość <math>SC(\tau) = RC(\tau)</math> oznacza, że każda wiadomość wysłana została odebrana. Tym samym wszystkie kanały są w chwili <math>\tau </math> puste, a więc osiągnięty został stan zakończenia. Problem polega na tym, że wyznaczenie <math>SC(\tau)</math> i <math>RC(\tau)</math> nie jest w systemie rozproszonym proste. | Dla modelu atomowego, równość <math>SC(\tau) = RC(\tau)</math> oznacza, że każda wiadomość wysłana została odebrana. Tym samym wszystkie kanały są w chwili <math>\tau</math> puste, a więc osiągnięty został stan zakończenia. Problem polega na tym, że wyznaczenie <math>SC(\tau)</math> i <math>RC(\tau)</math> nie jest w systemie rozproszonym proste. | ||
[[Pr-1st-1.1-m10-Slajd04 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd06 | Następny slajd >>]] | [[Pr-1st-1.1-m10-Slajd04 | << Poprzedni slajd]] | [[Pr-1st-1.1-m10-toc|Spis treści ]] | [[Pr-1st-1.1-m10-Slajd06 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:45, 5 wrz 2023
Detekcja zakończenia: liczniki wiadomości (2)
Dla modelu atomowego, równość oznacza, że każda wiadomość wysłana została odebrana. Tym samym wszystkie kanały są w chwili puste, a więc osiągnięty został stan zakończenia. Problem polega na tym, że wyznaczenie i nie jest w systemie rozproszonym proste.
