Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
11.6.1 Suporte por hardware
11.6.2 Memória transacional por software
Em 1997 Shavit e Touitou propuseram implementar memória transacional sem suporte
por hardware [46].
11.7 thread pools
Quando threads vivem por pouco tempo e são criadas em grande quantidade, há uma
sobrecarga de tempo e recursos relacionada ao processo de criação e destruição de threads.
Uma técnica de implementação (ou “padrão de projeto”) importante é o uso de pools de
threads.
Um número de threads é criado; estas threads não executam diretamente código
relacionado ao trabalho que deve ser realizado. Estas threads buscam itens de trabalho
em uma fila e os executam. Um item de trabalho consiste de um procedimento e seus
dados (em Scheme isto se traduz naturalmente para fechos).
Assim, uma mesma thread pode executar um procedimento A, retornar ao pool e
mais tarde executar um procedimento B.
Nossa implementação de exemplo usa três semáforos:
• *work-q-nonempty*, inicializado com zero, é usado para indicar às threads trabalhadoras
que há trabalho disponível na fila. O valor neste semáforo será o número
de itens disponíveis (da mesma forma que o semáforo usado no problema produtor/consumidor);
• *work-q-no-getters*, inicializado com um, é um lightswitch 7 usado para excluir
as threads trabalhadoras enquanto a thread geradora de trabalho inclui itens. Este
semáforo indica quantas threads trabalhadoras estão tentando retirar itens da fila;
• *work-q-get-mutex*, inicializado com um (é um mutex), é usado para que apenas
uma thread trabalhadora retire elementos da fila de cada vez (de outra forma o
mesmo item de trabalho poderia ser tomado por duas threads).
7 Veja a seção 11.3.3
Versão Preliminar
260
[ 27 de outubro de 2010 at 15:47 ]