Pr-1st-1.1-m05-toc

From Studia Informatyczne

<< 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. Algorytm Chandy, Misra, Hass dla modelu AND (1)
  27. Algorytm Chandy, Misra, Hass dla modelu AND (2)
  28. Algorytm Chandy, Misra, Hass dla modelu AND (3)
  29. Algorytm 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. Algorytm Chandy, Misra, Hass dla modelu OR (1)
  34. Algorytm Chandy, Misra, Hass dla modelu OR (2)
  35. Algorytm Chandy, Misra, Hass dla modelu OR (3)
  36. Algorytm Chandy, Misra, Hass dla modelu OR (4)
  37. Algorytm Chandy, Misra, Hass dla modelu OR (5)
  38. Algorytm Chandy, Misra, Hass dla modelu OR (6)
  39. Algorytm Chandy, Misra, Hass dla modelu OR (7)
  40. Algorytm Chandy, Misra, Hass dla modelu OR (8)
  41. Algorytm Bracha, Toueg’a (1)
  42. Algorytm Bracha, Toueg’a (2)
  43. Algorytm Bracha, Toueg’a (3)
  44. Algorytm Bracha, Toueg’a (4)
  45. Algorytm Bracha, Toueg’a (5)
  46. Algorytm Bracha, Toueg’a (6)
  47. Algorytm 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)