Em diversos Sistemas Operacionais, processos que estão trabalhando juntos compartilham recursos, como memória, onde todos podem ler e escrever. Uma das soluções propostas para solucionar problemas com sincronização, e evitar condições de corrida, é a utilização de um tipo específico de variável chamada de semáforo. Sobre a utilização dos semáforos no controle de acesso a recursos compartilhados, assinale a opção que corretamente descreve a operação down, que também pode ser chamada de wait ou P.