só pode haver um único processo executando dentro da região crítica.

um processo pode estimar a velocidade de acesso à memória em que está a região crítica.

um processo pode ter que esperar indefinidamente para entrar em sua região crítica.

um processo que executa fora da região crítica não pode bloquear outro processo.