Pr-1st-1.1-m05-toc

<<Powrót

Spis treści

1. Detekcja zakleszczenia (1)
2. Plan wykładu
3. Wprowadzenie
4. Nieformalna definicja problemu
5. Procesy aktywne i pasywne
6. Warunek uaktywnienia
7. Definicja problemu
8. Zakleszczenie w modelu jednostkowym
9. Zakleszczenie w modelu AND
10. Zakleszczenie w modelu OR
11. Zakleszczenie w podstawowym modelu k spośród r
12. Zakleszczenie w modelu OR – AND
13. Zakleszczenie w modelu dysjunkcyjnym k spośród r
14. Zakleszczenie w modelu predykatowym
15. Przykłady zakleszczeń
16. Przykład – model jednostkowy
17. Przykład – model AND
18. Przykład – model OR
19. Przykład – model k spośród r
20. Klasyfikacja problemów detekcji zakleszczenia
21. Detekcja wystąpienia zakleszczenia
22. Detekcja wystąpienia zakleszczenia procesu
23. Detekcja wystąpienia zakleszczenia zbioru procesów
24. Detekcja maksymalnego zbioru zakleszczonego
25. Model aplikacyjnego przetwarzania rozproszonego
26. Alg. Chandy, Misra, Hass dla modelu AND (1)
27. Alg. Chandy, Misra, Hass dla modelu AND (2)
28. Alg. Chandy, Misra, Hass dla modelu AND (3)
29. Alg. Chandy, Misra, Hass dla modelu AND (4)
30. Detekcja zakleszczenia dla modelu OR (1)
31. Detekcja zakleszczenia dla modelu OR (2)
32. Detekcja zakleszczenia dla modelu OR (3)
33. Alg. Chandy, Misra, Hass dla modelu OR (1)
34. Alg. Chandy, Misra, Hass dla modelu OR (2)
35. Alg. Chandy, Misra, Hass dla modelu OR (3)
36. Alg. Chandy, Misra, Hass dla modelu OR (4)
37. Alg. Chandy, Misra, Hass dla modelu OR (5)
38. Alg. Chandy, Misra, Hass dla modelu OR (6)
39. Alg. Chandy, Misra, Hass dla modelu OR (7)
40. Alg. Chandy, Misra, Hass dla modelu OR (8)
41. Alg. Bracha, Toueg’a (1)
42. Alg. Bracha, Toueg’a (2)
43. Alg. Bracha, Toueg’a (3)
44. Alg. Bracha, Toueg’a (4)
45. Alg. Bracha, Toueg’a (5)
46. Alg. Bracha, Toueg’a (6)
47. Alg. Bracha, Toueg’a (7)
48. Przykład działania algorytmu (1)
49. Przykład działania algorytmu (2)
50. Złożoność czasowa algorytmu detekcji zakleszczenia w środowisku synchronicznym dla modelu k spośród r (1)
51. Złożoność czasowa algorytmu detekcji zakleszczenia w środowisku synchronicznym dla modelu k spośród r (2)