Pr-1st-1.1-m05-Slajd42

Algorytm Bracha, Toueg’a (2)

Najważniejsze zmienne wykorzystywane przez ten algorytm są następujące:

$𝒜$ – zadany zbiór łuków grafu WFG
${𝒪 𝒰 𝒯}_{i}$ – zbiór procesów $P_{j}$ , do których $P_{i}$ wysłał żądanie REQUEST i nie otrzymał jeszcze potwierdzenia GRANT, ani nie wysłał unieważnienia CANCEL
${ℐ 𝒩}_{i}$ – zadany zbiór łuków wejściowych wierzchołka $P_{i}$ grafu WFG
$e x p e c t N o_{i}$ – żądana przez proces aplikacyjny liczba oczekiwanych wiadomości