Please enable JavaScript.
Coggle requires JavaScript to display documents.
Mecanismos de coordenação - Coggle Diagram
Mecanismos de coordenação
Semáforos
Mecanismo de coordenação para controle de exclusão mútua
Eficiente e flexível
Estrutura
Uma fila de tarefas (inicialmente vazia)
Contador
Função down
decrementa contador e testa, se contador menor que zero, tarefa é adicionada a fila do semáforo e suspensa. Senão, tarefa pode continuar a execução
Bloqueante
Função up
Incrementa o contador e testa o mesmo. Se menor que 0, indica que a tarefa está suspensa no semáforo. A primeira tarefa da fila do semáforo é devolvida para fila de prontas.
Não bloqueante
Função init
Função para iniciar o semáforo (fila e contador)
Operações devem ser atômicas
Oferecem
Justiça
Independência
Eficiência
Formas de implementação
Semáforos
Mutex
Semáforo binário
Variáveis de condição
Monitores
Estrutura de sincronização que requisita e libera a seção crítica de forma transparente