Deadlocks

Interblocagem
(Deadlocks)
IPG-ESTG EI 2016-17 Sistemas Operativos
Operating System Concepts 9th Edition Silberschatz, Galvin and Gagne 2013
Interblocagem (Deadlocks)
O Problema da Interblocagem
Modelo de Representao do Sistema
Caracterizao da Interblocagem
Mtodos para lidar com a Interblocagem

Preveno da Interblocagem
Evitar a Interblocagem
Deteo da Interblocagem
Recuperao de uma Interblocagem
Operating System Concepts 9th Edition

Silberschatz, Galvin and Gagne 2013 Sistemas Operativos - Interblocagem 2
Objetivos
Descrever o problema da interblocagem (deadlocks), que impedem
que processos concorrentes terminem as suas tarefas
Apresentar vrios mtodos para prevenir ou evitar a ocorrncia de

deadlocks num sistema computacional

O Problema da Interblocagem
Um grupo de processos bloqueados, cada um detendo um
determinado recurso e espera de obter outro recurso detido por um
dos outros processos bloqueados do grupo
Exemplo
O sistema tem 2 unidades de disco
Cada um dos processos P1 e P2 detm uma unidade de disco e
necessita de outra unidade
Exemplo
Semforos A e B, inicializados a 1
P0 P1
wait (A); wait(B);
wait (B); wait(A);

Exemplo: Travessia de uma Ponte
Trfego apenas num sentido

A ponte pode ser vista como um recurso
Se ocorrer um deadlock, pode ser resolvido fazendo recuar um
carro (preempo de recursos e rollback)
Se ocorrer um deadlock, podero ter de ser recuados vrios
carros
Possibilidade de ocorrer starvation (mngua)
Nota: a maioria dos sistemas operativos no previne a
ocorrncia ou no lida com deadlocks
Modelo de Representao do Sistema
Tipos/categorias de recursos do sistema R1, R2, . . ., Rm

Ciclos de CPU, espao de memria, dispositivos de E/S
Cada tipo de recurso Ri tem Wi instncias.
Num modo de operao normal, um processo pode utilizar um

recurso apenas na seguinte sequncia:
request (pedido do recurso)
use (utilizao do recurso)
release (libertao do recurso)

Caracterizao da Interblocagem:
Condies Necessrias
Uma situao de deadlock pode ocorrer se as 4 condies
seguintes se verificarem simultaneamente.
Excluso mtua: apenas um processo pode usar o recurso de
cada vez
Detm e espera: um processo que detm pelo menos um

recurso est espera de obter mais recursos detidos por outros
processos
Sem preempo: um recurso s pode ser libertado

voluntariamente pelo processo que o detm, depois de concluda
a sua tarefa
Espera circular: existe um conjunto de processos em espera

{P0, P1, , Pn} tal que P0 est espera de um recurso detido por
P1, P1 est espera de um recurso detido por P2, , Pn1 est
espera de um recurso detido por Pn, e Pn est espera de um
recurso detido por P0.

Grfico de Alocao de Recursos
Um conjunto de vrtices V e um conjunto de ligaes E.
V particionado em dois tipos:

P = {P1, P2, , Pn}, o conjunto de todos os processos do

sistema
R = {R1, R2, , Rm}, o conjunto de todos os tipos de recursos

do sistema
ligao de pedido ligao no sentido Pi Rj
ligao de atribuio ligao no sentido Rj Pi

Grfico de Alocao de Recursos (Cont.)
Processo
Tipo de recurso com 4 instncias
Pi pede instncia de Rj
Pi
Rj
Pi detm uma instncia de Rj
Pi
Rj

Exemplo
de um Grfico de Alocao de Recursos

com Deadlock
P3 pediu uma instncia do tipo de recurso R2

Existem 2 ciclos no sistema: P1-R1-P2-R3-P3-R2-P1
P2-R3-P3-R2-P2
Grfico com um Ciclo,

mas sem Deadlock
Existe 1 ciclo no sistema: P1-R1-P3-R2-P1

No entanto, no existe deadlock (quando P4 libertar R2, P3 recebe R2)
Grfico de Alocao de Recursos:
Factos Elementares
Se o grfico no contm ciclos no h deadlock

Se o grfico contm um ciclo

