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

Семафор - это низкоуровневый примитив синхронизации, который контролирует доступ к ресурсам. Он поддерживает счетчик (счетчик доступных ресурсов) и две основные операции: ожидание (wait) и сигнал (signal).

• Ожидание (Wait / wait()): Уменьшает счетчик. Если счетчик становится отрицательным (что указывает на отсутствие доступных ресурсов), текущий поток блокируется до тех пор, пока другой поток не вызовет сигнал.
• Сигнал (Signal / signal()): Увеличивает счетчик. Если после увеличения счетчик становится неотрицательным и есть заблокированные потоки, один из них разблокируется.

Семафоры могут использоваться для:

• Ограничения доступа к разделяемому ресурсу: Инициализируется с максимальным количеством потоков, которые могут одновременно получить доступ.
• Синхронизации задач: Один поток может ждать, пока другой поток завершит определенное действи