Leitores e Escritores: Comentários

Um ponto importante a ser observado nesta solução é a tranquilidade garantida pela construção

while (condition) {
   wait(b,mutex);
}
/* sabemos que !condition \'{e} valida aqui! */

Um processo acordado não confia nos testes sobre os dados compartilhados realizados antes de ir dormir;

Muito importante, pois como a chave é liberada ao dormir, outro processo pode ter modificado estes dados.