SO-1st-2.3-w11.tresc-1.0-Slajd9: 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. | ||
[[SO-1st-2.3-w11.tresc-1.0-Slajd8 | << Poprzedni slajd]] | [[SO-1st-2.3-w11.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w11.tresc-1.0-Slajd10 | Następny slajd >>]] | [[SO-1st-2.3-w11.tresc-1.0-Slajd8 | << Poprzedni slajd]] | [[SO-1st-2.3-w11.tresc-1.0-toc|Spis treści ]] | [[SO-1st-2.3-w11.tresc-1.0-Slajd10 | Następny slajd >>]] | ||
Aktualna wersja na dzień 13:34, 22 wrz 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.
