Jorvikプロファイル

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

概念URI

https://comcomponent.com/knowledge/jorvik-profile/

別名・表記

Jorvik / pragma Profile (Jorvik)

最終確認日

2026-08-01

機械可読データ

JSON-LD

この概念が関わる関係

• 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 出典
• SPARKはJorvikプロファイルを利用します。GNATprove は Ada 2022 で定義された Jorvik プロファイルにも対応しており、並行処理の SPARK コードで Ravenscar の代わりに指定できる。 / 確度: 条件付きの関係 / 確認日: 2026-11-01 出典

この概念を扱う記事

• Ada 2022 の新しい機能 ── GNAT で動くものと、まだ書けない並列構文(主要トピック)
• Ada と Rust の安全性の考え方の違い ── 型・オーバーフロー・所有権・データ競合・形式検証を実際に動かして比べる(言及)

一次資料

• https://ada-lang.io/docs/arm/AA-D/AA-D.13/
• https://www.adaic.org/resources/add_content/standards/22rm/html/RM-D-13.html
• https://docs.adacore.com/spark2014-docs/html/ug/en/source/concurrency.html

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