Se existir apenas uma instncia de cada tipo de recurso, ento
h deadlock
Se existirem vrias instncias de cada tipo de recurso,
possibilidade de ocorrer deadlock

Mtodos para Lidar com Deadlocks
Assegurar que o sistema nunca entra num estado de deadlock

Permitir que o sistema entre num estado de deadlock para depois o

recuperar
Ignorar o problema e fazer de conta que um deadlock nunca ocorre

no sistema
Mtodo seguido por muitos sistemas operativos, incluindo UNIX e
Windows

Preveno de Deadlocks
A preveno de deadlocks obtida restringindo o modo como os

pedidos de recursos podem ser feitos.
Vimos que uma situao de deadlock podia ocorrer se se verificassem

simultaneamente as 4 condies: excluso mtua, detm e espera,
sem preempo e espera circular
Assim, se for assegurado que pelo menos uma das condies no se

verifica, podemos prevenir a ocorrncia de um deadlock.
As desvantagens que se obtm com a preveno de deadlocks a

reduzida utilizao de recursos e o reduzido desempenho do sistema

Preveno de Deadlocks (Cont.)

Excluso Mtua no necessria para recursos partilhveis; deve
verificar-se apenas para recursos que no so partilhveis.
Um processo nunca necessita de esperar por um recurso que
pode ser partilhado

No entanto, no possvel prevenir a ocorrncia de um deadlock
por negao da condio de excluso mtua, uma vez que
alguns recursos so intrinsecamente no-partilhveis
Detm e Espera deve garantir que, sempre que um processo pea

um recurso, ele no detenha quaisquer outros recursos
Requer que o processo pea e que lhe sejam alocados todos os
recursos, antes de iniciar a sua execuo; Em alternativa, permitir
que o processo pea recursos apenas quando no detiver
nenhum
Baixa utilizao de recursos; possibilidade de starvation

Preveno de Deadlocks (Cont.)
Sem preempo
Se um processo que detm alguns recursos pedir outro recurso
que no lhe pode ser atribudo imediatamente, ento todos os
recursos que ele detm so libertados

Os recursos que lhe foram retirados so adicionados lista de
recursos pelos quais o processo est espera
O processo s ser reiniciado quando puder deter os seus
antigos recursos, bem como os novos recursos que pediu
Espera Circular uma maneira de garantir que esta condio nunca

se verifica definir uma ordenao de todos os tipos de recursos e
exigir que cada processo faa o pedido de recursos numa ordem
crescente de enumerao

Evitar Deadlocks
Um mtodo alternativo para evitar deadlocks exigir que o sistema tenha
a priori alguma informao adicional disponvel. Nomeadamente,
informao sobre como vo ser pedidos os recursos do sistema.
Os mtodos mais simples e teis exigem que cada processo
indique o nmero mximo de recursos de cada tipo que pode vir a

precisar
O algoritmo para evitar deadlocks verifica dinamicamente o estado

de alocao de recursos para garantir que nunca ocorre a condio
de espera-circular
O estado de alocao de recursos definido pelo nmero de

recursos alocados e disponveis, bem como pelo nmero mximo
de recursos que um processo pode pedir

Estado Seguro (Safe State)
Quando um processo pede um recurso disponvel, o sistema deve

verificar se a imediata alocao deixa o sistema num estado seguro
O sistema estar num estado seguro se existir uma sequncia <P1,
P2, , Pn> de todos os processos do sistema tal que, para cada Pi, os
recursos que Pi ainda poder vir a pedir podem ser satisfeitos pelos
recursos atualmente disponveis + os recursos detidos por todos os
processos Pj, com j < i
Ou seja:
Se as necessidades de recursos do processo Pi no esto
disponveis, ento Pi pode esperar at que todos os processos Pj
terminem e libertem os respetivos recursos
Quando os processos Pj terminarem, o processo Pi pode ento
obter os recursos necessrios, executar, devolver os recursos
alocados e terminar
Quando Pi terminar, o processo Pi +1 pode obter os seus recursos
necessrios, e assim sucessivamente para os restantes
processos
Estado Seguro: Factos Elementares
Se um sistema est num estado seguro (safe state) no h

deadlocks
Se um sistema est num estado inseguro (unsafe state)

