Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Este exemplo expressa o problema através de um mecanismo de memória compartilhada,
mas o mesmo problema pode ocorrer usando passagem de mensagens: basta que
se modele a variável global como um processo e que o acesso a ela seja feito através de
mensagens.
Normalmente o problema das seções críticas é resolvido impondo-se a exigência de
que apenas uma thread acesse a variável de cada vez. A isso se dá o nome de exclusão
mútua (é comum usar a contração mutex, do Inglês “mutual exclusion”).
10.1.3 Deadlocks
Quando um conjunto de processos fica impossibilidado de prosseguir executando, temse
um deadlock. Os deadlocks acontecem quando processos diferentes tentam adquirir
recursos gradualmente usando exclusão mútua e chegam a um impasse. A Figura 10.1.3
mostra a situação em que dois processos, A e B, tentam adquirir recursos X e Y (note que
os recursos são liberados por cada um dos processos na ordem inversa em que foram
adquiridos):
Função processo_A
adquire_recurso X;
adquire_recurso Y;
· · · ;
libera_recurso Y;
libera_recurso X;
Função processo_B
adquire_recurso Y;
adquire_recurso X;
· · · ;
libera_recurso X;
libera_recurso Y;
Este programa, quando executado, entrará em deadlock, e nenhuma mensagem será
mostrada ao usuário.
Versão Preliminar
Uma maneira de implementar acesso exclusivo de threads a recursos é usando mutexes.
Um mutex é um objeto que pode ser “travado” por uma thread; quando duas threads
230
[ 27 de outubro de 2010 at 15:47 ]