O metoda clasica pentru restricţionarea accesului la resurse partajate (de exemplu, depozitare), într-un mediu multiprocesare. Un semafor este o variabilă protejat (sau abstract tip de date), care pot fi accesate doar de către anumite operaţiuni pentru testarea si cresterea valorii a variabilei.