🧨 Что такое семафор?

Семафор (semaphore) — примитив синхронизации, основанный на счётчике, который поддерживает атомарные операции: инкремент и декремент, при этом операция уменьшения для нулевого значения счётчика является блокирующей

Семафор представляет собой счетчик, который увеличивается или уменьшается потоками. Если счетчик равен нулю, потоки, пытающиеся уменьшить его значение, блокируются до тех пор, пока счетчик не станет больше нуля

В основном служат для построения более сложных механизмов синхронизации