Pr-1st-1.1-m04-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 4: | Linia 4: | ||
W każdej chwili czasu rzeczywistego | W każdej chwili czasu rzeczywistego | ||
:<math>\forall i,j :: vClock_i[i] \ge vClock_j[j] </math> | :<math>\forall i,j :: vClock_i[i] \ge vClock_j[j]</math> | ||
gdzie zmienna <math>vClock_i[i]</math> reprezentuje skalarny czas lokalny procesu <math>P_i</math>, a zmienna <math>vClock_i[j]</math>, | gdzie zmienna <math>vClock_i[i]</math> reprezentuje skalarny czas lokalny procesu <math>P_i</math>, a zmienna <math>vClock_i[j]</math>, | ||
Aktualna wersja na dzień 10:48, 5 wrz 2023
Zegary wektorowe (1)
W każdej chwili czasu rzeczywistego
gdzie zmienna reprezentuje skalarny czas lokalny procesu , a zmienna , , aktualne wyobrażenie procesu o bieżącym skalarnym czasie lokalnym procesu .
