知識マップ: Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文

記事「Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

Ada 2022では式の中で定数を置ける宣言式と、一部の成分だけを変えた値を作る差分集成体が加わり、どちらも事前条件・事後条件の中で使える。どの型の'ImageもPut_Imageを通して定義され、Big_IntegersはPut_Imageとユーザー定義リテラルを使う。簡約式は反復子のフィルタで要素を選べる。JorvikプロファイルはRavenscarプロファイルの制限の一部を外したもので、GNATではpragma Profileで有効にできる。並列ブロック文と並列ループは衝突検査の方針でデータ競合をコンパイル時に防ぐ規則を持つが、GNAT 13.3と15.3では構文として受け付けられなかった。

flowchart LR
    accTitle: Ada 2022の新しい機能の知識マップ
    accDescr: Ada 2022で加わった宣言式・差分集成体・Put_Image・簡約式・Big_Integers・Jorvikプロファイル・並列ブロックと並列ループが、契約・Ravenscarプロファイル・データ競合・GNATとどう関係するかを示す図。
    ada_declare_expression["宣言式(declare expression)"]
    ada_delta_aggregate["差分集成体(delta aggregate)"]
    ada_put_image["Put_Image"]
    jorvik_profile["Jorvikプロファイル"]
    ada_parallel_block_statement["並列ブロック文(parallel block statement)"]
    ada_design_by_contract["契約による設計(Pre/Post条件)"]
    ada_big_integers["Big_Integers"]
    ada_user_defined_literals["ユーザー定義リテラル(user-defined literals)"]
    ada_reduction_expression["簡約式(reduction expression)"]
    ada_iterator_filter["反復子のフィルタ(iterator filter)"]
    ravenscar_profile["Ravenscarプロファイル"]
    gnat["GNAT"]
    ada_conflict_check_policy["Conflict_Check_Policy(衝突検査の方針)"]
    ada_parallel_loop["並列ループ(parallel loop)"]
    data_race["データ競合(data race)"]
    ada_design_by_contract -->|"利用する"| ada_declare_expression
    ada_design_by_contract -->|"利用する"| ada_delta_aggregate
    ada_big_integers -->|"利用する"| ada_put_image
    ada_big_integers -->|"利用する"| ada_user_defined_literals
    ada_reduction_expression -.->|"利用する"| ada_iterator_filter
    jorvik_profile -->|"内容を継承する"| ravenscar_profile
    jorvik_profile -.->|"で構成できる"| gnat
    ada_parallel_block_statement -->|"で確認できる"| ada_conflict_check_policy
    ada_parallel_loop -->|"で確認できる"| ada_conflict_check_policy
    ada_conflict_check_policy -->|"防止する"| data_race
    ada_parallel_block_statement -.->|"両立しない"| gnat
    ada_parallel_loop -.->|"両立しない"| gnat

概念間の関係(全12件)

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

