Variáveis de Condição

Associadas a um predicado baseado em dados partilhados.

• wait: espera pelo recurso
• signal e broadcast: acorda um ou todos os processos.
• Semelhante a um sleep channel. Para evitar problemas com a condição é necessário um mutex.
• Obriga a um processo manter vários locks: não há problema se os locks forem ordenados.
• Event: variável done, spin-lock protegendo a variável, e uma variável de condição.
• Blocking locks podem ser implementados com variáveis de condição.