C LANGUAGE TECHNOLOGY

【C言語】排他制御アルゴリズム

悩んでいる人

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,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)の業務委託の経験あり.
    • (スマートコントラクトのプログラミングを含む)イーサリアムや仮想通貨全般の記事を250本以上執筆.イギリスのロンドンの会社で仮想通貨の英語の記事を日本語に翻訳する業務委託の経験あり.

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

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

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

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

友だち追加

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

排他制御

排他制御は,1つのクリティカルセクションに複数のプロセス(またはスレッド)が同時に入ることを防ぐことです.

排他制御には,ハードウェアとソフトウェアの実装があります.

ハードウェアの実装はアーキテクチャ(x86-64,ARM64など)固有の専用命令(アトミック命令など)を利用します.

例えば,Linuxカーネルではアトミック命令を利用して排他制御を実現します.

Linuxカーネルの排他制御を知りたいあなたはこちらからどうぞ.

本記事では排他制御をソフトウェアで実装する方法を紹介していきます.

具体的には,以下のアルゴリズムを紹介します.

  • デッカーのアルゴリズム
  • ピーターソンのアルゴリズム
  • ランポートのパン屋のアルゴリズム

本記事は以下の内容を理解していることを前提とします.

C言語で排他制御アルゴリズム

C言語で排他制御アルゴリズムを紹介します.

排他制御アルゴリズムは,ビジーウェイトを利用して実装します.

ただし,CPUのアウトオブオーダー実行やコンパイラの最適化により正常に動作しない場合があるので注意して下さい.

メモリバリア命令やvolatile型修飾子を利用すれば正常に実装可能です.

GCCではメモリバリア命令のビルトインである__sync_synchronize関数が実装されています.

コンパイラの最適化について深掘りしたいあなたは以下の記事を読みましょう!

デッカーのアルゴリズム

デッカーのアルゴリズムは,T・J・デッカーが提案したプロセスまたはスレッドが共有メモリを介してのみ通信する並行プログラミングにおける排他制御の最初のアルゴリズムです.

2スレッドの場合のデッカーのアルゴリズム

2スレッドの場合のデッカーのアルゴリズムは以下になります.

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

LOOP_NUMが50000で2スレッド実行したのでtotal_countが100000になっていることがわかります.

nスレッドの場合のデッカーのアルゴリズム

nスレッド(n = 4に設定)の場合のデッカーのアルゴリズムは以下になります.

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

LOOP_NUMが50000で4スレッド実行したのでtotal_countが200000になっていることがわかります.

ピーターソンのアルゴリズム

ピーターソンのアルゴリズムは,ゲイリー・ピーターソンが提案した通信のために共有メモリだけを使い2個以上のプロセスまたはスレッド間でリソースを競合することなく共有する排他制御アルゴリズムです.

2スレッドの場合のピーターソンのアルゴリズム

2スレッドの場合のピーターソンのアルゴリズムは以下になります.

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

nスレッドの場合のピーターソンのアルゴリズム

nスレッド(n = 4に設定)の場合のピーターソンのアルゴリズムは以下になります.

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

ランポートのパン屋のアルゴリズム

ランポートのパン屋のアルゴリズムは,レスリー・ランポートが提案した排他制御アルゴリズムです.

デッカーのアルゴリズムやピーターソンのアルゴリズムとは異なり,ランポートのパン屋のアルゴリズムは最初からnスレッド(またはnプロセス)に対応するために設計されています.

ランポートのパン屋のアルゴリズム(n = 4に設定)は以下になります.

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

まとめ

C言語で排他制御アルゴリズムを紹介しました.

具体的には,デッカーのアルゴリズム,ピーターソンのアルゴリズム,ランポートのパン屋のアルゴリズムを解説しました.

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

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

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

友だち追加

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

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