C LANGUAGE TECHNOLOGY

【C言語】セマフォとは

2021年11月15日

悩んでいる人
悩んでいる人

C言語でセマフォを教えて!

こういった悩みにお答えします.

本記事の信頼性

  • リアルタイムシステムの研究歴12年.
  • 東大教員の時に,英語でOS(Linuxカーネル)の授業.
  • 2012年9月~2013年8月にアメリカのノースカロライナ大学チャペルヒル校(UNC)コンピュータサイエンス学部で客員研究員として勤務.C言語でリアルタイムLinuxの研究開発.
  • プログラミング歴15年以上,習得している言語: C/C++PythonSolidity/Vyper,Java,Ruby,Go,Rust,D,HTML/CSS/JS/PHP,MATLAB,Verse(UEFN), Assembler (x64,ARM).
  • 東大教員の時に,C++言語で開発した「LLVMコンパイラの拡張」,C言語で開発した独自のリアルタイムOS「Mcube Kernel」GitHubにオープンソースとして公開
  • 2020年1月~現在はアメリカのノースカロライナ州チャペルヒルにあるGuarantee Happiness LLCのCTOとしてECサイト開発やWeb/SNSマーケティングの業務.2022年6月~現在はアメリカのノースカロライナ州チャペルヒルにあるJapanese Tar Heel, Inc.のCEO兼CTO.
  • 最近は自然言語処理AIイーサリアムに関する有益な情報発信に従事.
    • (AI全般を含む)自然言語処理AIの論文の日本語訳や,AIチャットボット(ChatGPT,Auto-GPT,Gemini(旧Bard)など)の記事を50本以上執筆.アメリカのサンフランシスコ(広義のシリコンバレー)の会社でプロンプトエンジニア・マネージャー・Quality Assurance(QA)の業務委託の経験あり.
    • (スマートコントラクトのプログラミングを含む)イーサリアムや仮想通貨全般の記事を200本以上執筆.イギリスのロンドンの会社で仮想通貨の英語の記事を日本語に翻訳する業務委託の経験あり.

こういった私から学べます.

C言語を独学で習得することは難しいです.

私にC言語の無料相談をしたいあなたは,公式LINE「ChishiroのC言語」の友だち追加をお願い致します.

私のキャパシティもあり,一定数に達したら終了しますので,今すぐ追加しましょう!

友だち追加

独学が難しいあなたは,元東大教員がおすすめするC言語を学べるオンラインプログラミングスクール5社で自分に合うスクールを見つけましょう.後悔はさせません!

本記事ではスレッドとプロセスを理解している前提で説明します.

スレッドとプロセスを学びたいあなたはこちらからどうぞ.

セマフォ

セマフォとは,複数の実行単位(スレッドやプロセス)がクリティカルセククションに出入りする際,シンプルで便利な抽象化を提供する変数または抽象データ型です.

セマフォには以下の種類があります.

  • カウンティングセマフォ:任意個の資源を扱うセマフォ
  • バイナリセマフォ:値が0または1しか取らないセマフォ(ミューテックスと同等の機能)

セマフォとミューテックスの違いは,セマフォは任意個の状態をとることが可能なのに対して,ミューテックスはロックとアンロックの2つの状態しかとらないことです.

ミューテックスを知りたいあなたはこちらからどうぞ.

Linuxにおけるセマフォの実装としてSystem Vセマフォ(古いセマフォ)POSIXセマフォ(新しいセマフォ)があります.

System Vセマフォは多くのメモリを利用するため,あまり実用的ではありません.

そこで,本記事では,POSIXセマフォについて解説します.

POSIXセマフォ

POSIXセマフォが提供する関数を紹介します.

POSIXセマフォには名前なしセマフォと名前ありセマフォがあり,どちらかで利用できる関数と両方利用できる関数がありますので,それぞれ解説します.

sem_init関数(名前なしセマフォ)

sem_init関数は,名前なしセマフォを初期化する関数です.

第1引数semが指すアドレスにある名前なしセマフォを初期化します.

第2引数psharedは,このセマフォがプロセス内のスレッド間で共有されるのかプロセス間で共有されるのかを設定します.

