知識マップ: マルチスレッドの実務ベストプラクティス C言語編 ── Win32 APIの流儀で安全に書く

記事「マルチスレッドの実務ベストプラクティス C言語編 ── Win32 APIの流儀で安全に書く」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

Cではロックの解放を保証する言語機構がないため、原則を規律として明文化する必要があります。スレッド作成はCRTのスレッドごとデータを初期化する_beginthreadexが一択で、CreateThreadで作ったスレッドがCRTを呼ぶとメモリ不足時にプロセスが終了させられることがあります。短命な仕事はWindowsスレッドプールへ委譲します。プロセス内のロックはSRWロックが既定で、再帰取得が必要なときだけCRITICAL_SECTION、常にカーネル遷移を伴うMutexをプロセス内の排他に使うのはよくある間違いです。単一変数の更新はInterlocked関数で行い、対象は自然な境界に整列している必要があります。待ち合わせは条件変数で、スプリアスウェイクアップがあるため目覚めたら条件を再確認します。TerminateThreadはロック・ヒープ・DLLの状態を壊すため使わず、停止イベントとWaitForMultipleObjectsによる協調停止を組みます。

flowchart LR
    accTitle: C言語(Win32)のマルチスレッド設計ベストプラクティスの知識マップ
    accDescr: CRTを呼ぶスレッドを_beginthreadexで作る理由、Windowsスレッドプールへの委譲、SRWロック・CRITICAL_SECTION・Mutexの使い分け、Interlockedと整列の前提、条件変数とスプリアスウェイクアップ、TerminateThreadが壊すものと停止イベントによる協調停止、DllMainのローダーロックを示す図
    shared_mutable_state["共有可変状態"]
    race_condition["競合状態(race condition)"]
    createthread_api["CreateThread"]
    c_runtime_library["CRT(Cランタイムライブラリ)"]
    beginthreadex["_beginthreadex"]
    windows_thread_pool["Windowsスレッドプール"]
    terminatethread["TerminateThread"]
    backpressure["backpressure"]
    srw_lock["SRWロック(Slim Reader/Writer Lock)"]
    in_process_mutual_exclusion["プロセス内の相互排他"]
    critical_section["CRITICAL_SECTION"]
    win32_mutex_object["Win32のMutexオブジェクト"]
    interlocked_functions["Interlocked関数"]
    variable_alignment["変数の整列(アラインメント)"]
    volatile_keyword["volatile"]
    thread_local_state["スレッドローカル状態"]
    win32_condition_variable["Win32の条件変数"]
    spurious_wakeup["スプリアスウェイクアップ"]
    bounded_buffer["有限バッファー"]
    polling_wait["ポーリングによる待機"]
    deadlock["デッドロック(deadlock)"]
    stop_event_pattern["停止イベント+WaitForMultipleObjects"]
    cooperative_cancellation["協調キャンセル"]
    lock_ordering["ロック取得順序の統一"]
    dllmain_loader_lock["DllMainとローダーロック"]
    c11_threads["C11スレッド(<threads.h>)"]
    windows_only_codebase["Windows専用のコードベース"]
    shared_mutable_state -->|"原因になり得る"| race_condition
    createthread_api -->|"両立しない"| c_runtime_library
    beginthreadex -->|"実装を担う"| c_runtime_library
    windows_thread_pool -.->|"の後継"| createthread_api
    windows_thread_pool -->|"両立しない"| terminatethread
    windows_thread_pool -.->|"前提とする"| backpressure
    srw_lock -->|"推奨される対応"| in_process_mutual_exclusion
    critical_section -.->|"推奨される対応"| in_process_mutual_exclusion
    win32_mutex_object -->|"用いるのは非推奨"| in_process_mutual_exclusion
    interlocked_functions -->|"防止する"| race_condition
    interlocked_functions -->|"前提とする"| variable_alignment
    volatile_keyword -->|"用いるのは非推奨"| race_condition
    thread_local_state -.->|"軽減する"| shared_mutable_state
    win32_condition_variable -->|"利用する"| critical_section
    win32_condition_variable -->|"原因になり得る"| spurious_wakeup
    bounded_buffer -->|"実装を担う"| backpressure
    win32_condition_variable -->|"の後継"| polling_wait
    terminatethread -->|"原因になり得る"| deadlock
    stop_event_pattern -->|"の後継"| terminatethread
    stop_event_pattern -->|"実装を担う"| cooperative_cancellation
    lock_ordering -->|"防止する"| deadlock
    dllmain_loader_lock -->|"原因になり得る"| deadlock
    c11_threads -.->|"用いるのは非推奨"| windows_only_codebase

概念間の関係(全23件)

図と同じ関係を文章でも列挙します。表示している文と機械可読な意味データ(RDFa)は同じ要素に載っています。確度が「確立した関係」のものは直接の関係として、「条件付きの関係」のものは成立条件つきの言明(rdf:Statement)として表現しています。

