Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
grama for executado. Mesmo sem este artifício, o programa ainda seria suscetível à
condição de corrida e o saldo seria muito provavelmente menor do que seiscentos.
O procedimento deposita é onde acontece a leitura e atribuição da variável global,
e é apenas ali que a execução concorrente se torna um problema. Trechos de programa
como este são chamados de regiões (ou seções) críticas.
( define saldo 0)
( define deposita
( lambda ( valor )
( let ((s saldo ))
( thread-sleep ! (* ( random-real ) 0.020))
( set ! saldo (+ valor s))
( thread-sleep ! (* ( random-real ) 0.070)))))
( define repete-deposita
( lambda ()
(do ((i 0 (+ 1 i )))
((= i 20))
( deposita 10))))
( define cria-threads
( lambda ( proc n)
(if ( zero n)
’()
( cons ( make-thread proc )
( cria-threads proc (- n 1))))))
( let (( threads ( cria-threads repete-deposita 3)))
( for-each thread-start ! threads )
( for-each thread-join ! threads )
( display " Saldo final : ")
( display saldo )
( newline ))
Versão Preliminar
Um trecho de código que modifica variáveis compartilhadas entre threads é
chamado de seção crítica.
[ 27 de outubro de 2010 at 15:47 ]
229