Pr-1st-1.1-m10-Slajd69

Dowód warunku C5 (2)

Wyznaczając zbiór ${{𝒜}{ℐ}{𝒯}}_i[{\tau }_i^{k+1}]$ procesów, od których wiadomości są aktualnie transmitowane do $P_i$, algorytm uwzględnia w istocie następujące zależności:

$vSentN{o}_j[i][{\tau }_j^k]>vRecvN{o}_i[j][{\tau }_i^{k+1}]$, gdyż

$vSentN{o}_j[i][{\tau }_j^k]=queryIn.vSentNo[j][{\tau }_i^{k+1}]$.

Zauważmy, że liczniki są monotoniczne:

$vRecvN{o}_i[j][{\tau }_i^k]\le vRecvN{o}_i[j][{\tau }^x]\le vRecvN{o}_i[j][{\tau }_i^{k+1}]$

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