Семафор (Semaphore)
Счетчик для управления доступом к ресурсам, поддерживающий атомарные операции.
A semaphore is a more flexible synchronization tool than a mutex. It maintains a counter representing the number of available resources. The 'wait' operation decrements the counter, and the 'signal' (or post) operation increments it. A binary semaphore (counter 0 or 1) functions similarly to a mutex.
graph LR
Center["Семафор (Semaphore)"]:::main
Rel_mutex["mutex"]:::related -.-> Center
click Rel_mutex "/terms/mutex"
classDef main fill:#7c3aed,stroke:#8b5cf6,stroke-width:2px,color:white,font-weight:bold,rx:5,ry:5;
classDef pre fill:#0f172a,stroke:#3b82f6,color:#94a3b8,rx:5,ry:5;
classDef child fill:#0f172a,stroke:#10b981,color:#94a3b8,rx:5,ry:5;
classDef related fill:#0f172a,stroke:#8b5cf6,stroke-dasharray: 5 5,color:#94a3b8,rx:5,ry:5;
linkStyle default stroke:#4b5563,stroke-width:2px;
🧠 Проверка знаний
🧒 Простыми словами
Представьте гардероб в театре с 50 номерками. Семафор — это количество оставшихся номерков. Если номерки кончились (0), новые посетители ждут, пока кто-то сдаст номерок обратно.
🤓 Expert Deep Dive
Эдсгер Дейкстра изобрел семафоры в 1965 году. Различают сильные семафоры (FIFO очередь ожидающих) и слабые семафоры (порядок разблокировки не гарантирован). В отличие от мьютекса, семафор можно использовать для синхронизации потоков без взаимного исключения (сигнализация о событии).