SOP wyk nr 16-toc

Spis treści

1. Plan wykładu
2. Podejścia do zakleszczenia w przypadku zasobów odzyskiwalnych
3. Podejścia do zakleszczenia w przypadku zasobów zużywalnych
4. Reprezentacja stanu systemu
5. Transformacja grafu przydziału do grafu oczekiwania
6. Grafowa reprezentacja stanu — wykrywanie zakleszczenia
7. Macierzowa reprezentacja stanu systemu
8. Integralność macierzowej reprezentacji stanu systemu
9. Macierzowa reprezentacja stanu — zakleszczenie
10. Macierzowa reprezentacja stanu — wykrywanie zakleszczenia (1)
11. Macierzowa reprezentacja stanu — wykrywanie zakleszczenia (2)
12. Przykład działania algorytmu (1)
13. Przykład działania algorytmu (2)
14. Redukcja grafu przydziału
15. Przykład redukcji grafu przydziału
16. Problem redukcji grafu zasobów nieodzyskiwalnych
17. Likwidowanie zakleszczenia
18. Unikanie zakleszczeń
19. Stan bezpieczny
20. Przykład stanu i ciągu bezpiecznego
21. Grafowa reprezentacja stanu — unikanie zakleszczenia
22. Graf przydziału z krawędziami deklaracji
23. Grafowa reprezentacja stanu — zagrożenie
24. Macierzowa reprezentacja stanu — unikanie zakleszczenia (1)
25. Macierzowa reprezentacja stanu — unikanie zakleszczenia (2)
26. Macierzowa reprezentacja stanu — unikanie zakleszczenia (3)
27. Macierzowa reprezentacja stanu — unikanie zakleszczenia (4)
28. Przykład działania algorytmu (1)
29. Przykład działania algorytmu (2)
30. Przykład działania algorytmu (3)
31. Przykład działania algorytmu (4)
32. Zapobieganie — wzajemne wykluczanie
33. Zapobieganie — przetrzymywanie i oczekiwanie
34. Zapobieganie — brak wywłaszczeń
35. Zapobieganie zakleszczeniom — cykl w oczekiwaniu
36. Łączenie metod postępowania z zakleszczeniami
37. Przykład grup zasobów
38. Przykład metod w obrębie grup zasobów