Un metodo classico per limitare l'accesso alle risorse condivise (ad esempio, archiviazione) in un ambiente multiprocessore. a semaforo è una variabile protetta (o astratto il tipo di dati) sono accessibili solo da determinate operazioni per il testing e incrementare il valore della variabile.