Какой параметр передается при инициализации Semaphore?

Концепция семафора и его параметр при инициализации

При инициализации объекта DispatchSemaphore в Swift (или dispatch_semaphore_t в Objective-C) передается один ключевой параметр: начальное значение счетчика (initial count). Этот целочисленный параметр (Int) определяет исходное количество доступных "ресурсов" или "проходов", которые семафор контролирует.

Как работает этот параметр

Семафор — это механизм синхронизации, основанный на счетчике. Его логика:

• Если начальное значение > 0, семафор считается "открытым" — он позволяет нескольким потокам (в количестве равном начальному значению) сразу получить доступ к ресурсу без ожидания.
• Если начальное значение = 0, семафор начинает в "закрытом" состоянии — первый поток, вызвавший wait(), будет блокирован до тех пор, пока другой поток не выполнит signal().
• Начальное значение не может быть отрицательным — это приведет к ошибке.

Пример инициализации в Swift

import Dispatch

// Создание семафора с начальным значением 2
let semaphore = DispatchSemaphore(value: 2)

// Пример использования для ограничения параллельных задач
for i in 1...5 {
    DispatchQueue.global().async {
        print("Задача \(i) пытается получить доступ")
        
        // Уменьшает счетчик. Если счетчик > 0, продолжает; если 0, ждет.
        semaphore.wait()
        
        print("Задача \(i) получила доступ и выполняет работу")
        sleep(1) // Имитация работы
        
        // Увеличивает счетчик, разрешая другим задачам войти.
        semaphore.signal()
        
        print("Задача \(i) завершила работу и освободила семафор")
    }
}

Практическое значение параметра

Начальное значение напрямую связано с типом использования семафора:

1. Ограничение количества параллельных операций (как в примере выше). Например, при работе с сетью или файловой системой, чтобы не перегружать ресурсы.

2. Координация между потоками (начальное значение 0). Используется, когда один поток должен ожидать сигнала от другого:

let coordinatingSemaphore = DispatchSemaphore(value: 0)

DispatchQueue.global().async {
    // Выполняем подготовительную работу
    print("Подготовка данных завершена")
    coordinatingSemaphore.signal() // "Разрешаем" продолжение
}

coordinatingSemaphore.wait() // Главный поток ждет сигнала
print("Можно продолжать основную работу")

1. Защита пула ресурсов. Если у вас есть фиксированный набор ресурсов (например, соединений с базой данных), начальное значение равно размеру пула.

Внутренняя реализация и аналогии

Под капотом DispatchSemaphore использует низкоуровневый механизм Grand Central Dispatch (GCD). Счетчик — это атомарная переменная. Операции wait() и signal() соответствуют классическим операциям P (приобрести) и V (освободить) из теории семафоров Дейкстры.

Ключевые моменты для собеседования

• Параметр один и обязательный: DispatchSemaphore(value: Int)
• Смысл параметра: исходное количество разрешений для параллельного доступа
• Когда использовать 0: для строгой последовательности (поток A ждет сигнала от потока B)
• Когда использовать N>0: для контроля уровня параллелизма (не более N задач одновременно)
• Ошибки: отрицательное значение вызовет исключение; длительное ожидание может привести к deadlock, если signal() не будет вызван

Понимание этого параметра — основа для грамотного использования семафоров в многопоточном программировании на iOS для решения задач синхронизации, ограничения ресурсов и координации потоков.