O destinatie speciala tip de date introduse de către EW Dijkstra, care coordonează accesul la o anumită resursă sau un set de resurse partajate. Un semafor are o valoare de tip întreg (care nu poate deveni negativ), cu două operaţiuni de permise pe ea. Semnal (V, sau în sus) funcţionarea creşte valoarea de unul, şi, în general, indică faptul că o resursă a devenit liber. , Aşteptaţi (P sau în jos) funcţionarea scade valoarea de unul, atunci când se poate face fără a merge valoarea negativă, şi, în general, indică faptul că o resursă gratuită este pe cale să înceapă a fi folosite. A se vedea, de asemenea, de blocare semafor.