A o semáforo de Dijkstra apresenta o inconveniente da espera ocupada.
B ao entrar na região crítica, o semáforo binário chama a instrução binary_enter.
C o semáforo mutex (mutual exclusion) pode assumir qualquer valor inteiro positivo.
D a instrução mutex_lock, executada sobre valor 0, faz o thread entrar no estado de espera
E a rotina broadcast garante que apenas um único processo possa escrever na região crítica.