possibilidade de deadlock
Evitar deadlock assegurar que o sistema nunca entra num

estado inseguro (unsafe state).

Estados Seguro, Inseguro e Deadlock

Algoritmos para Evitar Deadlocks
Uma nica instncia de cada tipo de recursos

Utilizar algoritmo do grfico de alocao de recursos
Mltiplas instncias em cada tipo de recursos

Utilizar algoritmo do banqueiro (bankers algorithm)

1. Algoritmo:
Ligao reivindicada (claim edge) Pi Rj indica que o processo Pi

poder pedir o recurso Rj; representada por uma linha tracejada
Ligao reivindicada convertida numa ligao de pedido quando

um processo pede um recurso
Ligao de pedido convertida numa ligao de atribuio quando

o recurso alocado ao processo
Quando um recurso libertado por um processo, a ligao de

atribuio reconvertida numa ligao reivindicada
Os recursos do sistema devem ser reivindicados a priori

1. Algoritmo:
Grfico de Alocao de Recursos para evitar deadlocks

1. Algoritmo:
Estado no-seguro (unsafe state) no Grfico de Alocao de

Recursos

1. Algoritmo:
Supor que o processo Pi pede um recurso Rj
O pedido pode ser satisfeito apenas se a converso da ligao de

pedido numa ligao de atribuio no resultar na formao de um

ciclo no grfico de alocao de recursos

2. Algoritmo:
Algoritmo do Banqueiro
Mltiplas instncias de cada tipo de recurso
Cada processo deve reivindicar a priori a mxima utilizao de cada

recurso
Quando um processo pede uma instncia de um recurso poder ter

de esperar
Quando um processo obtm todos os seus recursos, dever

libert-los ao fim de uma quantidade de tempo finita

Estruturas de Dados
para o Algoritmo do Banqueiro
Sejam n = nmero de processos, e m = nmero de tipos de recursos.

Available: Vetor de comprimento m. Se Available [j] = k, significa
que esto disponveis k instncias do tipo de recurso Rj
Max: matriz n x m. Se Max [i,j] = k, ento o processo Pi pode

pedir no mximo k instncias do tipo de recurso Rj
Allocation: matriz n x m. Se Allocation[i,j] = k ento Pi detm

atualmente k instncias de Rj
Need: matriz n x m. Se Need[i,j] = k, ento Pi poder necessitar de

mais k instncias de Rj para completar a sua tarefa
Need [i,j] = Max[i,j] Allocation [i,j]

Algoritmo para Verificar
se Sistema est num Estado Seguro
1. Sejam os vetores Work e Finish de comprimentos m e n,

respetivamente. Inicializar:
Work = Available
Finish [i] = falso para i = 0, 1, , n- 1
2. Encontrar um i tal que, tanto:

(a) Finish [i] = falso
(b) Needi Work
Se no existir nenhum i, passar ao passo 4
3. Work = Work + Allocationi

Finish[i] = verdade
passar ao passo 2
4. Se Finish [i] = verdade para todos os i, ento o sistema est num

estado seguro

Algoritmo de Pedido de Recurso

para o Processo Pi
Request = vetor de pedidos do processo Pi. Se Requesti [j] = k ento

o processo Pi quer k instncias do tipo de recurso Rj
1. Se Requesti Needi passar ao passo 2. Caso contrrio, declarar
condio de erro, uma vez que o processo excedeu o valor
reivindicado
2. Se Requesti Available, passar ao passo 3. Caso contrrio, Pi
deve esperar, uma vez que os recursos no esto disponveis
3. Simular que se alocam a Pi os recursos pedidos, modificando o
estado do sistema do modo seguinte:
Available = Available Request;
Allocationi = Allocationi + Requesti;
Needi = Needi Requesti;
Se seguro (safe) os recursos so alocados a Pi
Se no-seguro (unsafe) Pi deve esperar, sendo reposto o
anterior estado de alocao de recursos

Exemplo de aplicao
do Algoritmo do Banqueiro
5 processos: P0 a P4;
3 tipos de recursos:
A (10 instncias), B (5 instncias), e C (7 instncias)

Situao no instante T0:
Allocation Max Available
ABC ABC ABC
P0 010 753 332
P1 200 322
P2 302 902
P3 211 222
P4 002 433