psharedが0の場合,セマフォはプロセス内のスレッド間で共有されます.

psharedが0以外の場合,セマフォはプロセス間で共有されます.

第3引数valueは,そのセマフォの初期値を指定します.

sem_init関数は,成功すると0を返します.

エラーの場合は-1を返し,errnoにエラーを示す値を設定します.

sem_wait/sem_trywait関数(名前なしセマフォ,名前ありセマフォ)

sem_wait/sem_trywait関数は,セマフォをロックする関数です.

sem_wait/sem_trywait関数は,名前なしセマフォと名前ありセマフォの両方で利用できます.

sem_wait関数は,第1引数semが指すセマフォの値を1減らします(ロックします).

セマフォの値が0より大きい場合,減算が実行され,関数は直ちに復帰します.

セマフォの現在値が0の場合には,減算を実行できるようになる(つまり,セマフォの値が0より大きな値になる)まで,もしくはシグナルハンドラにより呼び出しが中断されるまで,関数呼び出しは停止(block)します.

sem_trywait関数は,sem_wait関数と似ています.

sem_trywait関数とsem_wait関数の違いは,セマフォ値の減算をすぐに実行できなかった場合,停止(block)するのではなくエラーで復帰する(errnoにEAGAINがセットされる)ことです.

sem_wait/sem_trywait関数は,成功すると0を返します.

エラーの場合は-1を返し,errnoにエラーを示す値を設定します.

sem_post関数(名前なしセマフォ,名前ありセマフォ)

sem_post関数は,第1引数semが指すセマフォの値を1増やします(ロックを解除します).

これにより,セマフォの値は0より大きな値になります.

もしsem_wait関数で停止している別のスレッドやプロセスがある場合,そのスレッドやプロセスは起床し,セマフォをロックできるようになります.

sem_post関数は,成功すると0を返します.

エラーの場合は-1を返し,errnoにエラーを示す値を設定します.

sem_destroy関数(名前なしセマフォ)

sem_destroy関数は,第1引数semが指すアドレスにある名前なしセマフォを破棄します.

sem_destroy関数は,成功すると0を返します.

エラーの場合は-1を返し,errnoにエラーを示す値を設定します.

sem_open関数(名前ありセマフォ)

sem_open関数は,新規のPOSIXセマフォを作成するか,既存のセマフォのオープンを行います.

セマフォは第1引数nameで識別されます.

名前ありセマフォは/somenameという形式の名前で識別されます.

その名前は,最大でNAME_MAX-4(すなわち 251)文字のヌル('\0')終端された文字列で,スラッシュで始まり,スラッシュ以外の文字が1文字以上続くフォーマットです(例:/semaphore).

第2引数oflagには,sem_open関数の動作を制御するフラグを指定します.

oflagにO_CREATが指定されると,まだ存在しない場合にはそのセマフォが作成されます.

oflagにO_CREATとO_EXCLの両方が指定された場合,指定された名前nameのセマフォが既に存在するとエラーが返されます.

oflagにO_CREATを指定する場合,さらに引数が2つ必要です.

※いわゆるC++言語のオーバーライド関数のような振る舞いで,おそらくweakシンボル「__attribute__((weak))」で実現しています.

第3引数modeは,open関数と同様に新しいセマフォに設定されるアクセス許可(permission)を指定します(例:0755,0644).

許可設定はプロセスのumaskでマスクされます.

セマフォにアクセスしようとするユーザは,読み出し許可と書き込み許可の両方を得る必要があります.

第4引数valueは新しいセマフォの初期値を指定します.

O_CREATが指定され,指定した名前nameのセマフォが既に存在する場合,modeとvalueは無視されます.

sem_open関数は,成功すると新しいセマフォのアドレスを返します.

このアドレスは他のセマフォ関連の関数を呼び出す際に利用されます.

エラーの場合,SEM_FAILED を返し,errnoにエラーを示す値を設定します.

sem_close関数(名前ありセマフォ)

sem_close関数は,第1引数semが参照する名前ありセマフォをクローズします.

このセマフォ用に呼び出し元プロセスにシステムが割り当てていたリソースを解放できるようにします.

sem_close関数は,成功すると0を返します.

