Una variable protegida que limita el acceso a un recurso compartido. Los semáforos se utilizan para coordinar las actividades en las que varios procesos compiten por los recursos. Por ejemplo, para compartir un espacio de memoria común o compartir el acceso a los archivos. Los Mutex (algorítmos de exclusión mutua) y las condiciones son los dos tipos de semáforos.