知識マップ: 共有メモリの落とし穴と実務ベストプラクティス

記事「共有メモリの落とし穴と実務ベストプラクティス」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

共有メモリはWindowsのCreateFileMapping/MapViewOfFileやPOSIXのshm_open/mmapを使い、同じ物理ページを複数プロセスから見せる仕組みだが、同期そのものではないため、同期なしで複数フィールドを読み書きするとwriterの書き込み途中を読んでしまう事故が起きうる。この事故はSPSCリングバッファやダブルバッファによるcommitプロトコルで防ぎ、生ポインタやHANDLEなどprocess-local資源はそのまま置けないためオフセット参照に置き換え、control planeとdata planeを分離して通知は別チャネルへ逃がすことが推奨される。加えて、ABIの固定、作成者だけが初期化する運用による初期化レースの回避、Windowsのabandoned mutexやPOSIXのrobust mutexを使ったクラッシュ復旧設計、名前空間・権限の構成、世代ごとのサイズ固定が、事故率を下げる実務上の要点になる。

flowchart LR
    accTitle: 共有メモリの落とし穴とベストプラクティスの知識マップ
    accDescr: 共有メモリがバイト列を共有するだけで同期そのものではないこと、途中状態の読み取りや初期化レース・クラッシュ復旧・ABI不一致・false sharingといった落とし穴、control planeとdata planeの分離やSPSCリングバッファ・ダブルバッファ・オフセット参照といった対策の関係を示す図
    shared_memory["共有メモリ"]
    windows_createfilemapping["CreateFileMapping/MapViewOfFile"]
    posix_shm_open["shm_open/ftruncate/mmap"]
    memory_mapped_file["ファイルマッピング(メモリマップトファイル)"]
    torn_read["途中状態の読み取り"]
    spsc_ring_buffer["SPSCリングバッファ"]
    double_buffering_commit["ダブルバッファによるcommitプロトコル"]
    control_plane_data_plane_separation["control planeとdata planeの分離"]
    shared_memory_header["共有メモリの固定ヘッダ"]
    offset_reference["オフセット参照"]
    process_local_resource["process-localな資源"]
    shared_memory_abi["共有メモリのABI設計"]
    initialization_race["初期化レース"]
    creator_joiner_initialization["creatorだけが初期化する運用"]
    crash_recovery_design["クラッシュ復旧設計"]
    abandoned_mutex["abandonedになったmutex(Windows)"]
    robust_mutex["robust mutex(POSIX)"]
    false_sharing["false sharingとキャッシュライン競合"]
    shared_memory_namespace_permission["名前空間と権限(Global/Local)"]
    fixed_generation_sizing["世代ごとのサイズ固定運用"]
    remote_machine_sharing["他マシンとの共有"]
    notification_channel_separation["通知を別チャネルへ逃がす設計"]
    busy_loop_polling["busy loopによるポーリング通知"]
    named_pipe["名前付きパイプ"]
    shared_memory -.->|"利用する"| windows_createfilemapping
    shared_memory -.->|"利用する"| posix_shm_open
    windows_createfilemapping -->|"利用する"| memory_mapped_file
    shared_memory -.->|"原因になり得る"| torn_read
    spsc_ring_buffer -.->|"防止する"| torn_read
    double_buffering_commit -.->|"防止する"| torn_read
    control_plane_data_plane_separation -->|"推奨される対応"| shared_memory
    shared_memory_header -->|"推奨される対応"| shared_memory
    offset_reference -->|"推奨される対応"| shared_memory
    process_local_resource -->|"両立しない"| shared_memory
    shared_memory -->|"前提とする"| shared_memory_abi
    shared_memory -.->|"原因になり得る"| initialization_race
    creator_joiner_initialization -->|"防止する"| initialization_race
    crash_recovery_design -->|"推奨される対応"| shared_memory
    crash_recovery_design -.->|"利用する"| abandoned_mutex
    crash_recovery_design -.->|"利用する"| robust_mutex
    shared_memory -.->|"原因になり得る"| false_sharing
    shared_memory -.->|"で構成できる"| shared_memory_namespace_permission
    fixed_generation_sizing -->|"推奨される対応"| shared_memory
    shared_memory -->|"両立しない"| remote_machine_sharing
    windows_createfilemapping -->|"両立しない"| remote_machine_sharing
    notification_channel_separation -->|"推奨される対応"| shared_memory
    busy_loop_polling -->|"用いるのは非推奨"| shared_memory
    notification_channel_separation -.->|"利用する"| named_pipe

