Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
11 M E M Ó R I A C O M PA R T I L H A DA
Quando a comunicação entre processos se dá por memória compartilhada é necessário
usar algoritmos para garantir que seja possível acessar variáveis compartilhadas sem
condições de corrida. Há trechos de código que realizam acesso a variáveis compartilhadas
entre threads de tal maneira que se mais de uma thread executar tal trecho, uma condição
de corrida pode levar as variáveis a um estado inconsistente. Estes trechos de código são
chamados de seções críticas.
11.1 travas (locks) de exclusão mútua
Uma solução para exclusão mútua é exigir que cada thread que pretenda usar um recurso
compartilhado adquira uma trava, ou lock antes de acessar o recurso, e a libere logo
depois:
( define deposita
( lambda ( conta valor )
( lock ! conta )
( set-saldo ! conta (+ ( saldo conta ) valor ))
( unlock ! conta )))
Os procedimentos lock! e unlock! seriam usados para travar e destravar o acesso à
variável conta: quando uma thread executa (lock! x), ela passa a deter o acesso à trava
x, e outras threads só conseguirão acesso a esta trava quando a primeira thread liberá-la
com unlock!
Os procedimentos lock! e unlock! são grafados com o ponto de exclamação no final
porque necessariamente causam efeito colateral, modificando o estado (oculto) de alguma
estrutura.
Versão Preliminar
Há diferentes maneiras de implementar as operações para adquirir e liberar locks. Os
procedimentos lock! e unlock! podem ser construídos usando diferentes algoritmos –
[ 27 de outubro de 2010 at 15:47 ]
239