知識マップ: COM STA/MTA の基礎知識 - スレッドモデルとハングを避ける考え方

記事「COM STA/MTA の基礎知識 - スレッドモデルとハングを避ける考え方」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

COMのSTA(Single-Threaded Apartment)とMTA(Multi-Threaded Apartment)は、どのスレッドからコンポーネントを呼んでよいかを決めるApartment Modelの2つの形です。STAは1スレッドに1Apartmentで、Apartmentを跨ぐ呼び出しはProxy/Stub経由でマーシャリングされます。別スレッドから呼ばれるSTAはメッセージループを回していないと呼び出しの転送を受け取れずハングし、同期呼び出し中にコールバックが来るパターンもデッドロックになりやすい構造です。MTAは複数スレッドで1Apartmentを共有する代わりに、オブジェクト側にスレッドセーフ設計を要求します。.NETの[STAThread]属性は、このApartment初期化を設定するラッパーにすぎません。

flowchart LR
    accTitle: COM STA/MTAの知識マップ
    accDescr: STAとMTAというCOMのApartmentモデルが、メッセージループ・マーシャリング・Proxy/Stubとどう関係し、メッセージループの不在がSTAのハングやデッドロックにつながる仕組みを示す図
    sta["STA(Single-Threaded Apartment)"]
    mta["MTA(Multi-Threaded Apartment)"]
    com["COM(コンポーネントオブジェクトモデル)"]
    com_apartment_model["COMアパートメントモデル(STA/MTA)"]
    coinitializeex["CoInitializeEx"]
    message_loop["メッセージループ"]
    proxy_stub["Proxy/Stub"]
    thread_safe_com_object["スレッドセーフなCOMオブジェクト設計"]
    windows_forms["Windows Forms"]
    stathread_attribute[".NETの[STAThread]/[MTAThread]属性"]
    threadingmodel_registry["ThreadingModelレジストリ値"]
    com_automation["Automation"]
    idispatch["IDispatch"]
    midl["MIDL"]
    sta_hang["STAのハング(呼び出し転送の停止)"]
    msgwaitformultipleobjects["MsgWaitForMultipleObjects"]
    sta_callback_deadlock["同期呼び出し中のコールバックによるデッドロック"]
    dotnet[".NET(Core以降)"]
    com_marshaling["マーシャリング"]
    com -->|"利用する"| com_apartment_model
    com_apartment_model -->|"前提とする"| coinitializeex
    sta -->|"前提とする"| message_loop
    sta -.->|"利用する"| proxy_stub
    mta -->|"前提とする"| thread_safe_com_object
    windows_forms -.->|"利用する"| sta
    windows_forms -->|"利用する"| message_loop
    stathread_attribute -->|"利用する"| coinitializeex
    threadingmodel_registry -.->|"前提とする"| sta
    com_automation -->|"利用する"| idispatch
    proxy_stub -.->|"で構成できる"| midl
    sta -.->|"原因になり得る"| sta_hang
    message_loop -->|"防止する"| sta_hang
    msgwaitformultipleobjects -.->|"防止する"| sta_hang
    sta -.->|"原因になり得る"| sta_callback_deadlock
    dotnet -.->|"原因になり得る"| sta_hang
    mta -.->|"利用する"| proxy_stub
    stathread_attribute -->|"前提とする"| com_apartment_model
    proxy_stub -->|"実装を担う"| com_marshaling
    com_automation -->|"実装を担う"| com_marshaling

概念間の関係(全20件)

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

