Семафор (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;
🧠 Перевірка знань
🧒 Простими словами
Семафор — це як табло з кількістю вільних місць на парковці. Коли машина заїжджає, число зменшується. Коли виїжджає — збільшується. Якщо місць 0, шлагбаум не відкриється, доки хтось не виїде.
🤓 Expert Deep Dive
Семафори вирішують задачу Producer-Consumer. POSIX має іменовані (sem_open) і неіменовані (sem_init) семафори. Небезпека: якщо забути викликати signal(), система заблокується. М'ютекси часто реалізуються як оптимізовані бінарні семафори. Історія: запропоновані Едсгером Дейкстрою в 1965 році для операційної системи THE.