Pr-1st-1.1-m09-Slajd12: 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 8: | Linia 8: | ||
<math>in-transit_i[j]</math> – ''j-ty'' element tablicy <math>in\mathrm{-}transit_i</math> przyjmujący wartość ''True'', gdy wiadomość wysłana przez <math>Pj</math> do <math>P_i</math> należy do <math>L_{j,i}^{T}</math>, a więc jest transmitowana i nie jest jeszcze dostępna | <math>in-transit_i[j]</math> – ''j-ty'' element tablicy <math>in\mathrm{-}transit_i</math> przyjmujący wartość ''True'', gdy wiadomość wysłana przez <math>Pj</math> do <math>P_i</math> należy do <math>L_{j,i}^{T}</math>, a więc jest transmitowana i nie jest jeszcze dostępna | ||
Oprócz tego przyjmiemy oznaczenie dwóch zbiorów procesów <math> \mathcal{AV}_i</math> oraz <math>\mathcal{IT}_i</math>, zdefiniowanych w następujący sposób: | Oprócz tego przyjmiemy oznaczenie dwóch zbiorów procesów <math>\mathcal{AV}_i</math> oraz <math>\mathcal{IT}_i</math>, zdefiniowanych w następujący sposób: | ||
:<math> | :<math> | ||
Aktualna wersja na dzień 22:16, 11 wrz 2023
Definicja formalna: Oznaczenia (2)
– tablica [1..n ] zmiennych logicznych procesu skojarzona z wiadomościami transmitowanymi
– j-ty element tablicy przyjmujący wartość True, gdy wiadomość wysłana przez do należy do , a więc jest transmitowana i nie jest jeszcze dostępna
Oprócz tego przyjmiemy oznaczenie dwóch zbiorów procesów oraz , zdefiniowanych w następujący sposób:
