UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

A seguir: Buffer com sincronização interna: Acima: Exclusão Mútua Anterior: Buffer com sincronização interna:

Deadlocks

• Se p. ex. o produtor encontrar n $\geq$ 10, entrará em loop de espera, de posse da chave!
• Situações de bloqueio como esta são conhecidas como pelo termo em inglês deadlock
• Um deadlock é caracterizado por uma espera circular
• Exemplo: o processo p₁ está de posse do recurso r₁, e precisa do recurso r₂; o processo p₂ está de posse de r₂, e precisa de r₃; p₃ está de posse de r₃, e precisa de r₁ para progredir.
• No caso acima, o produtor tem a chave, e precisa de uma posição vazia; o consumidor tem a posição vazia, e precisa da chave.