知識マップ: Adaによるリアルタイムシステムプログラミング ── 優先度・周期・実行時間制御の実践

記事「Adaによるリアルタイムシステムプログラミング ── 優先度・周期・実行時間制御の実践」の主張を、概念と関係(エッジ)に分解した知識グラフの全体です。各関係には根拠・確認日・確度が付いています。

Adaの言語仕様Annex Dは、タスク優先度に基づくFIFO_Within_Priorities、保護オブジェクトへ自動的にシーリング優先度を割り当てるCeiling_Lockingプロトコル、累積ドリフトを防ぐdelay untilによる周期実行、静的解析を行いやすいRavenscarプロファイル、ポーリング不要のタイミングイベント、タスク単位の実行時間計測までを言語ランタイムそのものに組み込んでいる。Ceiling_Lockingは、1997年のMars Pathfinderで実際に発生し探査機のリセットを繰り返させた優先度逆転を、保護オブジェクトに入ったタスクをシーリング優先度へ自動昇格させることで防ぐ。Ravenscarプロファイルは相対delayやselect文などを禁止してAdaのタスクを静的タイミング解析しやすいサブセットに制限し、GNATではgnat.adcファイルへのプラグマ記述で有効化する。ただし優先度の実際のマッピングはOSとGNATランタイムに依存する。

flowchart LR
    accTitle: Adaのリアルタイムシステムプログラミングの知識マップ
    accDescr: Ada Annex Dが優先度ベースディスパッチ・Ceiling_Locking・delay until・Ravenscarプロファイル・タイミングイベント・実行時間計測をタスクと保護オブジェクトの上にどう組み込み、Ceiling_LockingがMars Pathfinderで起きたような優先度逆転をどう防ぐかを示す図。
    ada_annex_d["Annex D(Adaのリアルタイムシステム標準)"]
    ceiling_locking["Ceiling_Lockingプロトコル"]
    fifo_within_priorities["FIFO_Within_Priorities"]
    ada_delay_until["delay until(絶対時刻の遅延)"]
    ravenscar_profile["Ravenscarプロファイル"]
    ada_timing_events["タイミングイベント(Ada.Real_Time.Timing_Events)"]
    ada_execution_time["Ada.Execution_Time(実行時間計測)"]
    ada_task["Adaのタスク(並行処理)"]
    protected_object["保護オブジェクト(protected object)"]
    gnat["GNAT"]
    priority_inversion["優先度逆転(priority inversion)"]
    mars_pathfinder_priority_inversion["Mars Pathfinderの優先度逆転事故"]
    ada_relative_delay["相対delay(delay文)"]
    cumulative_drift["周期実行の累積ドリフト"]
    ada_annex_d -->|"利用する"| fifo_within_priorities
    ada_annex_d -->|"利用する"| ceiling_locking
    ada_annex_d -->|"利用する"| ada_delay_until
    ada_annex_d -->|"利用する"| ravenscar_profile
    ada_annex_d -->|"利用する"| ada_timing_events
    ada_annex_d -->|"利用する"| ada_execution_time
    ada_annex_d -->|"前提とする"| ada_task
    ada_annex_d -.->|"前提とする"| protected_object
    ada_annex_d -.->|"前提とする"| gnat
    ceiling_locking -->|"防止する"| priority_inversion
    priority_inversion -->|"原因になり得る"| mars_pathfinder_priority_inversion
    ravenscar_profile -->|"前提とする"| ada_task
    ravenscar_profile -->|"前提とする"| fifo_within_priorities
    ravenscar_profile -->|"前提とする"| ceiling_locking
    ravenscar_profile -.->|"で構成できる"| gnat
    ada_relative_delay -->|"原因になり得る"| cumulative_drift
    ada_delay_until -->|"防止する"| cumulative_drift
    ada_relative_delay -->|"用いるのは非推奨"| ravenscar_profile
    ada_timing_events -->|"利用する"| ceiling_locking
    ada_timing_events -->|"利用する"| protected_object
    ada_execution_time -->|"前提とする"| ada_task

概念間の関係(全21件)

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

