Ein Semaphor (griech.: Zeichenträger) ist eine Datenstruktur zur Prozesssynchronisation, also zur Lösung von Problemen, bei denen mehrere Prozesse ein Betriebsmittel verwenden wollen, von dem nur eine begrenzte Zahl (oft nur ein einziges Exemplar) zur Verfügung steht. Bei der Art des Betriebsmittels kann es sich um verschiedene Ressourcen (z.B. CPUs) oder Programmteile (sogenannte kritische Abschnitte) handeln.

Ursprünglich bezeichnet das Wort Semaphor einen Signalmast mit beweglichen Flügeln, wie er zur Nachrichtenübertragung in früheren Jahrhunderten eingesetzt wurde, später auch eine Verkehrsampel. Auch bei der Eisenbahn wurden die Formsignale als Semaphore bezeichnet. Der Informatiker Edsger W. Dijkstra hat Semaphore erstmals im Jahre 1965 bei der Implementierung seines Betriebssystems verwendet.