Pr-1st-1.1-m05-toc
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Spis treści
- Detekcja zakleszczenia (1)
- Plan wykładu
- Wprowadzenie
- Nieformalna definicja problemu
- Procesy aktywne i pasywne
- Warunek uaktywnienia
- Definicja problemu
- Zakleszczenie w modelu jednostkowym
- Zakleszczenie w modelu AND
- Zakleszczenie w modelu OR
- Zakleszczenie w podstawowym modelu k spośród r
- Zakleszczenie w modelu OR – AND
- Zakleszczenie w modelu dysjunkcyjnym k spośród r
- Zakleszczenie w modelu predykatowym
- Przykłady zakleszczeń
- Przykład – model jednostkowy
- Przykład – model AND
- Przykład – model OR
- Przykład – model k spośród r
- Klasyfikacja problemów detekcji zakleszczenia
- Detekcja wystąpienia zakleszczenia
- Detekcja wystąpienia zakleszczenia procesu
- Detekcja wystąpienia zakleszczenia zbioru procesów
- Detekcja maksymalnego zbioru zakleszczonego
- Model aplikacyjnego przetwarzania rozproszonego
- Algorytm Chandy, Misra, Hass dla modelu AND (1)
- Algorytm Chandy, Misra, Hass dla modelu AND (2)
- Algorytm Chandy, Misra, Hass dla modelu AND (3)
- Algorytm Chandy, Misra, Hass dla modelu AND (4)
- Detekcja zakleszczenia dla modelu OR (1)
- Detekcja zakleszczenia dla modelu OR (2)
- Detekcja zakleszczenia dla modelu OR (3)
- Algorytm Chandy, Misra, Hass dla modelu OR (1)
- Algorytm Chandy, Misra, Hass dla modelu OR (2)
- Algorytm Chandy, Misra, Hass dla modelu OR (3)
- Algorytm Chandy, Misra, Hass dla modelu OR (4)
- Algorytm Chandy, Misra, Hass dla modelu OR (5)
- Algorytm Chandy, Misra, Hass dla modelu OR (6)
- Algorytm Chandy, Misra, Hass dla modelu OR (7)
- Algorytm Chandy, Misra, Hass dla modelu OR (8)
- Algorytm Bracha, Toueg’a (1)
- Algorytm Bracha, Toueg’a (2)
- Algorytm Bracha, Toueg’a (3)
- Algorytm Bracha, Toueg’a (4)
- Algorytm Bracha, Toueg’a (5)
- Algorytm Bracha, Toueg’a (6)
- Algorytm Bracha, Toueg’a (7)
- Przykład działania algorytmu (1)
- Przykład działania algorytmu (2)
- Złożoność czasowa algorytmu detekcji zakleszczenia w środowisku synchronicznym dla modelu k spośród r (1)
- Złożoność czasowa algorytmu detekcji zakleszczenia w środowisku synchronicznym dla modelu k spośród r (2)