セマフォ
Semaphore
せまふぉ
並行処理における排他制御と同期の仕組み。カウンティングセマフォとバイナリセマフォがある。P操作(取得)とV操作(解放)で共有資源へのアクセスを制御する。優先度逆転問題が生じる場合は優先度継承プロトコルで対処する。
Related
他の資格での定義
共有する資源の使用の可否を表す変数(セマフォ)を使って、複数の処理の排他制御や同期をとる方式。資源を使う前にセマフォの値を減らすP操作を行い、値が0なら空くまで待つ。使い終わったら値を増やすV操作を行い、待っている処理を再開させる。
共有資源を同時に使えるプロセス数を計数値で管理し、排他制御や同期を実現する仕組み。P操作で獲得、V操作で解放を行い、値が0のときは待ち行列に入る。使い方を誤るとデッドロックの原因となる。
並行処理における排他制御と同期の仕組み。カウンティングセマフォとバイナリセマフォがある。P操作(取得)とV操作(解放)で共有資源へのアクセスを制御する。優先度逆転問題が生じる場合は優先度継承プロトコルで対処する。
共有資源へのアクセスを制御するための同期機構。カウンティングセマフォ(カウンタで管理)とバイナリセマフォ(0/1で管理)がある。P操作(取得/Wait)とV操作(解放/Signal)で資源の排他制御を行う。
共有資源へのアクセスを、セマフォと呼ぶ整数の変数とP操作・V操作によって制御する排他制御の方式で、E.W.ダイクストラが考案した。P操作でセマフォの値を減らし、値が負になれば待ち状態に入り、V操作で値を増やして待っているプロセスを起こす。値が0と1だけの2値セマフォは相互排除に、計数セマフォは台数に限りのある資源の割当てに使う。
共有資源の利用を、セマフォと呼ぶ整数の変数で管理して排他制御や同期を行う方式。資源を使う前にP操作で値を減らし(0なら待つ)、使い終えたらV操作で値を増やして待っている処理を再開させる。値が0と1だけのバイナリセマフォは相互排除に使われる。
Past Exams
過去問での出題
過去問で 13 回出題(エンベデッドシステムスペシャリスト試験 9・応用情報技術者試験 3・高度試験 午前Ⅰ 1)。うち 1 回は用語そのものを問う問題です。
- 令和7年度 秋期 応用情報技術者試験 午前 問16正解の選択肢(IPA の PDF を新しいタブで開きます)
- 令和7年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問6(IPA の PDF を新しいタブで開きます)
- 令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問6(IPA の PDF を新しいタブで開きます)
- 令和4年度 春期 応用情報技術者試験 午前 問17選択肢(IPA の PDF を新しいタブで開きます)
- 令和4年度 春期 高度試験 午前Ⅰ 問6選択肢(IPA の PDF を新しいタブで開きます)
- 平成31年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問8(IPA の PDF を新しいタブで開きます)
- 平成30年度 春期 応用情報技術者試験 午前 問18(IPA の PDF を新しいタブで開きます)
- 平成30年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問8用語を問う問題(IPA の PDF を新しいタブで開きます)
- 平成28年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問7選択肢(IPA の PDF を新しいタブで開きます)
- 平成25年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問5選択肢(IPA の PDF を新しいタブで開きます)
出典: 独立行政法人情報処理推進機構(IPA)の過去問題。問題文は IPA のサイトの PDF で確認できます。「用語を問う問題」は、この用語の説明や特徴そのものを問う問題です。「選択肢」は、問題文ではなく選択肢に出たものです。用語名で照合しているため、関係の薄い問題が含まれることがあります。
Related
関連キーワードの用語
相互排他(Mutual Exclusion)を実現する同期機構。バイナリセマフォと似ているが、ロックを獲得したスレッドのみがロックを解放できる所有権の概念を持つ。優先度継承プロトコルをサポートし、優先度逆転の問題を緩和する。
現実世界(フィジカル空間)のデータをセンサで収集し、サイバー空間で分析・シミュレーションした結果を現実世界にフィードバックするシステム。IoT、AI、ビッグデータを統合し、製造、交通、エネルギーなどの分野で社会システムの最適化を実現する。
エッジデバイス上でAI(機械学習モデル)の推論処理を行う技術。クラウドに依存せずリアルタイムの判断が可能で、プライバシー保護やネットワーク帯域の削減にも寄与する。NPU(ニューラルプロセッシングユニット)搭載のSoCが増えている。
物理的な製品、設備、プロセスの状態をリアルタイムにデジタル空間上に再現した仮想モデル。センサデータを基に現実の状態を反映し、シミュレーションや予測保全に活用する。製造業、建設、都市計画などで利用が拡大している。
複数のCPUコアを1つのチップに搭載したプロセッサ。並列処理による性能向上が可能だが、組込みシステムではコア間の排他制御やリアルタイム性の保証が課題となる。AMP(非対称型)とSMP(対称型)の構成がある。
命令とデータを別々のメモリと経路で扱う方式。同時アクセスができ処理を高速化しやすく、組込み用途のプロセッサで採用される。
