Pr-1st-1.1-m03-Slajd04: 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 12: | Linia 12: | ||
<math>\mathit{\Sigma}(\tau)</math>, | <math>\mathit{\Sigma}(\tau)</math>, | ||
jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili <math>\tau</math>: | jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili <math>\tau</math>: | ||
:<math>\mathit{\Sigma}(\tau) = \left \langle S_1(\tau), S_2(\tau), \ldots, S_n(\tau) \right \rangle </math> | :<math>\mathit{\Sigma}(\tau) = \left \langle S_1(\tau), S_2(\tau), \ldots, S_n(\tau) \right \rangle</math> | ||
[[pr-1st-1.1-m03-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd05 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd05 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
Zbiór stanów globalnych (1)
Zbiór stanów globalnych jest podzbiorem iloczynu kartezjańskiego
zbiorów stanów lokalnych procesów składowych przetwarzania rozproszonego.
Stan globalny procesu rozproszonego w chwili czasu globalnego (czasu postrzeganego przez teoretycznego zewnętrznego obserwatora), oznaczony przez , jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili :
