Что произойдёт, если semaphore инициализировать со значением 1?

Question

Semaphore со значением 1 будет вести себя как mutex. Только один поток сможет войти в критическую секцию одновременно. Остальные потоки будут ждать, пока счётчик снова не станет равным 1. Такой семафор часто называют бинарным. Однако семантически он всё равно остаётся семафором, а не mutex.

YeaHub · Accepted Answer

Начальное значение semaphore напрямую определяет его поведение.ОпределениеБинарный semaphore — это семафор со значением счётчика 0 или 1.Как он работаетПеред перечислением важно отметить, что семафор не отслеживает владельца.Значение 1 — доступ разрешёнПервый поток проходит и уменьшает счётчик до 0Остальные потоки блокируютсяПосле signal() доступ снова открываетсяlet semaphore = DispatchSemaphore(value: 1)
Отличие от mutexSemaphore не знает, кто его захватилВозможно некорректное освобождениеНет защиты от двойного signal()ВыводSemaphore со значением 1 может заменить mutex, но использовать его для этого не рекомендуется без явной необходимости.