SOP wyk nr 11-Slajd8: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 8: | Linia 8: | ||
Na stan początkowy przetwarzania składają się stany początkowe poszczególnych procesów. | Na stan początkowy przetwarzania składają się stany początkowe poszczególnych procesów. | ||
Podobnie jak odwzorowanie L, odwzorowanie G nie jest określone dla każdej pary ze zbioru | Podobnie jak odwzorowanie L, odwzorowanie G nie jest określone dla każdej pary ze zbioru Σ × Δ. Nie każde zdarzenie może zatem wystąpić w określonym stanie przetwarzania współbieżnego. W przeciwieństwie do stanu procesu sekwencyjnego stan przetwarzania współbieżnego nie determinuje jednak jednoznacznie następnego zdarzenia, gdyż potencjalnie jakieś zdarzenie może wystąpić w każdym ze współbieżnych procesów. Liczba możliwych zdarzeń może być zredukowana poprzez zastosowanie mechanizmów synchronizacji. | ||
[[SOP_wyk_nr_11-Slajd7 | << Poprzedni slajd]] | [[SOP_wyk_nr_11-toc|Spis treści ]] | [[SOP_wyk_nr_11-Slajd9 | Następny slajd >>]] | [[SOP_wyk_nr_11-Slajd7 | << Poprzedni slajd]] | [[SOP_wyk_nr_11-toc|Spis treści ]] | [[SOP_wyk_nr_11-Slajd9 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:44, 16 sie 2006
Relacja globalnego porządku
Kontynuując rozumowanie, przedstawione na poprzednich slajdach, można powiedzieć, że na stan przetwarzania współbieżnego składają się stany poszczególnych procesów, a zmiana tego stanu spowodowana jest zdarzeniem w jednym z tych procesów.
Na stan początkowy przetwarzania składają się stany początkowe poszczególnych procesów.
Podobnie jak odwzorowanie L, odwzorowanie G nie jest określone dla każdej pary ze zbioru Σ × Δ. Nie każde zdarzenie może zatem wystąpić w określonym stanie przetwarzania współbieżnego. W przeciwieństwie do stanu procesu sekwencyjnego stan przetwarzania współbieżnego nie determinuje jednak jednoznacznie następnego zdarzenia, gdyż potencjalnie jakieś zdarzenie może wystąpić w każdym ze współbieżnych procesów. Liczba możliwych zdarzeń może być zredukowana poprzez zastosowanie mechanizmów synchronizacji.
