O documento discute deadlocks em sistemas de recursos compartilhados. Ele apresenta vários estados de alocação de recursos para processos e verifica se cada estado é seguro ou não através da análise da sequência de processos. O documento conclui que nenhum pedido de recursos viola o critério de segurança, pois todos os processos podem solicitar os recursos máximos disponíveis sem causar deadlocks.
Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Deadlocks 40
1. ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO
INSTITUTO POLITÉCNICO DA GUARDA
Trabalho Prático nº 6
Laura Maria Ribeiro Fernandim, nº 1000354 1
Deadlocks
A B C D A B C D A B C D
P0 0 0 1 2 0 0 1 2 1 5 2 0
P1 1 0 0 0 1 7 5 0
P2 1 3 5 4 2 3 5 6
P3 0 6 3 2 0 6 5 2
P4 0 0 1 4 0 6 5 6
6.1
A B C D
P0 0 0 0 0
P1 0 7 5 0
P2 1 0 0 2
P3 0 0 2 0
P4 0 6 4 2
6.2 Termina Precisa
A B C D
1 5 2 0
P0 0 0 1 2 0 0 0 0 1 5 3 2
P2 1 3 5 4 1 0 0 2 2 8 8 6
P1 1 0 0 0 0 7 5 0 3 8 8 6
P3 0 6 3 2 0 0 2 0 3 14 11 8
P4 0 0 1 4 0 6 4 2 3 14 12 12
Allocation Max Available
Need
A B C D A B C D
Available
R: O sistema encontra-se num estado seguro uma vez que a sequência
<P0, P2,P1,P3,P4> satisfaz o critério de segurança.
6.3 P1 - <0,4,2,0>
Como foram atribuídos ao P1 <0,4,2,0> vamos ficar com Available <ABCD> = <1100>
(1520-0420) e o P1 passa a ter como Allocation <1,4,2,0>
R: Sim, o pedido pode ser satisfeito imediatamente visto que a sequência
<P0,P2,P3,P1,P4> satisfaz o critério de segurança
Termina Precisa
A B C D
1 1 0 0
P0 0 0 1 2 0 0 0 0 1 1 1 2
P2 1 3 5 4 1 0 0 2 2 4 6 6
P3 0 6 3 2 0 0 2 0 2 10 9 8
P1 1 4 2 0 0 7 5 0 3 14 11 8
P4 0 0 1 4 0 6 4 2 3 14 12 12
B C D
Available
A B C D A
2. ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO
INSTITUTO POLITÉCNICO DA GUARDA
Trabalho Prático nº 6
Laura Maria Ribeiro Fernandim, nº 1000354 2
6.4 P4 - <0,1,0,1>
R: Não, pois não existemrecursos disponíveis
6.5 Para verificar esta situação vamos analisar as situações considerando o pior caso,
ou seja, vamos avaliar o máximo que cada processo pode pedir, dentro do available. Se
verificarmos que satisfaz o critério de segurança, podemos concluir que todos os
outros também satisfazem.
Para o P0não vamos precisar fazer pedidos pois já tem tudo atribuído.
No caso do P1, o máximo que pode pedir é <0,5,2,0>, passando o available a ser
<1,0,0,0> e o P1 passará a ter um allocation de <1,5,2,0>
Podemos concluir que para o máximo que P1 pode pedir a sequência <P0,P2,P1.P4,P3>
satisfaz o critério de segurança.
No caso do P2, pode pedir o máximo dos que necessita <1,0,0,2>
Podemos concluir que para o máximo que P2 pode pedir a sequência <P2,P1,P3.P4,P0>
satisfaz o critério de segurança.
Termina Precisa
A B C D
1 0 0 0
P0 0 0 1 2 0 0 0 0 1 0 1 2
P2 1 3 5 4 1 0 0 2 2 3 6 6
P1 1 5 2 0 0 7 5 0 3 8 8 6
P4 0 0 1 4 0 6 4 2 3 8 9 10
P3 0 6 3 2 0 0 2 0 3 14 12 12
B C D
Available
A B C D A
Termina Precisa
A B C D
1 5 2 0
P2 1 3 5 4 1 0 0 2 2 8 7 4
P1 1 0 0 0 0 7 5 0 3 8 7 4
P3 0 6 3 2 0 0 2 0 3 14 10 6
P4 0 0 1 4 0 6 4 2 3 14 11 10
P0 0 0 1 2 0 0 0 0 3 14 12 12
B C D
Available
A B C D A
3. ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO
INSTITUTO POLITÉCNICO DA GUARDA
Trabalho Prático nº 6
Laura Maria Ribeiro Fernandim, nº 1000354 3
No caso do P3, pode pedir o máximo dos que necessita <0,0,2,0>
Podemos concluir que para o máximo que P3 pode pedir a sequência <P3,P1,P2.P4,P0>
satisfaz o critério de segurança.
No caso do P4, o máximo que pode pedir é <0,5,2,0>, passando o available a ser
<1,0,0,0> e o P4 passará a ter um allocation de <0,5,3,4>
Podemos concluir que para o máximo que P4 pode pedir a sequência <P0,P2,P3.P1,P4>
satisfaz o critério de segurança.
R: Não existe nenhum pedido que não satisfaça o critério de segurança, uma vez que
todos os processos podem pedir o máximo de recursos disponíveis.
Termina Precisa
A B C D
1 5 2 0
P3 0 6 3 2 0 0 2 0 1 11 5 2
P1 1 0 0 0 0 7 5 0 2 11 5 2
P2 1 3 5 4 1 0 0 2 3 14 10 6
P4 0 0 1 4 0 6 4 2 3 14 11 10
P0 0 0 1 2 0 0 0 0 3 14 12 12
B C D
Available
A B C D A
Termina Precisa
A B C D
1 5 2 0
P0 0 0 1 2 0 0 0 0 1 5 3 2
P2 1 3 5 4 1 0 0 2 2 8 8 6
P3 0 6 3 2 0 0 2 0 2 14 11 8
P1 1 0 0 0 0 7 5 0 3 14 11 8
P4 0 0 1 4 0 6 4 2 3 14 12 12
B C D
Available
A B C D A