SOP wyk nr 15-toc

Z Studia Informatyczne
Wersja z dnia 11:39, 16 sie 2006 autorstwa Dwa (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Spis treści

  1. Plan wykładu
  2. Model systemu
  3. Zasoby odzyskiwalne
  4. Zasoby nieodzyskiwalne
  5. Korzystanie z zasobów nieodzyskiwalnych
  6. Warunki konieczne wystąpienia zakleszczenia
  7. Warunki konieczne w odniesieniu do zasobów nieodzyskiwalnych
  8. Reprezentacja stanu systemu — graf przydziału zasobów odzyskiwalnych
  9. Przykład grafu zasobów odzyskiwalnych
  10. Zdarzenia w systemie z zasobami odzyskiwalnymi
  11. Zmiana stanu systemu a graf zasobów odzyskiwalnych
  12. Przykład przejść pomiędzy stanami w przypadku zasobów odzyskiwalnych
  13. Przykład przejść procesu w systemie z dwoma jednostkami zasobu
  14. Przykład przejść dwóch procesów w systemie z dwoma jednost. zasobu (1)
  15. Przykład przejść dwóch procesów w systemie z dwoma jednost. zasobu (2)
  16. Definicja zakleszczenia procesu
  17. Przydział natychmiastowy
  18. Własności grafów
  19. Przykładu cyklu w grafie
  20. Przykłady supła w grafie
  21. Cykl w grafie przydziału — zakleszczenie
  22. Cykl w grafie przydziału — brak zakleszczenia
  23. Supeł w grafie przydziału — zakleszczenie
  24. Brak supła w grafie przydziału — zakleszczenie
  25. Brak supła w grafie przydziału — zakleszczenie(1)
  26. Własności grafu zasobów odzyskiwalnych a stan zakleszczenia
  27. Reprezentacja stanu systemu — graf przydziału zasobów zużywalnych
  28. Zdarzenia w systemie z zasobami nieodzyskiwalnymi
  29. Zmiana stanu systemu w przypadku zasobów nieodzyskiwalnych
  30. Przykład przejść pomiędzy stanami w przypadku zasobów zużywalnych
  31. Przykład analizy grafu przydziału zasobów nieodzyskiwalnych
  32. Własności grafu zasobów zużywalnych a stan zakleszczenia
Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=SOP_wyk_nr_15-toc&oldid=18626”