O variabilă protejată care restricţionează accesul la o resursă partajată. Semafoarele sunt utilizate pentru a coordona activităţile în care mai multe procese concurează pentru aceleași resurse - de exemplu, pentru a partaja un spaţiu de memorie comun sau să permită accesul la fişiere. Obiectele mutex şi condiţiile sunt amandouă niște tipuri de semafor. Un semafor este similar cu o blocare, cu excepţia faptului că un număr finit de threaduri pot fi reținute într-un semafor, în acelaşi timp. A se vedea, de asemenea, lock.