Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
por exemplo o de Peterson e o de Lamport – mas é mais comum que sejam implementados
mais diretamente com suporte de hardware.
O tempo usado por threads para adquirir e liberar locks é chamado de overhead
de lock.
• A disputa por um recurso pode bloquear um número excessivo de threads;
• O overhead de lock existe mesmo quando a probabilidade de conflito entre threads
é muito baixa, e pode levar a um problema de eficiência;
• O uso de locks tem como efeito colateral a possibilidade de deadlocks.
Uma thread está em espera ocupada quando, ao invés de ser interrompida para
ceder seu tempo a outra enquanto espera, permanece executando um laço à
espera de que uma condição se modifique 1 .
11.2 variáveis de condição
(esta seção está incompleta)
Há situações em que além de garantir exclusão mútua entre threads, precisamos
evitar que threads permaneçam em espera ocupada. Nestas situações usaremos variáveis
de condição.
Usaremos novamente como exemplo o problema produtor/consumidor. Um servidor
que processa requisições em um buffer poderia usar o algoritmo a seguir para consumir
requisições.
repita sempre
se há requisições no buffer então
r ← desenfilera buffer
trata r
Evidentemente, o mecanismo de exclusão mútua para acesso ao buffer está dentro de
desenfilera.
Versão Preliminar
1 A espera ocupada com spinlocks é útil na implementação de sistemas operacionais, em situações em que
cada thread permanece muito pouco tempo na seção crítica, e desta forma o tempo que outras threads
permanecerão em espera ocupada é pequeno. Em outras situações a espera ocupada pode causar problemas,
e deve-se optar por outro mecanismo.
240
[ 27 de outubro de 2010 at 15:47 ]