Pr-1st-1.1-m07-Slajd19: 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: | ||
Załóżmy, że stan <math>S_i(\mathit\tau)</math> procesu <math>P_i</math> w każdej chwili <math>\mathit\tau</math> czasu globalnego (rzeczywistego) zdefiniowany jest przez trzy zmienne: <math>present_i(\mathit\tau)</math>, <math>outLog_i(\mathit\tau)</math>, <math>inLog_i(\tau)</math>. | Załóżmy, że stan <math>S_i(\mathit\tau)</math> procesu <math>P_i</math> w każdej chwili <math>\mathit\tau</math> czasu globalnego (rzeczywistego) zdefiniowany jest przez trzy zmienne: <math>present_i(\mathit\tau)</math>, <math>outLog_i(\mathit\tau)</math>, <math>inLog_i(\tau)</math>. | ||
:<math>S_i(\mathit\tau ) = \left \langle present_i(\mathit\tau), outLog_i(\mathit\tau), inLog_i(\mathit\tau) \right \rangle </math> | :<math>S_i(\mathit\tau ) = \left \langle present_i(\mathit\tau), outLog_i(\mathit\tau), inLog_i(\mathit\tau) \right \rangle</math> | ||
*<math>present_i(\mathit\tau)</math> przyjmuje wartość ''True'', tylko wówczas, gdy znacznik typu TOKEN znajduje się w chwili <math>\mathit\tau</math> w procesie <math>P_i</math> (proces ten posiada znacznik i zarazem dostęp do współdzielonego zasobu) | *<math>present_i(\mathit\tau)</math> przyjmuje wartość ''True'', tylko wówczas, gdy znacznik typu TOKEN znajduje się w chwili <math>\mathit\tau</math> w procesie <math>P_i</math> (proces ten posiada znacznik i zarazem dostęp do współdzielonego zasobu) | ||
Aktualna wersja na dzień 10:48, 5 wrz 2023
Modele stanów globalnych (2)
Załóżmy, że stan procesu w każdej chwili czasu globalnego (rzeczywistego) zdefiniowany jest przez trzy zmienne: , , .
- przyjmuje wartość True, tylko wówczas, gdy znacznik typu TOKEN znajduje się w chwili w procesie (proces ten posiada znacznik i zarazem dostęp do współdzielonego zasobu)
- jest kolejką znaczników wysłanych do chwili przez proces .
- jest kolejką znaczników odebranych przez proces do chwili .
