Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
( lambda ( datum )
( mutex-lock ! writers-right )
( set ! data-left datum )
( semaphore-signal-by ! read-left-ok 1)
( semaphore-wait ! write-right-ok )
( mutex-unlock ! write-right )))
( write-left
( lambda ( datum )
( mutex-lock ! writers-left )
( set ! data-right datum )
( semaphore-signal-by ! read-right-ok 1)
( semaphore-wait ! write-left-ok )
( mutex-unlock ! writers-left )))
( read-right
( lambda ()
( semaphore-signal-by ! write-left-ok 1)
( semaphore-wait ! read-right-ok )
data-right ))
( read-left
( lambda ()
( semaphore-signal-by ! write-right-ok 1)
( semaphore-wait ! read-left-ok )
data-left )))
( list ( cons read-left write-left )
( cons read-right write-right ))))))
Versão Preliminar
O fecho retorna uma célula cons onde o car é o canal da esquerda e o cadr é o canal
da direita; podemos então usar car e cadr para acessar as duas pontas:
( define channel-left car )
( define channel-right cadr )
Os procedimentos e ! simplesmente chamam os fechos que, na definição de
make-channel, tinham os nomes de read-left, read-right, write-left e write-right:
( define
[ 27 de outubro de 2010 at 15:47 ]
285