概念間の関係(全24件)

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

共有メモリはCreateFileMapping/MapViewOfFileを利用します。Windowsでは共有メモリの骨格としてCreateFileMapping/OpenFileMapping/MapViewOfFileを利用する。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
共有メモリはshm_open/ftruncate/mmapを利用します。POSIXでは共有メモリの骨格としてshm_open/ftruncate/mmapを利用する。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
CreateFileMapping/MapViewOfFileはファイルマッピング(メモリマップトファイル)を利用します。INVALID_HANDLE_VALUEを指定したCreateFileMappingは、ディスク上のファイルではなくページファイルに裏打ちされたfile mapping objectを作り、ファイルマッピングの仕組みを利用する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
共有メモリは途中状態の読み取りの原因になることがあります。同じfile mapping objectから作ったviewは同時点でcoherentだが、それは読者が常に一貫した更新済みレコードを読めることを意味しないため、同期なしで複数フィールドを読むと途中状態を読んでしまうことがある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
SPSCリングバッファは途中状態の読み取りを防ぎます。データを書き終えてからindexを進めるという順序が、release/acquireのようなメモリバリアで実際に保証されている場合、SPSCリングバッファはreaderが途中状態を読むことを防ぐ。フラグを最後に書くだけではコンパイラやCPUの並べ替えに対して順序が保証されず、防げない。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
ダブルバッファによるcommitプロトコルは途中状態の読み取りを防ぎます。非公開側で書き終えてからactive indexを切り替える更新がメモリバリアで順序付けられ、かつreaderが読み終えたあとに世代を再確認する場合、ダブルバッファのcommitプロトコルはreaderが途中状態を読むことを防ぐ。順序付けと再確認のどちらを欠いても防げない。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
control planeとdata planeの分離は共有メモリに対する本記事の推奨です。開始・停止・通知はメッセージ系、データ本体は共有メモリという分離が、共有メモリ設計に対する本記事の推奨である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
共有メモリの固定ヘッダは共有メモリに対する本記事の推奨です。magic・abi_version・state・generation・heartbeatを持つ固定ヘッダを先頭に置くことが、共有メモリ設計に対する本記事の推奨である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
オフセット参照は共有メモリに対する本記事の推奨です。参照をポインタではなくbase+offsetで持つことが、共有メモリ設計に対する本記事の推奨である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
process-localな資源は共有メモリと両立しません。同じmappingを別プロセスでmapしても仮想アドレスは一致するとは限らないため、生ポインタやHANDLEなどprocess-localな資源をそのまま共有メモリに置いても他プロセスでは意味を持たない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
共有メモリは共有メモリのABI設計を前提とします。共有メモリはAPIではなくABI(バイナリインターフェース)の話であり、型サイズ・alignment・padding・構造体の並び順の一致を前提とする。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
共有メモリは初期化レースの原因になることがあります。作った側が初期化したはずという思い込みのまま参加者が同時に初期化したりopen直後に使ったりすると、初期化レースが起こることがある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
creatorだけが初期化する運用は初期化レースを防ぎます。作成側だけが初期化し、参加側はREADYを待つ運用は、初期化レースを防ぐ。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
クラッシュ復旧設計は共有メモリに対する本記事の推奨です。generation番号・最終commit済みsequence・heartbeatなどによる復旧手順を用意することが、共有メモリ設計に対する本記事の推奨である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
クラッシュ復旧設計はabandonedになったmutex(Windows)を利用します。Windowsでは、所有スレッドがreleaseせずに終了するとmutexがabandonedになり、wait側が受け取るWAIT_ABANDONEDを共有資源が不定状態かもしれないという復旧の手がかりに利用できる。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
クラッシュ復旧設計はrobust mutex(POSIX)を利用します。POSIXでは、ownerが死んだときEOWNERDEADが返り、修復後にpthread_mutex_consistent()を呼ぶ流れを復旧に利用できる。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典出典
共有メモリはfalse sharingとキャッシュライン競合の原因になることがあります。producerとconsumerが更新するカウンタなど、更新頻度の高いフィールドが同じキャッシュラインに乗っていると、false sharingが起きて性能が落ちることがある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
共有メモリは名前空間と権限(Global/Local)で構成できます。Windowsの名前付き共有メモリは、Global\/Local\の名前空間、ACL、SeCreateGlobalPrivilegeなどの権限で構成される。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典出典
世代ごとのサイズ固定運用は共有メモリに対する本記事の推奨です。サイズはその世代では不変にし、拡張が必要なら新しい世代のsegmentへ切り替えることが、共有メモリ設計に対する本記事の推奨である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典出典
共有メモリは他マシンとの共有と両立しません。共有メモリは基本的に同一ホスト内の仕組みであり、他マシンとの共有には向かない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
CreateFileMapping/MapViewOfFileは他マシンとの共有と両立しません。remote fileに対してはcoherenceが保証されず、2台が同じページをwritableにmapしても互いの書き込みは見えずマージもされない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
通知を別チャネルへ逃がす設計は共有メモリに対する本記事の推奨です。readyフラグを共有メモリに置くだけでなく、通知はevent・semaphore・named pipeなど待てるprimitiveへ逃がすことが、共有メモリ設計に対する本記事の推奨である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
busy loopによるポーリング通知を共有メモリに用いることは推奨されません。共有メモリ上のreadyフラグをbusy loopでポーリングする通知設計は、CPUの浪費や取りこぼしの原因になるため推奨されない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
通知を別チャネルへ逃がす設計は名前付きパイプを利用します。共有メモリの通知を別チャネルへ逃がす選択肢の1つとして、Windowsのnamed pipeを利用できる。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典

