Pr-1st-1.1-m09-Slajd12

Definicja formalna: Oznaczenia (2)

$in\mathrm {-} transit_{i}$ – tablica [1..n ] zmiennych logicznych procesu $P_{i}$ skojarzona z wiadomościami transmitowanymi

$in-transit_{i}[j]$ – j-ty element tablicy $in\mathrm {-} transit_{i}$ przyjmujący wartość True, gdy wiadomość wysłana przez $Pj$ do $P_{i}$ należy do $L_{j,i}^{T}$, a więc jest transmitowana i nie jest jeszcze dostępna

Oprócz tego przyjmiemy oznaczenie dwóch zbiorów procesów ${\mathcal {AV}}_{i}$ oraz ${\mathcal {IT}}_{i}$, zdefiniowanych w następujący sposób:

${\mathcal {AV}}_{i}=\{P_{j}:available_{i}[j]=True\}$

${\mathcal {IT}}_{i}=\{P_{j}:in\mathrm {-} transit_{i}[j]=True\}$

<< Poprzedni slajd | Spis treści | Następny slajd >>