Pr-1st-1.1-m09-Slajd12

Definicja formalna: Oznaczenia (2)

$in\mathrm{-}transi{t}_i$ – tablica [1..n ] zmiennych logicznych procesu $P_i$ skojarzona z wiadomościami transmitowanymi

$in-transi{t}_i[j]$ – j-ty element tablicy $in\mathrm{-}transi{t}_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 ${{𝒜}{𝒱}}_i$ oraz ${{ℐ}{𝒯}}_i$, zdefiniowanych w następujący sposób:

${{𝒜}{𝒱}}_i=\{P_j:availabl{e}_i[j]=True\}$

${{ℐ}{𝒯}}_i=\{P_j:in\mathrm{-}transi{t}_i[j]=True\}$

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