Nella programmazione, un segnale che è usato per governare l'accesso al sistema risorse condivise. Un semaforo è una variabile flag — indicatore — che aiuta a mantenere l'ordine tra i processi che sono in competizione per l'uso di tali risorse critiche come porte di comunicazione e tempo a microprocessore. Vedere anche la bandiera