Un sémaphore est un type de donnée définit pour la première fois par Edsger Dijkstra (Néerlandais) en 1968 pour le système d'exploitation THE Operating System. Le sémaphore est un outil logiciel exploitant des instructions matérielles spécifiques (TAS: Test And Set). Il permet d’éviter certaines problématiques (interblocage, famine) liées à l’exécution concurrentielle des processus sur des systèmes multitâche. Ces problématique se présentent lorsque des processus concurrents doivent partager des ressources en écriture (fichiers, espaces mémoire etc). Le sémaphore permet de rendre atomiques un groupe d'instructions afin de garantir l'intégrité des données partagées entre les processus.