Pr-1st-1.1-m05-Slajd11

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zakleszczenie w podstawowym modelu k spośród r

Zakleszczenie w podstawowym modelu k spośród r

W podstawowym modelu k spośród r, z pasywnym procesem skojarzony jest zbiór warunkujący , liczba naturalna , , oraz liczba naturalna . W modelu tym proces staje się aktywny wówczas, gdy uzyska wiadomości od co najmniej różnych procesów ze zbioru warunkującego .



Definicja powyższa oznacza, że dla każdego procesu można znaleźć zbiór procesów , od których nie jest możliwe otrzymanie wiadomości i jednocześnie Tak więc, potencjalnie otrzyma co najwyżej wiadomości, co jednak nie wystarcza do uaktywnienia, gdyż .


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