Em sistemas operacionais, Dijkstra propôs um mecanismo de sincronização baseado em uma variável inteira manipulada pelas operações wait (P) e signal (V) para controlar o acesso a recursos compartilhados. Assinale a alternativa que identifica esse mecanismo.