主要概念の定義

共有メモリ: 同じ物理ページを複数プロセスの仮想アドレス空間へマップし、同じバイト列を複数プロセスから見せる仕組み。同期そのものではない。
CreateFileMapping/MapViewOfFile: Windowsで名前付き共有メモリを作成・オープンし、プロセスのアドレス空間にマップするAPIの組み合わせ。pagefile-backedに使うとディスク非連携の共有メモリになる。
SPSCリングバッファ: producerがwrite_seqの位置へ書き、consumerがread_seqの位置から読む、writerとreaderがそれぞれ1つだけの固定長スロット配列。
ダブルバッファによるcommitプロトコル: 非公開側バッファへ書き、長さやチェックサムを確定したうえでactive buffer indexを切り替え、readerは読み終えたあとにindexが変わっていないか再確認する公開手順。
control planeとdata planeの分離: 開始・停止・エラーなどの制御はメッセージ系、フレームやバッチなどのデータ本体は共有メモリに置く設計方針。
共有メモリの固定ヘッダ: magic・abi_version・state・generation・heartbeatなどを先頭に置き、別物や未初期化・layout差異・初期化途中を検出できるようにする共有メモリのヘッダ設計。
オフセット参照: 共有メモリ内の参照をポインタではなくセグメント先頭からの相対位置(offset)で持ち、各プロセスがbase + offsetで自分のアドレスに直す参照方式。
process-localな資源: 生ポインタ、HANDLE、file descriptor、std::string、std::mutexなど、その値がプロセスの文脈にしか意味を持たない資源。
creatorだけが初期化する運用: 共有メモリを作成した側だけが初期化を行い、あとから参加する側はREADY状態になるのを待つ運用ルール。
クラッシュ復旧設計: writerが共有データ更新中に落ちた場合に備えて、generation番号・最終commit済みsequence・heartbeat・dirty/cleanフラグ・破損時の全再初期化手順などを用意する設計。
世代ごとのサイズ固定運用: 共有メモリのサイズをその世代では不変にし、拡張が必要なら新しいversion/name/generationのsegmentを作って参加者を切り替え、旧segmentを閉じる運用。
通知を別チャネルへ逃がす設計: readyフラグの共有メモリ上での表現に頼らず、event・semaphore・named pipeなど待てるprimitiveへ完了通知を分離する設計。
busy loopによるポーリング通知: 共有メモリ上のreadyフラグをwhileループで見張り続けて通知を代替する実装パターン。

機械可読データ

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

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