Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
Função exemplo_deadlock
a ← make_thread processo_A;
b ← make_thread processo_B;
thread_start (a, b);
thread_join (a, b);
processo A
tenta obter
recurso Y
alocado para
alocado para
recurso X
tenta obter
processo B
Figura 10.1: O processo A espera pelo recurso Y, que está alocado para B. No entanto, B
só liberará Y após obter X, que está alocado para A.
tentam obter o mesmo mutex, uma delas permanece bloqueada até que a outra libere o
mutex.
O programa Scheme a seguir, por exemplo, sempre entrará em deadlock. Os procedimentos
make-mutex, mutex-lock! e mutex-unlock! são usados para criar, travar e liberar
mutexes.
( define make-conta
( lambda (v)
( cons v ( make-mutex ))))
( define valor car )
( define set-valor ! set-car !)
( define lock-conta cdr )
Versão Preliminar
( define-syntax with-account
( syntax-rules ()
((_ r body ...)
( begin
( mutex-lock ! r)
body ...
( mutex-unlock ! r )))))
[ 27 de outubro de 2010 at 15:47 ]
231