• 契約による設計(Pre/Post条件)は宣言式(declare expression)を利用します。宣言式は丸括弧で囲めば式を書ける場所ならどこにでも置けるので、事前条件・事後条件の中でも使える。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• 契約による設計(Pre/Post条件)は差分集成体(delta aggregate)を利用します。差分集成体は式なので事後条件に書ける。C = (C'Old with delta Verbose => True) のように、呼び出しで変わる成分だけを示し、ほかの成分が変わらないことを表せる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• Big_IntegersはPut_Imageを利用します。RMのBig_Integerの宣言にはPut_Imageが指定されており、Big_Integerの'Imageは10進の数字の文字列になる。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• Big_Integersはユーザー定義リテラル(user-defined literals)を利用します。RMのBig_Integerの宣言にはInteger_Literal => From_Universal_Imageが指定されており、整数のリテラルをそのままBig_Integerの値として書ける。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典 出典
• 簡約式(reduction expression)は反復子のフィルタ(iterator filter)を利用します。簡約式の値の列には反復子のフィルタを書け、[for V of Values when V mod 2 = 0 => V * V]'Reduce ("+", 0) のように条件を満たす要素だけを畳み込める。フィルタは省略できる。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典 出典
• JorvikプロファイルはRavenscarプロファイルの内容を継承して表示します。JorvikはRavenscarから6つの制限(No_Implicit_Heap_Allocations、No_Relative_Delay、Max_Entry_Queue_Length => 1、Max_Protected_Entries => 1、Ada.Calendarと Ada.Synchronous_Barriersへの依存の禁止)を外し、Simple_BarriersをPure_Barriersに置き換えたもので、残りの制限は同じ。Ravenscarを満たすユニットはJorvikも満たす。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• JorvikプロファイルはGNATで構成できます。GNATではgnat.adcにpragma Profile (Jorvik);を書いて有効にできる。GNAT 13.3と15.3のデスクトップ向けの通常のランタイムで、エントリを2つ持つ保護オブジェクトと相対遅延のdelayがJorvikでは通り、Ravenscarでは制限違反になった。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典
• 並列ブロック文(parallel block statement)はConflict_Check_Policy(衝突検査の方針)で確認できます。既定の方針All_Parallel_Conflict_Checksでは、並列ブロックの中から外側の変数を読み書きすることを、同期オブジェクトでない限りコンパイル時に禁止する。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• 並列ループ(parallel loop)はConflict_Check_Policy(衝突検査の方針)で確認できます。既定の方針All_Parallel_Conflict_Checksでは、並列ループの中から外側の変数を読み書きすることを禁止する。例外は同期オブジェクトと、ループの変数を添字にした配列の要素。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• Conflict_Check_Policy(衝突検査の方針)はデータ競合(data race)を防ぎます。衝突検査の方針は、並列の構文の中で衝突しうる読み書きをコンパイル時に禁止し、データ競合を避ける。 / 確度: 確立した関係 / 確認日: 2026-11-01 出典
• 並列ブロック文(parallel block statement)はGNATと両立しません。GNAT 13.3と15.3はどちらもparallel doを構文エラーにした。GNATリファレンスマニュアルの実装済みのAda 2022機能の一覧にも、並列ブロックと並列ループを定めたAI12-0119は載っていない。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典
• 並列ループ(parallel loop)はGNATと両立しません。GNAT 13.3と15.3はどちらもparallel forを構文エラーにした。並列版の簡約式'Parallel_Reduceも未知の属性として扱われた。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典

主要概念の定義

宣言式(declare expression)

式の中で、制限型でない定数と名前の付け替えを宣言して使えるAda 2022の式。

差分集成体(delta aggregate)

元の値の写しから一部の成分だけを変えた複合型の値を作る、Ada 2022の集成体。レコードと配列に使える。

Put_Image

型の値を人が読む文字列としてテキストバッファに書く手続きで、Ada 2022ではどの型の'Imageもこれを通して定義される。アスペクトで型ごとに差し替えられる。

Jorvikプロファイル

Ravenscarプロファイルから6つの制限を外し、Simple_BarriersをPure_Barriersに置き換えた、Ada 2022で標準に加わったタスク機能のプロファイル。

並列ブロック文(parallel block statement)

andで区切った複数の文の並びを、それぞれ独立した論理的な制御の流れとして並行に進めるAda 2022の文。

契約による設計(Pre/Post条件)

サブプログラムに事前条件(Pre)・事後条件(Post)・型不変条件を言語機能として付与できる、Ada 2012で導入された仕組み。

Big_Integers

桁数の上限がない整数の型Big_Integerを定める、Ada 2022の標準ライブラリのパッケージ。

簡約式(reduction expression)

値の列を2項の演算と初期値で1つの値に畳み込む、ReduceまたはParallel_Reduce属性で書くAda 2022の式。

並列ループ(parallel loop)

反復の各回を並列に実行できるものとして書くAda 2022のループ文。チャンクの数の上限を指定できる。

Conflict_Check_Policy(衝突検査の方針)

並列の構文やタスクの中で衝突しうる読み書きを、どこまでコンパイル時に禁止するかを決めるAda 2022のプラグマと方針。既定は並列の構文に対してAll_Parallel_Conflict_Checks。

機械可読データ

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

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

作成

合同会社小村ソフト

ライセンス

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

最終確認日

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

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