Una variabile protetta che limita l'accesso a una risorsa condivisa. I semafori sono utilizzati per coordinare le attività in cui più processi si contendono le stesse risorse — per esempio, per condividere un comune spazio di memoria o condividere l'accesso ai file. Mutex e condizioni sono entrambi tipi di semaforo. Un semaforo è simile a un blocco, tranne che un numero finito di thread può essere tenuta un semaforo allo stesso tempo. Vedi anche la serratura.