Pr-1st-1.1-m03-Slajd07: 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 4: | Linia 4: | ||
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 | 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 | ||
<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>, | ||
| Linia 10: | Linia 10: | ||
<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 >>]] | ||
Aktualna wersja na dzień 10:47, 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 , , .
