Семафор - это концепция программирования, которая часто используется для решения многопоточных задач. Мой вопрос к сообществу:
Что такое семафор и как вы его используете?
multithreading
concurrency
semaphore
bmurphy1976
источник
источник
Ответы:
Думайте о семафорах как о вышибалах в ночном клубе. В клубе разрешено сразу несколько человек. Если клуб заполнен, никому не разрешается входить, но как только один человек покидает его, другой человек может войти.
Это просто способ ограничить количество потребителей для конкретного ресурса. Например, чтобы ограничить количество одновременных обращений к базе данных в приложении.
Вот очень педагогический пример в C # :-)
источник
Статья « Мьютексы и семафоры, демистифицированные » Майклом Барром, представляет собой краткое краткое описание того, что делает мьютексы и семафоры разными, а также когда они должны и не должны использоваться. Я выдержал несколько ключевых параграфов здесь.
Ключевым моментом является то, что мьютексы должны использоваться для защиты общих ресурсов, а семафоры - для сигнализации. Как правило, не следует использовать семафоры для защиты общих ресурсов или мьютексы для передачи сигналов. Например, существуют проблемы с аналогией с вышибалами в плане использования семафоров для защиты общих ресурсов - вы можете использовать их таким образом, но это может привести к трудной диагностике ошибок.
...
На этом этапе проводится интересная аналогия с использованием идеи ключей ванной комнаты для защиты общих ресурсов - ванной комнаты. Если в магазине есть одна ванная комната, то одного ключа будет достаточно для защиты этого ресурса и предотвращения одновременного использования его несколькими людьми.
Если есть несколько ванных комнат, может возникнуть соблазн набрать их одинаково и создать несколько ключей - это похоже на то, как семафор используется не по назначению. Когда у вас есть ключ, вы на самом деле не знаете, какая ванная комната доступна, и если вы пойдете по этому пути, вы, вероятно, в конечном итоге будете использовать мьютексы для предоставления этой информации и убедитесь, что вы не берете ванную, которая уже занята. ,
Семафор - неправильный инструмент для защиты нескольких практически одинаковых ресурсов, но именно так многие думают об этом и используют его. Аналогия с вышибалами совершенно иная: не существует нескольких ресурсов одного типа, вместо этого есть один ресурс, который может принимать одновременно нескольких пользователей. Я полагаю, что семафор может использоваться в таких ситуациях, но редко бывают ситуации реального мира, где аналогия действительно имеет место - чаще всего есть несколько таких же типов, но все же отдельные ресурсы, такие как ванные комнаты, которые не могут быть использованы сюда.
...
...
Здесь важно отметить, что мьютексы плохо взаимодействуют с операционными системами реального времени, вызывая инверсию приоритетов, когда менее важная задача может быть выполнена перед более важной задачей из-за совместного использования ресурсов. Короче говоря, это происходит, когда задача с более низким приоритетом использует мьютекс для захвата ресурса, A, затем пытается захватить B, но приостанавливается, потому что B недоступен. В то время как это ожидает, задача с более высоким приоритетом приходит и нуждается в A, но она уже связана, и процессом, который даже не выполняется, потому что он ждет B. Есть много способов решить эту проблему, но чаще всего это исправлено изменив мьютекс и диспетчер задач. В этих случаях мьютекс намного сложнее, чем бинарный семафор,
...
Mutex: обмен ресурсами
Семафор: сигнализация
Не используйте один для другого без тщательного рассмотрения побочных эффектов.
источник
Mutex: эксклюзивный доступ к ресурсу
Семафор: n-членский доступ к ресурсу
То есть мьютекс может использоваться для синхронизации доступа к счетчику, файлу, базе данных и т. Д.
Семафор может делать то же самое, но поддерживает фиксированное количество одновременных абонентов. Например, я могу обернуть свои вызовы базы данных в семафор (3), чтобы мое многопоточное приложение попадало в базу данных максимум с 3 одновременными соединениями. Все попытки будут заблокированы, пока не откроется один из трех слотов. Они делают такие вещи, как наивное регулирование, действительно, очень легко.
источник
Рассмотрим такси, которое может вместить в общей сложности 3 ( сзади ) +2 ( впереди ) человека, включая водителя. Итак,
semaphore
салоне находиться только 5 человек. Иmutex
позволяет только 1 человек на одном сиденье автомобиля.Следовательно,
Mutex
он должен разрешать монопольный доступ к ресурсу ( например, потоку ОС ), в то время как aSemaphore
должен предоставлять доступ к n количеству ресурсов одновременно.источник
@Craig:
Это не ограничено только одним потоком. Семафор можно настроить так, чтобы разрешить фиксированному количеству потоков доступ к ресурсу.
источник
Семафор также можно использовать как ... семафор. Например, если у вас есть несколько процессов, помещающих данные в очередь, и только одна задача, потребляющая данные из очереди. Если вы не хотите, чтобы ваша задача-потребитель постоянно опрашивала очередь на наличие доступных данных, вы можете использовать семафор.
Здесь семафор используется не как механизм исключения, а как механизм сигнализации. Задача потребления ожидает семафора. Производящая задача размещается на семафоре.
Таким образом, задача потребления выполняется тогда и только тогда, когда есть данные, подлежащие удалению
источник
Существуют две основные концепции создания параллельных программ - синхронизация и взаимное исключение. Мы увидим, как эти два типа блокировок (семафоры в общем случае являются своего рода механизмом блокировки) помогают нам добиться синхронизации и взаимного исключения.
Семафор - это программная конструкция, которая помогает нам достичь параллелизма за счет реализации как синхронизации, так и взаимного исключения. Семафоры бывают двух типов: двоичные и счетные.
Семафор состоит из двух частей: счетчика и списка задач, ожидающих доступа к определенному ресурсу. Семафор выполняет две операции: wait (P) [это похоже на получение блокировки] и release (V) [аналогично освобождению блокировки] - это единственные две операции, которые можно выполнить с семафором. В двоичном семафоре счетчик логически переходит от 0 до 1. Вы можете думать, что он похож на блокировку с двумя значениями: открыт / закрыт. Счетный семафор имеет несколько значений для счета.
Важно понимать, что счетчик семафоров отслеживает количество задач, которые не нужно блокировать, т. Е. Они могут добиться прогресса. Задачи блокируются и добавляются в список семафоров только тогда, когда счетчик равен нулю. Следовательно, задача добавляется в список в процедуре P (), если она не может быть выполнена, и «освобождается» с помощью процедуры V ().
Теперь совершенно очевидно, что двоичные семафоры можно использовать для решения задач синхронизации и взаимного исключения - они по сути являются замками.
ех. Синхронизация:
В приведенном выше примере B2 может выполняться только после того, как B1 завершил выполнение. Предположим, что поток A выполняется первым, выполняет - получает sem.P () и ждет, так как счетчик равен 0 (закрыт). Появляется поток B, заканчивает B1, а затем освобождает поток A, который затем завершает B2. Таким образом, мы достигаем синхронизации.
Теперь давайте посмотрим на взаимное исключение с помощью двоичного семафора:
Взаимное исключение также довольно просто - m1 и m2 не могут одновременно войти в критическую секцию. Таким образом, каждый поток использует один и тот же семафор, чтобы обеспечить взаимное исключение для его двух критических секций. Теперь возможно ли иметь больший параллелизм? Зависит от критических разделов. (Подумайте, как еще можно использовать семафоры для достижения взаимного исключения. Подсказка: мне обязательно нужно использовать только один семафор?)
Подсчет семафора: семафор с более чем одним значением. Давайте посмотрим, что это означает - блокировка с более чем одним значением? Так открыто, закрыто и ... хм. Какая польза от многоступенчатой блокировки во взаимном исключении или синхронизации?
Давайте возьмем самое простое из двух:
Синхронизация с использованием счетного семафора. Допустим, у вас есть 3 задачи - № 1 и 2, которые вы хотите выполнить после 3. Как бы вы разработали свою синхронизацию?
Таким образом, если ваш семафор начинается закрытым, вы гарантируете, что блоки t1 и t2 будут добавлены в список семафоров. Затем приходит все важное t3, заканчивает свою деятельность и освобождает t1 и t2. В каком порядке они освобождены? Зависит от реализации списка семафоров. Может быть FIFO, может основываться на каком-то конкретном приоритете и т. Д. (Примечание: подумайте, как бы вы расположили свои P и V; если вы хотите, чтобы t1 и t2 выполнялись в каком-то определенном порядке, и если вы не знали о реализации семафора)
(Узнайте: что произойдет, если число V больше, чем число P?)
Взаимное исключение Использование счетных семафоров: я бы хотел, чтобы вы создали для этого свой собственный псевдокод (помогает вам лучше понимать вещи!), Но фундаментальная концепция такова: счетный семафор counter = N позволяет N задачам свободно входить в критическую секцию. , Это означает, что у вас есть N задач (или потоков, если хотите), попадающих в критическую секцию, но N + 1-я задача блокируется (попадает в наш любимый список заблокированных задач) и пропускается только тогда, когда кто-то из V семафор. Хотя бы один раз. Таким образом, счетчик семафоров, вместо того, чтобы колебаться между 0 и 1, теперь идет между 0 и N, позволяя N задачам свободно входить и выходить, не блокируя никого!
Черт возьми, зачем тебе такая глупость? Разве весь смысл взаимного исключения состоит в том, чтобы не позволить больше чем одному парню получить доступ к ресурсу ?? (Подсказка Подсказка ... у вас не всегда есть только один диск на вашем компьютере, не так ли? ...)
Для размышления : достигается ли взаимное исключение только с помощью счетного семафора? Что если у вас есть 10 экземпляров ресурса и 10 потоков входят (через счетный семафор) и пытаются использовать первый экземпляр?
источник
Семафор - это объект, содержащий натуральное число (т. Е. Целое число, большее или равное нулю), для которого определены две модифицирующие операции. Одна операция,
V
добавляет 1 к естественному. Другая операция,P
уменьшает натуральное число на 1. Обе операции являются атомарными (т.е. никакая другая операция не может быть выполнена одновременно с aV
или aP
).Поскольку натуральное число 0 не может быть уменьшено, вызов
P
семафора, содержащего 0, будет блокировать выполнение вызывающего процесса (/ потока) до некоторого момента, когда число больше не равно 0 иP
может быть успешно (и атомарно) выполнено.Как упоминалось в других ответах, семафоры могут использоваться для ограничения доступа к определенному ресурсу максимальным (но переменным) числом процессов.
источник
Я создал визуализацию, которая должна помочь понять идею. Семафор контролирует доступ к общему ресурсу в многопоточной среде.
Вывод
Пример кода из статьи
источник
Аппаратный или программный флаг. В многозадачных системах семафор представляет собой переменную со значением, которое указывает состояние общего ресурса. Процесс, которому требуется ресурс, проверяет семафор, чтобы определить состояние ресурсов, а затем решает, как поступить.
источник
Семафоры действуют как ограничители потоков.
Пример: если у вас есть пул из 100 потоков, и вы хотите выполнить какую-либо операцию с БД. Если 100 потоков обращаются к БД в определенный момент времени, то в БД может возникнуть проблема с блокировкой, поэтому мы можем использовать семафор, который допускает только ограниченный поток за раз. В следующем примере разрешен только один поток за один раз. Когда поток вызывает
acquire()
метод, он получает доступ и после вызоваrelease()
метода освобождает доступ, так что следующий поток получит доступ.источник
Итак, представьте, что все пытаются пойти в ванную, а в ванной есть только определенное количество ключей. Теперь, если ключей недостаточно, этот человек должен подождать. Поэтому представьте, что семафор представляет набор ключей, доступных для ванных комнат (системные ресурсы), к которым разные процессы (посетители ванных) могут запрашивать доступ.
Теперь представьте два процесса, пытающихся одновременно пойти в ванную. Это не очень хорошая ситуация, и для предотвращения этого используются семафоры. К сожалению, семафор является добровольным механизмом, и процессы (наши посетители в ванной комнате) могут его игнорировать (т. Е. Даже если есть ключи, кто-то может просто открыть дверь).
Есть также различия между двоичным / мьютексом и счетными семафорами.
Ознакомьтесь с примечаниями к лекции по адресу http://www.cs.columbia.edu/~jae/4118/lect/L05-ipc.html .
источник
Это старый вопрос, но одно из самых интересных применений семафора - блокировка чтения / записи, и он явно не упоминался.
Р / ж замки работают простым способом: потребляют одно разрешение для читателя и все разрешения для писателей. Действительно, тривиальная реализация блокировки ar / w, но требует модификации метаданных при чтении (фактически дважды), которая может стать узким местом, все же значительно лучше, чем мьютекс или блокировка.
Другим недостатком является то, что авторы могут быть запущены довольно легко, если только семафор не является справедливым или записи не получают разрешения в нескольких запросах, в таком случае им нужен явный мьютекс между собой.
Далее читайте :
источник
Семафор - это способ блокировки ресурса, так что гарантируется, что при выполнении части кода только этот фрагмент кода имеет доступ к этому ресурсу. Это предотвращает одновременный доступ двух ресурсов к ресурсу, что может вызвать проблемы.
источник