• Annex D(Adaのリアルタイムシステム標準)はFIFO_Within_Prioritiesを利用します。Annex DはFIFO_Within_Prioritiesを、同一優先度内はFIFOで実行し高優先度タスクが低優先度タスクをプリエンプトする標準的なディスパッチポリシーとして規定する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はCeiling_Lockingプロトコルを利用します。Annex Dは優先度逆転を防ぐロッキング方針として、Ceiling_Lockingプロトコルを保護オブジェクトに組み込む。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はdelay until(絶対時刻の遅延)を利用します。Annex Dは絶対時刻を基準にした遅延であるdelay untilを、累積ドリフトを防ぐ周期実行の基本手段として提供する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はRavenscarプロファイルを利用します。Annex Dの枠組みのもとで、安全性が極めて重要なシステム向けにタスク機能を制限するRavenscarプロファイルが定義される。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はタイミングイベント(Ada.Real_Time.Timing_Events)を利用します。Annex Dは、指定時刻にハンドラをシーリング優先度で呼び出すタイミングイベントの仕組みを提供する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はAda.Execution_Time(実行時間計測)を利用します。Annex Dは、タスク単位のCPU消費時間を計測するAda.Execution_Timeパッケージを提供する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はAdaのタスク(並行処理)を前提とします。Annex Dのリアルタイム機能は、Adaのタスクを土台として優先度やディスパッチポリシーを拡張する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)は保護オブジェクト(protected object)を前提とします。Annex Dの機能のうちCeiling_Lockingやタイミングイベントは、保護オブジェクトを土台として実装される。ただしFIFO_Within_Prioritiesやdelay until、Ada.Execution_TimeなどAnnex Dの他の機能は保護オブジェクトを前提としない。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Annex D(Adaのリアルタイムシステム標準)はGNATを前提とします。pragma Priorityが実際にどうスケジューリングへ反映されるかはOSとGNATランタイムに依存し、Linux上ではSCHED_FIFOにマップされる一方、Windows上では完全なプリエンプションが保証されない場合がある。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• Ceiling_Lockingプロトコルは優先度逆転(priority inversion)を防ぎます。保護オブジェクトに入ったタスクを自動的にシーリング優先度へ昇格させることで、中優先度タスクによるプリエンプションを防ぎ、優先度逆転を防止する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 優先度逆転(priority inversion)はMars Pathfinderの優先度逆転事故の原因になることがあります。1997年のMars Pathfinderでは、優先度逆転が実際に発生し、探査機がリセットを繰り返す原因になった。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• RavenscarプロファイルはAdaのタスク(並行処理)を前提とします。Ravenscarプロファイルは、Adaのタスク機能を静的に解析可能で決定論的なサブセットへ制限する規約である。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• RavenscarプロファイルはFIFO_Within_Prioritiesを前提とします。Ravenscarプロファイルは、FIFO_Within_Prioritiesを必須のディスパッチポリシーとして要求する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• RavenscarプロファイルはCeiling_Lockingプロトコルを前提とします。Ravenscarプロファイルは、Ceiling_Lockingを必須のロッキングポリシーとして要求する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• RavenscarプロファイルはGNATで構成できます。GNATを使う場合、Ravenscarプロファイルはgnat.adcファイルにpragma Profile (Ravenscar);を記述することで有効化できる(他のAda処理系では有効化の記述方法が異なる)。 / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• 相対delay(delay文)は周期実行の累積ドリフトの原因になることがあります。相対時間指定のdelayを繰り返すと各反復の処理時間が加算され、周期が徐々にずれる累積ドリフトが発生する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• delay until(絶対時刻の遅延)は周期実行の累積ドリフトを防ぎます。delay untilは絶対時刻を基準に次の起動時刻を決めるため、1回の処理が遅れても次回以降の起動時刻は正しく保たれ、累積ドリフトを防ぐ。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 相対delay(delay文)をRavenscarプロファイルに用いることは推奨されません。相対delayは累積ドリフトを生みやすいため、Ravenscarプロファイルに準拠したコードで用いることは推奨されず、禁止される。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• タイミングイベント(Ada.Real_Time.Timing_Events)はCeiling_Lockingプロトコルを利用します。タイミングイベントのハンドラは保護オブジェクトのプロシージャとして実装され、シーリング優先度で実行されるためCeiling_Lockingと組み合わせて使われる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• タイミングイベント(Ada.Real_Time.Timing_Events)は保護オブジェクト(protected object)を利用します。タイミングイベントのハンドラは、割り込みレベルの天井優先度を持つ保護オブジェクトの手続きとして実装する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Ada.Execution_Time(実行時間計測)はAdaのタスク(並行処理)を前提とします。Ada.Execution_Timeは、計測対象であるタスクごとのCPU消費時間を提供する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

主要概念の定義

Annex D(Adaのリアルタイムシステム標準)

タスク優先度、Ceiling_Locking、delay until、Ravenscarプロファイル、タイミングイベント、実行時間モニタリングなど、リアルタイムシステム向け機能群を定めるAda言語仕様の附属書。

Ceiling_Lockingプロトコル

保護オブジェクトにシーリング優先度を設定し、進入したタスクを自動的にその優先度へ昇格させることで優先度逆転を防ぐ、Annex Dが定めるロッキング方針。

優先度逆転(priority inversion)

低優先度タスクが保持するロックを高優先度タスクが待つ間に、その低優先度タスクが中優先度タスクにプリエンプトされ、高優先度タスクが無期限にブロックされる現象。

Ravenscarプロファイル

動的タスク生成やselect文などを禁止し、Adaのタスク機能を静的解析可能で決定論的なサブセットに制限するプロファイル。

相対delay(delay文)

処理からの相対時間で待機するAdaのdelay文。各反復の処理時間が加算されて周期がずれる累積ドリフトを生みやすく、Ravenscarプロファイルでは禁止される。

delay until(絶対時刻の遅延)

絶対時刻を基準に次の起動時刻を指定するAdaの遅延文。1回の処理が遅れても次回以降の起動時刻を正しく保ち、累積ドリフトを防ぐ。

タイミングイベント(Ada.Real_Time.Timing_Events)

指定した絶対時刻にハンドラをシーリング優先度で呼び出す、ポーリング不要の時刻駆動起床の仕組み。

Ada.Execution_Time(実行時間計測)

タスクごとのCPU消費時間を計測できるAdaの標準ライブラリパッケージ。壁時計時間とは異なり、ブロック中・プリエンプト中はカウントされない。

機械可読データ

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

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