エラーの場合は-1を返し,errnoにエラーを示す値を設定します.

sem_unlink関数(名前ありセマフォ)

sem_unlink関数は,第1引数nameで参照される名前ありセマフォを削除します.

名前ありセマフォの名前は直ちに削除されます.

このセマフォをオープンしている他のすべてのプロセスがセマフォを閉じた後にセマフォの削除が行われます.

sem_unlink関数は,成功すると0を返します.

エラーの場合は-1を返し,errnoにエラーを示す値を設定します.

名前なしセマフォの利用例

名前なしセマフォの利用例を紹介します.

名前なしセマフォでスレッド間のロックにsem_wait関数を利用

名前なしセマフォでスレッド間のロックにsem_wait関数を利用するコードは以下になります.

実行結果は以下になります.

countの数値がLOOP_NUM(=50000)の2倍,つまり50000 * 2 = 100000になることがわかります.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.

5行目の「count = 70019」で100000より小さい値になっていることがわかります.(100000や他の値になる場合もあります.)

この理由は,Linuxはプリエンプティブ・マルチタスクの実行が可能なため,countのインクリメント処理でインターリーブが発生してしまうからです.

名前なしセマフォでスレッド間のロックにsem_trywait関数を利用

名前なしセマフォでスレッド間のロックにsem_trywait関数を利用するコードは以下になります.

実行結果は以下になります.同様です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.同様です.

名前なしセマフォでプロセス間のロックにsem_wait関数を利用

名前なしセマフォでプロセス間のロックにsem_wait関数を利用するコードは以下になります.

shm_open/shm_unlink関数でプロセス間の共有メモリの作成と削除を行っています.

実行結果は以下になります.

shm_open/shm_unlink関数を利用する際は-lrtオプションが必要なことに注意して下さい.

6行目の「*count = 100000」で正常にカウントできていることがわかります.

※5行目の*countは先に実行終了した親プロセスまたは子プロセスの表示です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.

6行目の「*count = 87387」で100000より小さい値になっていることがわかります.

名前なしセマフォでプロセス間のロックにsem_trywait関数を利用

名前なしセマフォでプロセス間のロックにsem_trywait関数を利用するコードは以下になります.

実行結果は以下になります.同様です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.同様です.

名前ありセマフォの利用例

名前ありセマフォの利用例を紹介します.

名前ありセマフォでスレッド間のロックにsem_wait関数を利用

名前ありセマフォでスレッド間のロックにsem_wait関数を利用するコードは以下になります.

実行結果は以下になります.同様です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.同様です.

名前ありセマフォでスレッド間のロックにsem_trywait関数を利用

名前ありセマフォでスレッド間のロックにsem_trywait関数を利用するコードは以下になります.

実行結果は以下になります.同様です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.同様です.

名前ありセマフォでプロセス間のロックにsem_wait関数を利用

名前ありセマフォでプロセス間のロックにsem_wait関数を利用するコードは以下になります.

実行結果は以下になります.同様です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.同様です.

名前ありセマフォでプロセス間のロックにsem_trywait関数を利用

名前ありセマフォでプロセス間のロックにsem_trywait関数を利用するコードは以下になります.

実行結果は以下になります.同様です.

-DNO_LOCKオプションを付けてコンパイルした場合の実行結果は以下になります.同様です.

まとめ

C言語でセマフォを紹介しました.

具体的には,POSIXセマフォの名前ありセマフォと名前なしセマフォで,スレッド間とプロセス間のロックにsem_wait/sem_trywait関数を利用するコードを解説しました.

結構難しいコードですが,何度も読んで理解を深めましょう!

C言語を独学で習得することは難しいです.

私にC言語の無料相談をしたいあなたは,公式LINE「ChishiroのC言語」の友だち追加をお願い致します.

私のキャパシティもあり,一定数に達したら終了しますので,今すぐ追加しましょう!

友だち追加

独学が難しいあなたは,元東大教員がおすすめするC言語を学べるオンラインプログラミングスクール5社で自分に合うスクールを見つけましょう.後悔はさせません!

-C LANGUAGE, TECHNOLOGY
-, , , , , , , , , , , ,