セマフォ

リソースアクセスを制御するカウンター同期プリミティブ。

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["セマフォ"]:::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;

      

🧠 理解度チェック

1 / 1

🧒 5歳でもわかるように説明

駐車場の空き状況表示板のようなものです。空きがあれば入れます。満車(0)なら待ちます。

🤓 Expert Deep Dive

所有権がないため、あるスレッドが待ち、別のスレッドが解除することが可能(Producer-Consumer)。

📚 出典