Pr-1st-1.1-m03-Slajd07: 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 6: | Linia 6: | ||
<math>\mathit{\Pi} = \left \langle \boldsymbol{\Sigma}, \boldsymbol{\Sigma} ^0, \mathit{\Lambda}, \mathit{\Phi} \right \rangle </math> | <math>\mathit{\Pi} = \left \langle \boldsymbol{\Sigma}, \boldsymbol{\Sigma} ^0, \mathit{\Lambda}, \mathit{\Phi} \right \rangle </math> | ||
utożsamia się z ciągiem | utożsamia się z ciągiem | ||
<math> \mathit{\Sigma} ^0, E^1, \mathit{\Sigma} ^1, E^2, \ldots, \mathit{\Sigma} ^{S}, E^{S+1}, \mathit{\Sigma} ^{S+1}</math>, | <math>\mathit{\Sigma} ^0, E^1, \mathit{\Sigma} ^1, E^2, \ldots, \mathit{\Sigma} ^{S}, E^{S+1}, \mathit{\Sigma} ^{S+1}</math>, | ||
składającym się naprzemiennie ze stanów i zdarzeń, takim że dla każdego | składającym się naprzemiennie ze stanów i zdarzeń, takim że dla każdego | ||
<math> u</math>, | <math>u</math>, | ||
<math>0 \le u \le s</math>, | <math>0 \le u \le s</math>, | ||
<math>\left \langle \mathit{\Sigma}^{u}, E^{u+1}, \mathit{\Sigma}^{u+1} \right \rangle \ni \mathit{\Phi} </math>. | <math>\left \langle \mathit{\Sigma}^{u}, E^{u+1}, \mathit{\Sigma}^{u+1} \right \rangle \ni \mathit{\Phi} </math>. | ||
[[pr-1st-1.1-m03-Slajd06 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd08 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd06 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd08 | Następny slajd >>]] | ||
Wersja z 10:31, 5 wrz 2023
Wykonanie częściowe procesu
Zajście zdarzenia w którymkolwiek z procesów implikuje zmianę jego stanu, a tym samym zmianę stanu globalnego. Ponieważ zdarzenia są z założenia atomowe, można przyjąć, że w każdej chwili zachodzi co najwyżej jedno zdarzenie. Stąd też, częściowe wykonanie procesu rozproszonego utożsamia się z ciągiem , składającym się naprzemiennie ze stanów i zdarzeń, takim że dla każdego , , .
