Segundo Maia e Machado (2013), qual é o nome do mecanismo que impede que dois ou mais processos acessem o mesmo recurso simultaneamente, garantindo que o recurso seja acessado por apenas um processo por vez, enquanto os demais processos deverão aguardar o término da utilização do recurso?