Pr-1st-1.1-m02-Slajd47: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 3: | Linia 3: | ||
[[Image:pr-1st-1.1-m02-Slajd47.png|Model jednostkowy]] | [[Image:pr-1st-1.1-m02-Slajd47.png|Model jednostkowy]] | ||
W '''modelu jednostkowym''' warunkiem uaktywnienia pasywnego procesu Pi jest przybycie wiadomości od jednego, ściśle określonego nadawcy. W tym przypadku <math> |\mathcal{D}_i| = 1</math>, dla każdego naturalnego <math>i</math>, <math>1\le i \le n</math>. Model ten odpowiada szerokiej klasie systemów, w których procesy żądają kolejno po jednym tylko zasobie. Przykładowo może to być przydział konkretnego bufora jednostkowego w kolejnym węźle sieci komunikacyjnej z komutacją pakietów, czy potwierdzenie założenia blokady na pojedynczym obiekcie (relacji) w rozproszonej bazie danych. | W '''modelu jednostkowym''' warunkiem uaktywnienia pasywnego procesu Pi jest przybycie wiadomości od jednego, ściśle określonego nadawcy. W tym przypadku <math>|\mathcal{D}_i| = 1</math>, dla każdego naturalnego <math>i</math>, <math>1\le i \le n</math>. Model ten odpowiada szerokiej klasie systemów, w których procesy żądają kolejno po jednym tylko zasobie. Przykładowo może to być przydział konkretnego bufora jednostkowego w kolejnym węźle sieci komunikacyjnej z komutacją pakietów, czy potwierdzenie założenia blokady na pojedynczym obiekcie (relacji) w rozproszonej bazie danych. | ||
[[pr-1st-1.1-m02-Slajd46 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd48 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd46 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd48 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:32, 5 wrz 2023
Model jednostkowy
W modelu jednostkowym warunkiem uaktywnienia pasywnego procesu Pi jest przybycie wiadomości od jednego, ściśle określonego nadawcy. W tym przypadku , dla każdego naturalnego , . Model ten odpowiada szerokiej klasie systemów, w których procesy żądają kolejno po jednym tylko zasobie. Przykładowo może to być przydział konkretnego bufora jednostkowego w kolejnym węźle sieci komunikacyjnej z komutacją pakietów, czy potwierdzenie założenia blokady na pojedynczym obiekcie (relacji) w rozproszonej bazie danych.