• COM(コンポーネントオブジェクトモデル)はCOMアパートメントモデル(STA/MTA)を利用します。COMは、どのスレッドからコンポーネントを呼んでよいかを決めるApartment Modelを土台にする。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• COMアパートメントモデル(STA/MTA)はCoInitializeExを前提とします。スレッドのApartmentは、CoInitializeExをCOINIT_APARTMENTTHREADEDまたはCOINIT_MULTITHREADEDで呼んだ瞬間に決まる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• STA(Single-Threaded Apartment)はメッセージループを前提とします。各STAは、他のプロセスや同一プロセス内の他のApartmentからの呼び出しを処理するために、メッセージループを持たなければならない。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• STA(Single-Threaded Apartment)はProxy/Stubを利用します。Apartmentを跨ぐ呼び出しは、COMがProxy/Stubを使って転送する。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• MTA(Multi-Threaded Apartment)はスレッドセーフなCOMオブジェクト設計を前提とします。MTA内のCOMオブジェクトは複数スレッドから同時に呼び出されるため、オブジェクト側にスレッドセーフ設計が必須になる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Windows FormsはSTA(Single-Threaded Apartment)を利用します。エントリポイントに[STAThread]が付いているか、明示的にSetApartmentState(STA)を呼んでいる場合、WinForms/WPFのUIスレッドはSTAとして初期化され、UIコントロールの1スレッド親和性と一致する。既定のテンプレートは属性を付けるが、独自のエントリポイントで付け忘れるとMTAのままになる / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Windows Formsはメッセージループを利用します。UIスレッドはウィンドウイベントを処理するために必ずメッセージループを回しており、STAの前提を追加実装なしで満たす。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• .NETの[STAThread]/[MTAThread]属性はCoInitializeExを利用します。.NETの[STAThread]属性は、COMのApartment初期化(CoInitializeExに相当する処理)を設定するためのラッパーである。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• ThreadingModelレジストリ値はSTA(Single-Threaded Apartment)を前提とします。ThreadingModelがApartmentとして登録されたCOMクラスは、生成したSTAスレッドで呼び出しが処理されることを前提とする。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• AutomationはIDispatchを利用します。AutomationはIDispatchと、そこで使える限られたデータ型を前提にしたCOMの使い方である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Proxy/StubはMIDLで構成できます。IUnknown直接派生のカスタムインターフェースでは、MIDLでProxy/Stubのコードを生成・登録する必要がある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• STA(Single-Threaded Apartment)はSTAのハング(呼び出し転送の停止)の原因になることがあります。別スレッドから呼ばれるSTAスレッドがメッセージループを回していないと、呼び出しの転送を受け取れずハングする。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• メッセージループはSTAのハング(呼び出し転送の停止)を防ぎます。STAスレッドがメッセージループを回していれば、転送された呼び出しのメッセージを受け取って実行に回せる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• MsgWaitForMultipleObjectsはSTAのハング(呼び出し転送の停止)を防ぎます。メッセージと同期オブジェクトを同時に待つことで、独自のメッセージループを書かずに、転送される呼び出しを取りこぼさずに済む。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• STA(Single-Threaded Apartment)は同期呼び出し中のコールバックによるデッドロックの原因になることがあります。STAスレッドが同期呼び出しの戻りを待っている間にサーバーからコールバックが来ると、互いに相手の完了を待ち続けてデッドロックになることがある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• .NET(Core以降)はSTAのハング(呼び出し転送の停止)の原因になることがあります。.NETでSTAスレッドをTask.Wait()やManualResetEvent.WaitOne()などでブロックすると、COMのコールバックやApartmentをまたぐ呼び出しが完了できずデッドロックになる。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• MTA(Multi-Threaded Apartment)はProxy/Stubを利用します。MTAのスレッドが別ApartmentのCOMオブジェクトを呼ぶ場合も、COMがProxy/Stubを使って転送する。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• .NETの[STAThread]/[MTAThread]属性はCOMアパートメントモデル(STA/MTA)を前提とします。.NETの[STAThread]/[MTAThread]属性やApartmentStateは、COMのApartment Modelを設定するためのラッパーであり、.NETのSTA/MTAはCOMのSTA/MTAそのものである。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Proxy/Stubはマーシャリングの実装を担います。Proxy/Stubは、マーシャリングを実際に担う一組の部品である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Automationはマーシャリングの実装を担います。Automationの範囲に収まっていれば、マーシャリングは専用のProxy/Stubを作らずOS側のoleaut32.dllが引き受ける。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

主要概念の定義

STA(Single-Threaded Apartment)

1スレッドに1つのApartmentが対応し、そのApartment内のCOMオブジェクトは基本的に生成したスレッドでのみ実行されるCOMのスレッドモデル。

MTA(Multi-Threaded Apartment)

複数のスレッドが1つのApartmentを共有し、どのスレッドからでも直接呼び出せるが、オブジェクト側にスレッドセーフ設計を要求するCOMのスレッドモデル。

COM(コンポーネントオブジェクトモデル)

公開インターフェース、レジストリ登録、Apartment Modelなどを土台にした、Windowsのバイナリ互換コンポーネントモデル。

COMアパートメントモデル(STA/MTA)

どのスレッドからCOMコンポーネントを呼んでよいかを決める、COMのスレッドモデルの約束。

Windows Forms

デスクトップGUIアプリケーションを構築するための.NET/.NET FrameworkのUIフレームワーク。

.NETの[STAThread]/[MTAThread]属性

エントリポイントに付与してそのスレッドのCOM Apartmentを設定する.NETの属性・仕組み。実際にCOMを呼ぶまでは初期化されず、追加で作るスレッドには効かない。

ThreadingModelレジストリ値

HKEY_CLASSES_ROOT\CLSID\{CLSID}\InprocServer32に登録される、COMクラスが要求するApartmentの種類(Apartment/Both/Free等)を示すレジストリ値。

Automation

IDispatchと、そこで使える限られたデータ型を前提にしたCOMの使い方の総称。この範囲に収まっていれば、マーシャリングはOS側のoleaut32.dllが引き受ける。

Proxy/Stub

マーシャリングを担当する一組の部品。呼び出す側に立つProxyと、呼ばれる側で受け取った呼び出しを本物のオブジェクトへ渡すStubからなる。

メッセージループ

スレッドがGetMessage/DispatchMessageなどで自分のウィンドウ宛てのメッセージを順に取り出し処理し続ける仕組み。入力・描画・イベント処理を担うと同時に、STAが持つOleMainThreadWndClassという隠しウィンドウ宛てに届く、別アパートメントからの呼び出しメッセージもここでディスパッチされる。

MsgWaitForMultipleObjects

メッセージと同期オブジェクトの両方を待てるWin32 API。独自のメッセージループを書かずに、終了通知を受けつつCOMの呼び出しも取りこぼさない待機に使う。

.NET(Core以降)

.NET Frameworkの後継となる、クロスプラットフォーム対応の.NETランタイム(.NET 5以降)。

機械可読データ

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

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