Pr-1st-1.1-m05-Slajd40

Z Studia Informatyczne

Przejdź do nawigacji Przejdź do wyszukiwania

Algorytm Chandy, Misra, Hass dla modelu OR (8)

Uaktywnienie procesu $P_{i}$ powoduje ustawienie elementów tablicy $contPassive_{i}$ odpowiadających procesowi $P_{i}$ na False.

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

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pr-1st-1.1-m05-Slajd40&oldid=44702”

Menu nawigacyjne