Annex D(Adaのリアルタイムシステム標準)
タスク優先度、Ceiling_Locking、delay until、Ravenscarプロファイル、タイミングイベント、実行時間モニタリングなど、リアルタイムシステム向け機能群を定めるAda言語仕様の附属書。
- 概念URI
https://comcomponent.com/knowledge/ada-annex-d/- 別名・表記
- Annex D / Real-Time Systems Annex
- 最終確認日
- 2026-08-01
- 機械可読データ
- JSON-LD
この概念が関わる関係
- 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 出典
この概念を扱う記事
一次資料
このページはサイトの知識グラフ(_data/knowledge/)から自動生成されています。誤りの指摘はお問い合わせからお願いします。