知識マップ: Ada と C / C# をつなぐ ── DLL を作って呼び出す

記事「Ada と C / C# をつなぐ ── DLL を作って呼び出す」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

AdaはC言語とのインターフェースを参照マニュアルの附属書Bに定めており、Convention => CでC ABIに合わせて関数を公開したり呼び出したりする。呼び出し規約もConventionで指定し、Win32 APIは__stdcallで呼ぶ。GPRbuildのプロジェクトでLibrary_Interfaceを指定するとスタンドアロンライブラリになり、Library_Auto_Initを有効にすれば読み込み時にエラボレーションが行われる。Windows向けにはDLLになり、GNATのランタイムのDLLとともにDLLの検索順序で見つかる場所に置く。Windowsでは、ライブラリのレベルで宣言したAdaのタスクをスタンドアロンライブラリで使えない。C#からはP/InvokeのLibraryImportかDllImportで呼び、LibraryImportは文字列の扱いをStringMarshallingで指定する。公開した関数で処理しなかったAdaの例外は、Linuxでの実験ではCでもC#でもプロセスを終了させた。

flowchart LR
    accTitle: AdaとC/C#をつなぐ記事の知識マップ
    accDescr: AdaのC言語とのインターフェースがC ABIと呼び出し規約を使うこと、GPRbuildで作るスタンドアロンライブラリがエラボレーションを自動で行い、WindowsではDLLになってDLLの検索順序で探されること、C#からはLibraryImportとDllImportによるP/Invokeで呼ぶこと、処理しなかったAdaの例外が未処理例外になることを示す図。
    ada_c_interop["AdaとC/C++の相互運用(Annex B)"]
    ada["Ada(プログラミング言語)"]
    gnat["GNAT"]
    c_abi["C ABI(Application Binary Interface)"]
    calling_convention["呼び出し規約(calling convention)"]
    win32_api["Win32 API"]
    ada_stand_alone_library["スタンドアロンライブラリ(Stand-alone Library)"]
    gprbuild["GPRbuild"]
    ada_elaboration["エラボレーション(elaboration)"]
    ada_task["Adaのタスク(並行処理)"]
    dll["DLL(ダイナミックリンクライブラリ)"]
    dll_search_order["DLLの検索順序"]
    libraryimport["LibraryImport"]
    p_invoke["P/Invoke"]
    dllimport["DllImport"]
    stringmarshalling["StringMarshalling"]
    unhandled_exception["未処理例外"]
    ada -->|"実装を担う"| ada_c_interop
    gnat -->|"実装を担う"| ada
    ada_c_interop -->|"利用する"| c_abi
    ada_c_interop -->|"利用する"| calling_convention
    win32_api -->|"前提とする"| calling_convention
    ada_stand_alone_library -->|"で構成できる"| gprbuild
    ada_stand_alone_library -.->|"自動化する"| ada_elaboration
    ada_task -.->|"両立しない"| ada_stand_alone_library
    ada_stand_alone_library -.->|"利用する"| dll
    dll -.->|"前提とする"| dll_search_order
    libraryimport -->|"実装を担う"| p_invoke
    dllimport -->|"実装を担う"| p_invoke
    libraryimport -->|"利用する"| stringmarshalling
    p_invoke -->|"利用する"| dll
    ada_c_interop -.->|"原因になり得る"| unhandled_exception

概念間の関係(全15件)

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

