Pr-1st-1.1-m08-Slajd30: 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 10: | Linia 10: | ||
W chwili, gdy uaktualniony został zegar wektorowy procesu <math>P_i</math>,zachodzi: | W chwili, gdy uaktualniony został zegar wektorowy procesu <math>P_i</math>,zachodzi: | ||
:<math>\not\exists P_j :: P_j \in \mathcal{P} :: vClock_i < vClock_j </math> | :<math>\not\exists P_j :: P_j \in \mathcal{P} :: vClock_i < vClock_j</math> | ||
Aktualna wersja na dzień 10:50, 5 wrz 2023
Twierdzenie 8.4
Wykorzystywana jest tu następująca właściwość zegarów wektorowych:
Twierdzenie 8.4
W chwili, gdy uaktualniony został zegar wektorowy procesu ,zachodzi:
Powyższa właściwość oznacza w praktyce, że zmiana wektorowego zegara lokalnego w pewnym procesie określa czas wirtualny, który z perspektywy wszystkich pozostałych procesów z pewnością nie jest czasem odnoszącym się do przeszłości.