共有可変状態は競合状態(race condition)の原因になることがあります。count++は読み込み・加算・書き戻しの3ステップに分かれるため、同期がなければ2つのスレッドの加算のうち一方が失われる。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
CreateThreadはCRT(Cランタイムライブラリ)と両立しません。CRTを呼ぶ実行ファイル内のスレッドはCreateThread / ExitThreadではなく_beginthreadex / _endthreadexで管理すべきで、CreateThreadで作ったスレッドがCRTを呼ぶと低メモリ状態でCRTがプロセスを終了させることがある。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典出典
_beginthreadexはCRT(Cランタイムライブラリ)の実装を担います。_beginthreadex系はCRTのスレッドごと変数を初期化してからスレッドを開始する。_beginthread(exなし)は作ったスレッドが早く終了すると返却済みハンドルが無効になり別スレッドを指しうるため、同期APIにハンドルを渡せる_beginthreadexのほうが安全である。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典出典
WindowsスレッドプールはCreateThreadの後継に当たります。短い仕事を大量に非同期実行するアプリや短命スレッドを頻繁に作るアプリにはスレッドプールが適する。CreateThreadpoolWorkで仕事オブジェクトを作り、SubmitThreadpoolWorkを呼ぶたびにプールのワーカースレッドがコールバックを実行する。 / 確度: 条件付きの関係 / 確認日: 2026-08-02 出典出典
WindowsスレッドプールはTerminateThreadと両立しません。スレッドプールのベストプラクティスとして、プールのスレッドをTerminateThreadやExitThreadで終わらせてはならないとされている。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
Windowsスレッドプールはbackpressureを前提とします。プールが制限するのはワーカースレッドの数だけで、投函された未実行のコールバックは積み上がる。投入が処理を上回り続ける構成では、アプリ側にセマフォなどの入場制限か容量付きキューを置いて、満杯時に投入側が待つ形にする。 / 確度: 条件付きの関係 / 確認日: 2026-08-02 出典
SRWロック(Slim Reader/Writer Lock)はプロセス内の相互排他に対する本記事の推奨です。SRWロックは新規コードの既定で、ポインターサイズかつ通常はユーザーモードで完結する。AcquireSRWLockSharedで読み取り共有も取れる。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
CRITICAL_SECTIONはプロセス内の相互排他に対する本記事の推奨です。CRITICAL_SECTIONは、同一スレッドによる再帰取得が必要な場合に選ぶ。 / 確度: 条件付きの関係 / 確認日: 2026-08-02 出典
Win32のMutexオブジェクトをプロセス内の相互排他に用いることは推奨されません。Mutexは常にカーネルオブジェクトなので、プロセス内の排他に使うのは低速でよくある間違いとされている。プロセスをまたぐ排他やWaitForMultipleObjectsとの併用が本来の出番になる。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
Interlocked関数は競合状態(race condition)を防ぎます。InterlockedIncrement / Decrementは読み込み・加算・書き戻しを1つの原子操作に束ねる。同期がなければ2つのスレッドの更新が食い違う。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
Interlocked関数は変数の整列(アラインメント)を前提とします。適切に整列された32ビット変数の単純な読み書きはアトミックだがアクセスの順序は保証されず、64ビット変数の単純な読み書きは32ビットWindowsではアトミックにならない。Interlockedの対象変数は自然な境界に整列している必要がある。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
volatileを競合状態(race condition)に用いることは推奨されません。volatileは原子性も順序も保証しない。共有カウンターやフラグの更新にはInterlocked系を使う。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
スレッドローカル状態は共有可変状態を軽減します。並列集計では共有カウンターに毎回書き込まず、スレッドごとのローカル変数に小計を作って終了時に1回だけInterlockedAddで合流させる。共有への書き込みが反復のたびからスレッドごとに1回へ減る。 / 確度: 条件付きの関係 / 確認日: 2026-08-22 出典
Win32の条件変数はCRITICAL_SECTIONを利用します。公式の実装例では、CRITICAL_SECTIONで保護した有限循環バッファーに対して、消費側がSleepConditionVariableCSで待ち、生産側がWakeConditionVariableで起こす。SRWロックと組む場合はSleepConditionVariableSRWを使う。 / 確度: 確立した関係 / 確認日: 2026-08-22 出典
Win32の条件変数はスプリアスウェイクアップの原因になることがあります。目覚めたら必ずロック内で条件を再確認し、偽ならwaitに戻るループにする。通知なしに目覚めることがあり、目覚めた時には別の消費者が要素を先取りしていることもある。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
有限バッファーはbackpressureの実装を担います。容量に上限のある有限循環バッファーは、生産が消費を追い越したら生産側が待つという自然な背圧になる。 / 確度: 確立した関係 / 確認日: 2026-08-22 出典
Win32の条件変数はポーリングによる待機の後継に当たります。SleepのポーリングループはCPUと応答性の両方を無駄にする。条件変数やイベント待機ならシグナルまでスレッドを休ませられる。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
TerminateThreadはデッドロック(deadlock)の原因になることがあります。TerminateThreadは対象スレッドにユーザーモードコードを一切実行させずに終了させるため、対象がクリティカルセクションを保持していれば永遠に解放されず、ヒープ操作中ならヒープロックが握られたままになる。DLLのグローバル状態を操作中ならDLLの状態も破壊される。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
停止イベント+WaitForMultipleObjectsはTerminateThreadの後継に当たります。コード分析警告C6258はTerminateThreadの使用を検出し、正しい終了方法としてCreateEventでイベントを作り、各スレッドがWaitForSingleObjectでイベント状態を監視して自分で終わる形を案内している。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典出典
停止イベント+WaitForMultipleObjectsは協調キャンセルの実装を担います。手動リセットの停止イベントを1つ作り、各ワーカーが仕事の合図と停止の合図を同時に待つことで、ブロッキング待機中のスレッドも停止要求で起こせる。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
ロック取得順序の統一はデッドロック(deadlock)を防ぎます。順序の逆転(lock order inversion)がデバッグ困難なデッドロックを生むため、ロック階層を定義して一貫して従うべきことがDLLのベストプラクティス文書に明文化されている。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
DllMainとローダーロックはデッドロック(deadlock)の原因になることがあります。DllMainはローダーロックを保持したまま呼ばれるため、その中で他スレッドと同期する・スレッドの終了を待つ・LoadLibraryを呼ぶといった操作はデッドロックを招く。スレッドを持つDLLは明示的な初期化・終了関数を公開し、DllMainは空に近いスタブにする。 / 確度: 確立した関係 / 確認日: 2026-08-02 出典
C11スレッド(<threads.h>)をWindows専用のコードベースに用いることは推奨されません。MSVCの適合表では<threads.h>がVisual Studio 2022 17.8でサポートされた一方、<stdatomic.h>は/experimental:c11atomicsを要するexperimental扱いである。Windows専用のコードベースならWin32の流儀のほうが現実的になる。 / 確度: 条件付きの関係 / 確認日: 2026-08-22 出典

