Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
( lambda ()
( let ((x ( list i (* 2 i ))))
( mutex-lock ! lock )
( enqueue ! x q)
( condition-variable-signal ! not-empty )
( mutex-unlock ! lock )
( set ! i (+ 1 i))
( produce )))))
A thread consumidora começa adquirindo o mutex. Em seguida verifica se a fila está
vazia – se estiver, chama mutex-unlock!, liberando o mutex para o produtor e bloqueando
a si mesma até que not-empty seja sinalizada. Ao ser acordada, readquire o mutex e verifica
se a fila ainda está vazia.
Quando a fila não estiver vazia, o consumidor retira um item, mostra, e libera o
mutex. Depois recomeça o laço.
( define consume
( lambda ()
( let wait-for-it ()
( mutex-lock ! lock )
(if ( empty-q q)
( begin
( mutex-unlock ! lock not-empty )
( wait-for-it ))))
( let ((z ( dequeue ! q )))
( display z)
( newline ))
( mutex-unlock ! lock )
( consume )))
Agora basta que criemos as threads produtora e consumidora.
( let ((p ( make-thread produce ))
(c ( make-thread consume )))
( print " starting !\n")
( thread-start ! c)
( thread-start ! p)
( thread-join ! c)
( thread-join ! p))
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
243