Exemplo de aplicao
do Algoritmo do Banqueiro (Cont.)
O contedo da matriz Need definido por Max Allocation
Need
ABC
P0 743
P1 122
P2 600
P3 011
P4 431
O sistema est num estado seguro uma vez que a sequncia de

processos < P1, P3, P4, P2, P0> satisfaz os critrios de segurana

Exemplo: P1 faz o pedido de (1,0,2)
Verificar se Request Available (isto , (1,0,2) (3,3,2) verdade)

Allocation Need Available
ABC ABC ABC
P0 010 743 230

P1 302 020
P2 302 600
P3 211 011
P4 002 431
A execuo do algoritmo de segurana mostra que a sequncia < P1,

P3, P4, P0, P2> satisfaz o requisito de segurana
E o pedido de (3,3,0) por P4 pode ser satisfeito?
E o pedido de (0,2,0) por P0 pode ser satisfeito?

Deteo de Deadlock
Permite que o sistema entre num estado de deadlock
Algoritmo de deteo
Mecanismo de recuperao

Apenas uma Instncia
de cada tipo de Recurso
Manuteno de grfico espera-por (grfico wait-for)

Os vrtices so processos
Pi Pj se Pi est espera de Pj
Invocar periodicamente um algoritmo que tente encontrar um ciclo no

grfico. Se existir um ciclo, ento existe um deadlock
Um algoritmo para detetar um ciclo num grfico requer um nmero

de operaes da ordem de n2, em que n o nmero de vrtices no
grfico


e Grfico Wait-for
Grfico wait-for
correspondente

Vrias Instncias
de cada Tipo de Recurso
Available: Um vetor de comprimento m que indica o nmero de

recursos disponveis de cada tipo.
Allocation: Uma matriz n x m que indica o nmero de recursos de

cada tipo atualmente alocados a cada processo.
Request: Uma matriz n x m que indica os pedidos atuais de cada

processo. Se Request [i][j] = k, ento o processo Pi est a pedir mais
k instncias do tipo de recurso Rj.

Algoritmo de Deteo de Deadlock

1. Sejam Work e Finish vetores de comprimento m e n, respetivamente.
Inicializar:
(a) Work = Available
(b) Para i = 1,2, , n, se Allocationi 0, ento

Finish[i] = falso; caso contrrio, Finish[i] = verdade
2. Encontrar um ndice i tal que, tanto:

(a) Finish[i] = falso
(b) Requesti Work
Se i no existir, passar ao passo 4

Algoritmo de Deteo de Deadlock (Cont.)
3. Work = Work + Allocationi

Finish[i] = verdade
passar ao passo 2
4. Se Finish[i] = falso, para algum i, 1 i n, ento o sistema est num

estado de deadlock. Alm disso, se Finish[i] = falso, ento Pi est em
deadlock
O algoritmo requer um nmero de operaes da ordem de O(m x n2)

para detetar se o sistema est num estado de deadlock

Exemplo:
5 processos: P0 a P4; 3 tipos de recursos

A (7 instncias), B (2 instncias) e C (6 instncias)
Situao no instante de tempo T0:

Allocation Request Available
ABC ABC ABC
P0 010 000 000
P1 200 202
P2 303 000
P3 211 100
P4 002 002
A sequncia <P0, P2, P3, P1, P4> resultar em Finish[i] = verdade para
todos os i

Exemplo (Cont.):
P2 requer uma instncia adicional do recurso de tipo C

Request
ABC
P0 000
P1 202
P2 001
P3 100
P4 002
Qual o estado do sistema?

Apesar dos recursos detidos pelo processo P0 poderem ser
reivindicados, o nmero de recursos disponveis no suficiente
para satisfazer os pedidos dos outros processos
Assim, existe uma situao de deadlock, definida pelos processos
P1, P2, P3, e P4
Utilizao
do Algoritmo de Deteo de Deadlock
Quando invocar o algoritmo e com que regularidade? Depende de:

Com que regularidade provvel que ocorra um deadlock?
Quantos processos necessitaro de ser retrocedidos (rolled
back)?
Um por cada ciclo disjunto
Se o algoritmo de deteo for invocado arbitrariamente, poder haver

