Un type de données spéciaux introduit par e. , w. Dijkstra qui coordonne l'accès à une ressource particulière ou un ensemble de ressources partagées. a sémaphore a une valeur de type entier (qui ne peut pas devenir négative) avec deux opérations autorisées sur elle. Le signal (V ou plus) augmente la valeur d'une unité et indique en général qu'une ressource est devenu libre. L'attente (P ou vers le bas) opération diminue la valeur d'une unité, lorsque cela peut se faire sans la valeur passe de négatif et indique en général qu'une ressource libre est sur le point de commencer à être utilisé. Voir aussi sémaphore verrou.