Programação Funcional e Concorrente com Scheme

notas de aula -
Jerônimo C. Pellegrini
A sincronização usando lightswitch descrita na seção 11.3.3 pode levar a starvation
da thread escritora, que poderia ser indefinidamente preterida quando da disputa pelo
lock. No entanto, as leitoras no pool de threads também removem itens da fila – e quando
a fila estiver vazia, a thread escritora necessariamente conseguirá o lock.
Para obter um item de trabalho, uma thread trabalhadora deve primeiro esperar até
que haja itens disponíveis. Ela não pode excluir a thread produtora ainda, ou haveria
um deadlock. Em seguida, havendo itens na fila, esta thread exclui a produtora e depois
adquire exclusividade para obter o item de trabalho:
( define get-work-item !
( lambda ()
( semaphore-wait ! * work-q-nonempty *)
( enter-work-queue * work-q-no-getters *)
( semaphore-wait ! * work-q-get-mutex *)
( let (( item ( dequeue ! * work-queue *)))
( semaphore-signal-by ! * work-q-get-mutex * 1)
( leave-work-queue * work-q-no-getters *)
item )))
Depois de obter o item, a thread abre mão da exclusividade e sai da sala; se ela for a
última a fazer um get, a thread produtora poderá entrar para adicionar itens.
Para adicionar itens de trabalho, a thread produtora espera primeiro que não haja
consumidoras, depois adiciona o item na fila. Em seguida, avisa as consumidoras que há
mais um item disponível e permite que elas entrem:
( define add-work-item !
( lambda ( item )
Versão Preliminar
( semaphore-wait ! * work-q-no-getters *)
( set ! * work-queue * ( enqueue ! * work-queue * item ))
( semaphore-signal-by ! * work-q-nonempty * 1)
( semaphore-signal-by ! * work-q-no-getters * 1)))
Um worker retira um item de trabalho da fila, chama interage e fecha a porta TCP.
Em seguida, recomeça com outro item de trabalho. Se a fila de trabalho estiver vazia, o
worker ficará bloqueado.
( define worker
( lambda ()
( let loop (( item ( get-work-item !)))
[ 27 de outubro de 2010 at 15:47 ]
261