Sebuah metode klasik untuk membatasi akses ke sumber daya bersama (misalnya, penyimpanan) dalam lingkungan multiprocessing. Semafor adalah sebuah variabel dilindungi (atau tipe data abstrak) yang dapat diakses hanya dengan operasi tertentu untuk pengujian dan incrementing nilai variabel.