エンベデッドシステムスペシャリスト暗記無料で始める

セマフォとは?せまふぉ

セマフォとは、利用できる資源の個数を表すカウンタと待ち行列からなる同期機構。獲得(P操作/wait)でカウンタを減らし、0なら待ち状態に入る。返却(V操作/signal)で増やし、待っているタスクがあれば1つを実行可能にする。初期値1の2値セマフォは相互排他に、計数セマフォはバッファ面数などの資源管理に使う。

最終更新:2026-10-06

試験情報

エンベデッドシステムスペシャリスト試験の過去問では4回出題され、ほかに1問の解説で触れられています(2016年度〜2025年度)。

エンベデッドシステムスペシャリスト試験の頻出用語/午前II

この語が出る過去問を解く →

背景

割込みとタスクが同じ変数や周辺レジスタを触る構成では、読んで書き戻す途中で横取りされると値が壊れる。割込み禁止で囲めば確実だが、禁止区間が伸びるほど他の締切を巻き添えにする。資源の空き個数という一つの数を原子的に増減させる約束事へ置き換えることで、待たせる相手をその資源を要るタスクだけに限定したのがセマフォである。

具体例

TOPPERS/ASPのwai_sem/sig_sem、FreeRTOSのxSemaphoreTake/xSemaphoreGiveが該当する。DMA転送用のバッファを3面持つなら、初期値3の計数セマフォで空き面を管理し、面が尽きたときだけ生産側を待たせる。

試験での引っ掛け

P操作が獲得、V操作が解放。役割を逆にした選択肢が定番。相互排他が目的ならミューテックスを使うのが原則で、2値セマフォには所有者の概念が無く優先度継承が効かない——優先度逆転を扱う設問では、この違いが解答の分かれ目になる。

関連用語

出た過去問

問題文で直接問われたものと、解説の中で触れられたものが含まれます。

解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。

この語が出る過去問を解く →

試験での特徴
  • 試験では4回出題(2016年度〜2025年度)
  • 分野:午前II
  • P操作が獲得、V操作が解放。