muitos ciclos no grfico de recursos, pelo que no saberemos dizer
qual dos muitos processos em deadlock causou o deadlock do
sistema.

Recuperao de um Deadlock:
Terminao de Processos
Abortar todos os processos em deadlock
Abortar um processo de cada vez, at que o ciclo que provoca o

deadlock seja eliminado
Que ordem escolher para abortar os processos?

Prioridade do processo
Quanto tempo esteve o processo em execuo, e quanto tempo
ainda falta para concluir
Recursos que o processo utilizou
Recursos de que o processo necessita para concluir
Quantos processos necessitam de ser terminados
O processo interativo ou no (batch)?

Recuperao de um Deadlock:
Preempo de Recursos
Selecionar uma vtima minimizar custos

Retroceder (rollback) repor em algum estado seguro, reiniciar o

processo nesse estado
Starvation (mngua) alguns processos podero ser sempre os

escolhidos como vtima: incluir nmero de vezes do processo de
rollback no fator custo


Deadlocks

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Deadlocks

Uploaded by

Copyright:

Available Formats

Interblocagem

Mtodos para lidar com a Interblocagem

Operating System Concepts 9th Edition

Apresentar vrios mtodos para prevenir ou evitar a ocorrncia de

Operating System Concepts 9th Edition

Operating System Concepts 9th Edition

Trfego apenas num sentido

Modelo de Representao do Sistema

Tipos/categorias de recursos do sistema R1, R2, . . ., Rm

Cada tipo de recurso Ri tem Wi instncias.

Num modo de operao normal, um processo pode utilizar um

Operating System Concepts 9th Edition

Detm e espera: um processo que detm pelo menos um

Sem preempo: um recurso s pode ser libertado

Espera circular: existe um conjunto de processos em espera

Operating System Concepts 9th Edition

V particionado em dois tipos:

P = {P1, P2, , Pn}, o conjunto de todos os processos do

R = {R1, R2, , Rm}, o conjunto de todos os tipos de recursos

ligao de pedido ligao no sentido Pi Rj

ligao de atribuio ligao no sentido Rj Pi

Operating System Concepts 9th Edition

Tipo de recurso com 4 instncias

Operating System Concepts 9th Edition

Operating System Concepts 9th Edition

P3 pediu uma instncia do tipo de recurso R2

Grfico com um Ciclo,

Existe 1 ciclo no sistema: P1-R1-P3-R2-P1

Se o grfico no contm ciclos no h deadlock

Se o grfico contm um ciclo

Operating System Concepts 9th Edition

Mtodos para Lidar com Deadlocks

Assegurar que o sistema nunca entra num estado de deadlock

Permitir que o sistema entre num estado de deadlock para depois o

Ignorar o problema e fazer de conta que um deadlock nunca ocorre

Operating System Concepts 9th Edition

A preveno de deadlocks obtida restringindo o modo como os

Vimos que uma situao de deadlock podia ocorrer se se verificassem

Assim, se for assegurado que pelo menos uma das condies no se

As desvantagens que se obtm com a preveno de deadlocks a

Operating System Concepts 9th Edition

Preveno de Deadlocks (Cont.)

pode ser partilhado

Detm e Espera deve garantir que, sempre que um processo pea

Operating System Concepts 9th Edition

recursos que ele detm so libertados

Espera Circular uma maneira de garantir que esta condio nunca

Operating System Concepts 9th Edition

indique o nmero mximo de recursos de cada tipo que pode vir a

O algoritmo para evitar deadlocks verifica dinamicamente o estado

O estado de alocao de recursos definido pelo nmero de

Operating System Concepts 9th Edition

Quando um processo pede um recurso disponvel, o sistema deve

Estado Seguro: Factos Elementares

Se um sistema est num estado seguro (safe state) no h

Se um sistema est num estado inseguro (unsafe state)

Evitar deadlock assegurar que o sistema nunca entra num

Operating System Concepts 9th Edition

Operating System Concepts 9th Edition

Algoritmos para Evitar Deadlocks

Uma nica instncia de cada tipo de recursos

Mltiplas instncias em cada tipo de recursos

Operating System Concepts 9th Edition

Ligao reivindicada (claim edge) Pi Rj indica que o processo Pi