Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
produtor
consumidor
Figura 10.2: O problema produtor/consumidor.
( set ! fila-comum ( enqueue ! fila-comum num ))
( mutex-unlock ! filas )
( produz-comum ))))
( let (( threads ( list ( make-thread print-loop )
( make-thread produz-vip )
( for-each thread-start ! threads )
( make-thread produz-comum ))))
( thread-join ! ( car threads ))) ;; will never finish anyway
10.2 problemas e exemplos típicos
(Esta seção está incompleta)
Aqui são descritos alguns problemas típicos de programação concorrente. Há muitos
outros problemas no livro de Allen Downey [38], que mostra para cada um uma solução
usando semáforos.
10.2.1 Produtor-consumidor
Um processo produz dados sequencialmente, mas sem periodicidade definida, e os deixa
em um buffer de tamanho limitado. Outro processo usa estes dados, e os descarta após o
uso. Quando o buffer está cheio, somente o processo consumidor pode atuar; quando o
buffer está vazio, somente o produtor pode prosseguir. A Figura 10.2 ilustra esta situação.
É necessário que ambos usem um mecanismo de sincronização para acessarem o buffer
sem que os dados sejam incorretamente modificados e também para que cada processo
saiba se pode ou não prosseguir.
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
235