保護オブジェクト(protected object)

procedure・function・entryの3種の操作を通じてのみ内部データへアクセスさせ、排他制御を言語が保証するAda 95で導入された機構。

概念URI

https://comcomponent.com/knowledge/protected-object/

別名・表記

protected type / Protected Object

下位概念

バリア(保護エントリのwhen条件)

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• Adaのタスク(並行処理)は保護オブジェクト(protected object)を利用します。共有データの排他制御には、Ada 95で導入された保護オブジェクトを使い、procedure/function/entryの操作経由でしかデータにアクセスできないようにする。 / 確度: 確立した関係 / 確認日: 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 出典
• タイミングイベント(Ada.Real_Time.Timing_Events)は保護オブジェクト(protected object)を利用します。タイミングイベントのハンドラは、割り込みレベルの天井優先度を持つ保護オブジェクトの手続きとして実装する。 / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 保護オブジェクト(protected object)はAda(プログラミング言語)を前提とします。保護オブジェクトはAda 95で追加された、言語管理の排他制御を提供するAdaの機能である / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 保護オブジェクト(protected object)はバリア(保護エントリのwhen条件)を利用します。保護オブジェクトのエントリは、バリア条件が真になるまで呼び出し側をキューで待たせる(関数・プロシージャにはバリアはない) / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• 保護オブジェクト(protected object)はデータ競合(data race)を防ぎます。保護オブジェクトは共有データへの排他アクセスを保証し、データ競合を防ぐ / 確度: 確立した関係 / 確認日: 2026-08-01 出典
• 保護オブジェクト(protected object)は限定エラー(bounded error)の原因になることがあります。保護操作内でdelayや時間のかかるI/Oを行うと、Ada規格上の限定エラー(bounded error)に該当する / 確度: 条件付きの関係 / 確認日: 2026-08-01 出典
• 優先度上限プロトコル(Priority Ceiling Protocol)は保護オブジェクト(protected object)を前提とします。優先度上限プロトコルは、各保護オブジェクトにpragma Priorityでシーリング優先度を設定することを前提とする / 確度: 確立した関係 / 確認日: 2026-08-01 出典

この概念を扱う記事

• Ada言語の魅力 ── 型で設計を語り、数十年動き続けるソフトウェアを支える言語(言及)
• Adaによるリアルタイムシステムプログラミング ── 優先度・周期・実行時間制御の実践(言及)
• Adaにおける安全な並行処理 ── タスクと保護オブジェクトの実践ガイド(主要トピック)

一次資料

• https://ada-lang.io/docs/arm/AA-9/AA-9.4/
• https://www.adaic.org/ada-resources/standards/ada22/

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