O controle de acesso a uma região crítica pode se realizar por meio de um semáforo, que é um tipo abstrato de dado ao qual são associadas as operações P(s) e V(s), respectivamente, para incremento e decremento da variável s.