• Ada(プログラミング言語)はAdaとC/C++の相互運用(Annex B)の実装を担います。AdaはC言語などほかの言語とのインターフェースを参照マニュアルの附属書Bに定めており、ImportとExportでほかの言語の関数を呼んだり、Adaの関数を公開したりできる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• GNATはAda(プログラミング言語)の実装を担います。記事の例は、Adaの処理系であるGNAT 13でビルドしている。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• AdaとC/C++の相互運用(Annex B)はC ABI(Application Binary Interface)を利用します。Convention => Cを付けた関数はCと同じ呼び方になり、External_Nameで付けた名前でリンクされる。引数にはCの同名の型に対応するInterfaces.Cの型を使う。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• AdaとC/C++の相互運用(Annex B)は呼び出し規約(calling convention)を利用します。呼び出し規約はConventionで指定する。GNATでは、Stdcallは64ビットのWindowsでは無視され(規約が1つしかないため)、Windows以外ではCとして扱われる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• Win32 APIは呼び出し規約(calling convention)を前提とします。Win32 APIの関数は__stdcallの呼び出し規約で呼ぶので、AdaからImportするときはConvention => Stdcallを指定する。x64とARMではこの指定は無視される。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• スタンドアロンライブラリ(Stand-alone Library)はGPRbuildで構成できます。GPRbuildのライブラリプロジェクトでLibrary_Kindを"dynamic"にし、Library_Interfaceに外部へ見せるユニットを指定すると、スタンドアロンライブラリの共有ライブラリができる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• スタンドアロンライブラリ(Stand-alone Library)はエラボレーション(elaboration)を自動化します。Library_Auto_Initを指定しないか"true"にすると、自動の初期化に対応したプラットフォームではライブラリの読み込み時にエラボレーションが行われる。"false"なら、利用者が初期化の手続き(<ライブラリ名>init)を呼ぶ必要がある。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典
• Adaのタスク(並行処理)はスタンドアロンライブラリ(Stand-alone Library)と両立しません。WindowsではDllMainの中でスレッドを作れないため、ライブラリのレベルで宣言したタスクはスタンドアロンライブラリでは使えない。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典
• スタンドアロンライブラリ(Stand-alone Library)はDLL(ダイナミックリンクライブラリ)を利用します。記事の例では、MinGW-w64版のGNATでWindows向けにビルドしたスタンドアロンライブラリはlibgreet.dllというDLLになり、GNATのランタイムのlibgnat-13.dllとlibgcc_s_seh-1.dllに依存した。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典
• DLL(ダイナミックリンクライブラリ)はDLLの検索順序を前提とします。Adaで作ったDLLとGNATのランタイムのDLLは、WindowsがDLLを探すフォルダーと順序で見つかる場所に置く必要がある。記事のWineでの実験では、libgnat-13.dllを取り除くとプログラムが起動しなかった。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典
• LibraryImportはP/Invokeの実装を担います。LibraryImportはP/Invokeの宣言に対して、マーシャリングのコードをコンパイル時に生成する。使うプロジェクトではAllowUnsafeBlocksを有効にする必要がある。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• DllImportはP/Invokeの実装を担います。DllImportはP/Invokeの宣言に対して、実行時にILスタブを生成して呼び出す。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• LibraryImportはStringMarshallingを利用します。LibraryImportでは文字列の渡し方をStringMarshallingで指定する。記事の例ではUtf8を指定し、C#の文字列をUTF-8のNUL終端の文字列としてAdaに渡している。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• P/InvokeはDLL(ダイナミックリンクライブラリ)を利用します。.NETはDllImportやLibraryImportに書いた名前からファイル名を作って探す。Windowsではlibを前に付けないので、gprbuildが作るlibgreet.dllにはlibgreetと書く。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• AdaとC/C++の相互運用(Annex B)は未処理例外の原因になることがあります。公開した関数の中で処理しなかったAdaの例外は呼び出し側に届かない。記事のLinuxでの実験では、CからでもC#のtryの中からでも、GNATのランタイムがメッセージを出してプロセスが終了した。関数の中で例外を処理し、エラーコードで返せば防げる。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典

主要概念の定義

AdaとC/C++の相互運用(Annex B)

Ada参照マニュアルの附属書Bで標準化された、C・Fortranなど他言語とのインターフェース機構。ImportやExportで双方向の呼び出しができる。

Ada(プログラミング言語)

1970年代後半にアメリカ国防総省の主導で標準化された、強い型付けと高信頼性を重視する汎用プログラミング言語。最新標準はAda 2022。

GNAT

GCCに含まれる無償のAdaコンパイラで、Adaの代表的な処理系。

Win32 API

Windowsのネイティブなアプリケーション開発向けAPI群。

スタンドアロンライブラリ(Stand-alone Library)

GPRbuildのライブラリプロジェクトでLibrary_Interfaceに外部へ見せるユニットを指定して作るAdaのライブラリ。初期化と終了処理の手続きを持ち、Ada以外の言語のプログラムから使える。

Adaのタスク(並行処理)

スレッドをOSのAPIやライブラリに頼らず、言語仕様に組み込む形で提供するAdaの並行実行単位。

DLL(ダイナミックリンクライブラリ)

実行時に読み込まれ、関数やデータを他のモジュールと共有できるWindowsのバイナリモジュール。

LibraryImport

.NET 7で追加された、partialメソッドに対しコンパイル時にP/Invokeのマーシャリングコードを生成するソースジェネレーター。

DllImport

P/Invoke宣言に対して実行時にランタイムがマーシャリング用のILスタブを生成する、従来からの属性ベースの仕組み。

P/Invoke

C#などの.NETコードからアンマネージドなC関数群を呼び出すための、.NETの標準的な相互運用機構。

機械可読データ

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

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

作成

合同会社小村ソフト

ライセンス

CC BY 4.0 ── 出典(合同会社小村ソフト)とライセンスへのリンクを明示し、改変した場合はその旨を示すことを条件に、再配布・改変を含めて再利用できます

最終確認日

2026-11-01 ── 収録する関係のうち、最後に出典と照合した日

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