Что такое семафор в контексте программирования?

Семафор — это примитив синхронизации потоков, который управляет доступом к ограниченному ресурсу. Он поддерживает целочисленный счётчик.

Основные операции:

• wait() (или P / acquire): Уменьшает счётчик на 1. Если счётчик становится отрицательным, поток блокируется до тех пор, пока другой поток не выполнит signal().
• signal() (или V / release): Увеличивает счётчик на 1. Если есть заблокированные потоки, один из них разблокируется.

Типы семафоров:

• Бинарный семафор (мьютекс): Счётчик принимает значения 0 или 1. Используется для обеспечения взаимного исключения – только один поток может получить доступ к ресурсу одновременно.
• Счетный семафор: Счётчик может принимать значения от 0 до N. Используется для управления доступом к пулу ресурсов с ограниченным количеством доступных элементов.

Пример использования на Swift для ограничения количества одновременно работающих задач:

swift