Monitores: Proposta de Hoare

Processos são atrasados em condition variables ;
Sobre uma condition variable são definidas as operações de wait e signal ;
A execução de cond.signal por um processo P tem como efeito:
- se nenhum processo estiver bloqueado em cond , P prossegue normalmente;
- senão, um dos processos bloqueados é escolhido para prosseguir, e P é atrasado até que este processo libere o monitor;
- faz parte da definição que a escolha do acordado não é sujeita a ``starvation'';
- acordadores têm prioridade sobre os novatos na tomada do monitor.