Dentre os diversos mecanismos empregados pelos sistemas operacionais modernos, destaca-se uma ferramenta de sincronização, denominada ________________, que corresponde à uma variável inteira que, além da inicialização, só é acessada através de duas operações-padrão: P e V. As modificações no valor inteiro nas operações P e V devem ser executadas de forma indivisível. Ou seja, quando um thread modifica o valor da variável inteira, nenhum outro thread pode modificar simultaneamente este valor. Este mecanismo pode ser usado para controlar o acesso à um determinado recurso em quantidade limitada (finita). A variável inteira é inicializada com o número de recursos disponíveis. Cada thread que desejar usar um recurso executaria uma operação P, decrementando assim a contagem. Quando um thread libera um recurso, ele realiza uma operação V, incrementando a contagem. Quando a contagem estiver com o valor zero, todos os recursos estarão sendo utilizados.