Pr-1st-1.1-m05-Slajd11: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 2 wersji utworzonych przez 2 użytkowników) | |||
| Linia 1: | Linia 1: | ||
==Zakleszczenie w podstawowym modelu k spośród r== | ==Zakleszczenie w podstawowym modelu k spośród r== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd11.png|Zakleszczenie w podstawowym modelu k spośród r]] | ||
W podstawowym modelu k spośród r, z pasywnym procesem <math>P_i</math> skojarzony jest zbiór warunkujący <math>\mathcal{D}_i</math>, liczba naturalna | W podstawowym modelu k spośród r, z pasywnym procesem <math>P_i</math> skojarzony jest zbiór warunkujący <math>\mathcal{D}_i</math>, liczba naturalna | ||
| Linia 8: | Linia 8: | ||
<math>deadlock(\mathcal{B}) \equiv </math> | <math>deadlock(\mathcal{B}) \equiv</math> | ||
<math>\qquad ( \mathcal{B} \subseteq \mathcal{P} ) \land ( \mathcal{B} \ne \emptyset ) \land </math> | <math>\qquad ( \mathcal{B} \subseteq \mathcal{P} ) \land ( \mathcal{B} \ne \emptyset ) \land</math> | ||
<math>\qquad \forall P_i :: P_i \in \mathcal{B} ( passive_i \land | <math>\qquad \forall P_i :: P_i \in \mathcal{B} ( passive_i \land</math> | ||
<math>\qquad (\exists\mathcal{B}_i :: \mathcal{B}_i \subseteq \mathcal{D}_i \cap \mathcal{B} :: </math> | <math>\qquad (\exists\mathcal{B}_i :: \mathcal{B}_i \subseteq \mathcal{D}_i \cap \mathcal{B} ::</math> | ||
<math>\qquad (| \mathcal{D}_i \setminus \mathcal{B}_i | < k_i \land </math> | <math>\qquad (| \mathcal{D}_i \setminus \mathcal{B}_i | < k_i \land</math> | ||
<math>\qquad (\forall P_j :: P_j \in \mathcal{B}_i :: (\neg in\mbox{-}transit_i[j] \land \neg available_i[j]))))</math> | <math>\qquad (\forall P_j :: P_j \in \mathcal{B}_i :: (\neg in\mbox{-}transit_i[j] \land \neg available_i[j]))))</math> | ||
| Linia 24: | Linia 24: | ||
<math>\mathcal{B}_i</math>, od których nie jest możliwe otrzymanie wiadomości | <math>\mathcal{B}_i</math>, od których nie jest możliwe otrzymanie wiadomości | ||
<math>\mathcal{B}_i \subseteq \mathcal{B}</math> i jednocześnie | <math>\mathcal{B}_i \subseteq \mathcal{B}</math> i jednocześnie | ||
(\forall P_j :: P_j \in \mathcal{B}_i :: (\neg in\mbox{-}transit_i[j] \land \neg available_i[j])</math> | <math>(\forall P_j :: P_j \in \mathcal{B}_i :: (\neg in\mbox{-}transit_i[j] \land \neg available_i[j]))</math> | ||
Tak więc, <math>P_i</math> potencjalnie otrzyma co najwyżej | Tak więc, <math>P_i</math> potencjalnie otrzyma co najwyżej | ||
<math>| \mathcal{D}_i \setminus \mathcal{B}_i |</math> | <math>| \mathcal{D}_i \setminus \mathcal{B}_i |</math> | ||
wiadomości, co jednak nie wystarcza do uaktywnienia, gdyż <math>| \mathcal{D}_i \setminus \mathcal{B}_i | < k_i </math>. | wiadomości, co jednak nie wystarcza do uaktywnienia, gdyż <math>| \mathcal{D}_i \setminus \mathcal{B}_i | < k_i</math>. | ||
[[ | [[Pr-1st-1.1-m05-Slajd10 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd12 | Następny slajd >>]] | ||
Aktualna wersja na dzień 11:00, 5 wrz 2023
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ż .
