Programação Funcional e Concorrente com Scheme

notas de aula - Jerônimo C. Pellegrini
Figura 11.2: Um monitor com variáveis de condição bloqueantes.
Na Figura 11.2, a thread A ocupa o monitor e as threads B, C e D esperam por
variáveis de condição. Se A chamar signal Y, uma das threads na fila Y acordará e
passará imediatamente a ocupar o monitor; a thread A ficará então em uma fila S, que
tem prioridade sobre a fila de entrada.
11.5.2 Variáveis de condição sem bloqueio
Pode-se modificar a idéia original de monitores para permitir que uma thread continue
executando após chamar signal. Neste caso, as threads que são liberadas para adquirir o
monitor passam para a fila de entrada. O diagrama da Figura 11.3 mostra um monitor
onde signal não bloqueia: quando A chamar signal Y, C e D voltarão para a fila de
entrada, e A continuará executando.
Versão Preliminar
[ 27 de outubro de 2010 at 15:47 ]
255