Em sistemas operacionais multitarefa, considere três processos concorrentes que acessam uma mesma região crítica protegida por um semáforo binário inicializado com valor 1. Considere que nenhum processo esteja na região crítica no momento da tentativa de acesso. É correto afirmar que, caso dois processos tentem acessar simultaneamente a região crítica: