Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
11.6 memória transacional
Sistemas que suportam memória transacional oferecem primitivas para iniciar e terminar
transações com semântica semalhante à de begin-transaction e commit, comuns em sistemas
gerenciadores de bases de dados [43, 44]. Uma exposição mais completa sobre o assunto
pode ser encontrada no livro de Harris e outros [45].
Uma implementação de Scheme com suporte a memória transacional 6 poderia oferecer
a forma especial atomically:
( atomically
( let ((x ( standard-deviation vec ))
(y (* x z )))
( set ! a (+ a x ))))
Outra possibilidade é exigit que o programador indique explicitamente as variáveis
usadas em cada transação:
( let ((x #f)
(y #f))
( atomically-with (x y)
( set ! x ( standard-deviation vec ))
( set ! y (* x z))
( set ! a (+ a x ))))
A forma especial atomically-with marcaria as variáveis X e y, já existentes no contexto
léxico daquela forma, de forma que todas as modificações nelas façam parte da
transação.
Seria interessante também definir sintaxe para o caso em que as variáveis estão sendo
introduzidas, com uma variante de let:
( atomically-let ((x ( standard-deviation vec ))
( set ! a (+ a x )))
(y (* x z )))
Versão Preliminar
6 Independente de haver ou não suporte por hardware.
[ 27 de outubro de 2010 at 15:47 ]
259