3. Sequência de eventos necessária para usar um recurso

4. Solicitar recurso

5. Usar recurso

6. Liberar recurso

7. Se o pedido for negado …

8. Pode bloquear e esperar -> semáforo ou espera ociosa

9. Pode falhar, retornando código de erro

12. Classe de recurso com 4 instâncias

13. Pi solicita instância de Ri

14. B solicita S

15. (1 instância de cada tipo de recurso)

16. Pi está mantendo uma instância de Ri

20. Grafo de alocação de recursos com um ciclo mas sem deadlock

22. indica a presença deadlock

25. Se houver várias instâncias de cada tipo de recurso => possibilidade de deadlock

29. um deadlock

30. Detecção de deadlocks com vários recursos de cada tipo Exemplo E = [4 2 3 1] E: vetor de recursos existentes A = [2 1 0 0] A: vetor de recursos disponíveis ( available ) C = 0 0 1 0 C: matriz de alocação atual ( current ) 2 0 0 1 0 1 2 0 R = 2 0 0 1 R: matriz de requisições 1 0 1 0 2 1 0 0 Ri <= A? A = A+Ci R2<=A A = A+C2 A=[4 2 2 1] Ri <= A? A = A+Ci R3<=A A = A+C3 A=[2 2 2 0] Ri <= A? A = A+Ci R1<=A A = A+C1 A=[4 2 3 1] A=E !!!

32. Assegura-se que o sistema nunca entrará num estado de deadlock

36. (depende da natureza do processo e do recurso)

38. Análise de estados seguros e inseguros

39. um estado é seguro se não está em deadlock e existe uma ordem de escalonamento

40. na qual todos os processos possam ser executados até sua conclusão. O sistema pode

41. garantir que todos os processos terminarão

42. estado inseguro : pode até ser que todos os processos terminem mas esta garantia

43. não pode ser dada.

46. o primeiro estado é seguro porque há uma ordem de escalonamento (BCA) que permite

47. que todos os processos terminem. Já o segundo estado é inseguro porque permite

48. apenas que B termine: A e C necessitarão de 5 recursos e estarão disponíveis apenas

49. 4. seguro inseguro

52. Pedido de recursos feitos por ordem numérica

53. Grafo de recursos nunca terá ciclos