主要概念の定義

共有可変状態: 複数のスレッドから読み書きされる、書き換え可能なデータ。競合はこれと複数スレッドが揃ったときにだけ起きる。
競合状態(race condition): 複数のスレッドがどの順序で特定のコードに到達するかによって結果が変わってしまう不具合。
CreateThread: スレッドを作成するWin32のネイティブAPI。CRTのスレッドごとデータは初期化しない。
_beginthreadex: CRTがスレッドごとに使う内部データを初期化してからスレッドを開始する、CRT提供のスレッド作成関数。返したハンドルは呼び出し側がCloseHandleで閉じる。
Windowsスレッドプール: CreateThreadpoolWorkで作った仕事オブジェクトをSubmitThreadpoolWorkで投函すると、プールのワーカースレッドがコールバックを実行するWindowsの仕組み。
SRWロック(Slim Reader/Writer Lock): Win32が提供する軽量な読み書きロック。再帰取得はできない。
CRITICAL_SECTION: スピンしてからカーネル待機に落ちる、プロセス内専用のWin32ロック。同一スレッドの再帰取得ができる。
Win32のMutexオブジェクト: 常にカーネルオブジェクトとして作られるWin32の相互排他オブジェクト。名前を付ければプロセスをまたいで開き直せる。
Interlocked関数: 複数スレッドで共有される変数へのアクセスを同期し、読み込み・加算・書き戻しのような操作を不可分に行うWin32の関数群。
volatile: 最適化による読み書きの除去を抑える型修飾子。スレッド間の同期を保証するものではない。
スレッドローカル状態: 各スレッドが自分だけの領域に持つ中間状態。並列ループで共有メモリへ書き込まずに集計するために使う。
Win32の条件変数: InitializeConditionVariableで作り、SleepConditionVariableCS／SRWで待ち、WakeConditionVariableで起こすWin32の待ち合わせ機構。
有限バッファー: 容量に上限を設けたキュー・循環バッファー。満杯になったら生産側を待たせることが自然な背圧になる。
TerminateThread: 対象スレッドにユーザーモードコードを一切実行させずに終了させるWin32 API。
停止イベント+WaitForMultipleObjects: 手動リセットの停止イベントを1つ作り、各ワーカーが「仕事の合図」と「停止の合図」を同時に待つ、Win32での協調停止の定石。
ロック取得順序の統一: 複数のロックを取るとき、全スレッドが同じ順序で取ると決めるルール。
DllMainとローダーロック: DllMainがローダーロックを保持した状態で呼ばれるという制約。呼べるAPIが大きく限られる。
C11スレッド(<threads.h>): thrd_create・mtx_lock・cnd_waitなどからなる、C11標準の移植可能なスレッドAPI。

機械可読データ

JSON-LD / Turtle ── この記事の知識グラフ全体
概念一覧 / 語彙(述語)の定義

このデータセットについて

作成: 合同会社小村ソフト
ライセンス: CC BY 4.0 ── 出典(合同会社小村ソフト)とライセンスへのリンクを明示し、改変した場合はその旨を示すことを条件に、再配布・改変を含めて再利用できます
最終確認日: 2026-08-22 ── 収録する関係のうち、最後に出典と照合した日

このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。