Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
10.1.2 Dependência de velocidade
O tempo que cada instrução atômica executa em um processo varia de acordo com muitos
fatores, como atividade de entrada e saída no computador, presença de outros processos
e prioridade dada a cada processo. Não se pode determinar a priori quantas instruções
atômicas um processo poderá executar antes que outro processo também o faça. Quando
estas diferenças na velocidade de execução de diferentes processos causam diferenças no
resultado esperado de uma computação, há uma condição de corrida.
No exemplo a seguir há uma variável global saldo, modificada por três threads
concorrentemente.
Usaremos os procedimentos make-thread, que cria uma thread a partir de um procedimento;
thread-start, que inicia uma lista de threads criadas por make-thread; e
thread-join, que espera até que uma lista de threads termine.
Função deposita(valor)
s ← saldo
saldo ← s + valor
Função repete-deposita
para todo 1 i 20 faça
deposita 10;
Função condicao-de-corrida
x ← make_thread repete-deposita
y ← make_thread repete-deposita
z ← make_thread repete-deposita
thread_start (x, y, z)
thread_join (x, y, z)
O valor de saldo após a execução dos dois processos concorrentemente dependerá da
velocidade de execução de cada processo, e poderá mudar cada vez que o programa for
executado: apesar de sessenta depósitos de valor dez serem efetuados, o valor do saldo
final difilmente será igual a seiscentos.
Versão Preliminar
A seguir traduzimos este exemplo para Scheme usando a SRFI 18. Usaremos thread-sleep!
com um número aleatóreo como argumento nas threads que fazem depósitos. Desta forma
aumentamos a probabilidade de que os resultados sejam diferentes cada vez que o pro-
228
[ 27 de outubro de 2010 at 15:47 ]