Ceiling_Lockingプロトコル

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

概念URI

https://comcomponent.com/knowledge/ceiling-locking/

別名・表記

Ceiling Locking / 天井優先度プロトコル

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Annex D(Adaのリアルタイムシステム標準)はCeiling_Lockingプロトコルを利用します。Annex Dは優先度逆転を防ぐロッキング方針として、Ceiling_Lockingプロトコルを保護オブジェクトに組み込む。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• Ceiling_Lockingプロトコルは優先度逆転(priority inversion)を防ぎます。保護オブジェクトに入ったタスクを自動的にシーリング優先度へ昇格させることで、中優先度タスクによるプリエンプションを防ぎ、優先度逆転を防止する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• RavenscarプロファイルはCeiling_Lockingプロトコルを前提とします。Ravenscarプロファイルは、Ceiling_Lockingを必須のロッキングポリシーとして要求する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• タイミングイベント(Ada.Real_Time.Timing_Events)はCeiling_Lockingプロトコルを利用します。タイミングイベントのハンドラは保護オブジェクトのプロシージャとして実装され、シーリング優先度で実行されるためCeiling_Lockingと組み合わせて使われる。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Adaによるリアルタイムシステムプログラミング ── 優先度・周期・実行時間制御の実践(主要トピック)

一次資料

• https://ada-lang.io/docs/arm/AA-D/

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