Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( define retira
( lambda (a v)
( set-valor ! a (- ( valor a) v ))))
( define deposita
( lambda (a v)
( set-valor ! a (+ ( valor a) v ))))
( define transfere
( lambda (a b v)
( with-account ( lock-conta a)
( thread-sleep ! 0.200)
( with-account ( lock-conta b)
( retira a v)
( deposita b v )))))
( define conta-a ( make-conta 0))
( define conta-b ( make-conta 0))
( let (( threads ( map make-thread
( list ( lambda ()
( transfere conta-a conta-b 10))
( lambda ()
( for-each thread-start ! threads )
( for-each thread-join ! threads ))
( transfere conta-b conta-a 5))))))
( print ( valor conta-a ) "; " ( valor conta-b ) "\n")
Neste exemplo, os recursos são contas bancárias. Para transferir um valor de A para
B, uma thread obtém um mutex lock em A e depois tenta obter para B. Outra thread já
obteve o mutex lock para B e então aguarda para obter o lock de A.
Pode-se prevenir ou resolver deadlocks: para prevení-los é necessário eliminar pelo
Versão Preliminar
menos uma das condições para sua existência:
• Exclusão mútua: um recurso pode ser alocado para no máximo um processo de cada
vez;
232
[ 27 de outubro de 2010 at 15:47 ]