要約

  • RISC-V Internationalは、標準ベースISA、必須拡張、少数の標準オプションから成るプロファイルを、ハードウェアとソフトウェアのプラットフォームを結ぶ共通の語彙として説明している。
  • RVA23の根拠文書は、拡張の批准はその拡張が存在する場合の仕様合意であり、全実装に同じ機能集合を保証せず、バイナリ・エコシステムの実際の基準を決めることもできないと述べる。
  • プロファイル主張の記録を添えれば、仕様の状態、実装の機能、配備された環境での互換性を一つの根拠のないラベルへ混同せずに済む。

プロファイルが示すのは共有する範囲

RISC-V Profilesの導入部でいうプロファイルは、標準ベースISA、必須ISA拡張、そして少数の標準オプションで組み立てられる。これは、プラットフォーム設計者と共通ツールチェーンの保守者が、共有して支えるISAの部分を短く、検証可能に指し示すための仕組みである。可搬なソフトウェアが、考え得るすべての拡張の組合せを通常の対応範囲にするためのものではない。

この短縮表現には実務上の利点がある。ベンダーは設計がどのプロファイルを目標にするかを言える。コンパイラの保守者は、どの定義済みの範囲に通常の支援を与えるかを示せる。ソフトウェアの作者は、互換性の主張を文書と版に結びつけられる。漠然と「RISC-V互換」と言うより、どれも情報量が多い。

同時に、導入部は拡大解釈を止めている。プロファイルは、個別拡張の組合せやカスタム拡張を禁じる意図ではない。特殊用途の構成は続けられるが、広いソフトウェア支援やハードウェア間の可搬性が当然に期待されるわけではない。したがってプロファイルは、許される設計の排他的な一覧でも、すべての実装への命令でもない。限定された支援範囲のための調整語彙である。

批准は全機器への搭載を意味しない

RVA23の根拠は、ここで起こりやすい飛躍をはっきり区別する。RISC-V InternationalのISA拡張の批准過程は、標準拡張が存在する場合にその仕様へベンダーが合意していることを保証する。しかし、各拡張の仕様だけでは、特定の拡張集合がすべての実装にあることは保証しない。

この条件を製品の主張から落としてはならない。批准済み仕様ライブラリに文書があることは、RISC-V Internationalがその文書を公表している状態を示す。特定のプロセッサが拡張を持つこと、ボードが公開すること、ファームウェアが有効にすること、コンパイラが対象にすること、顧客が配備したことまでは示さない。それらは別の主体による別の事実であり、別の証拠を要する。

ライブラリの構成も同じ線を引く。ProfilesとRVA23を批准済み仕様として掲げ、版と文書上の役割を示している。これは公開された仕様記録について強い証拠である。しかし製品カタログ、出荷台帳、試験報告、設置済み機器の調査ではない。それらとして読むなら、ライブラリが主張していない権限を借りることになる。

実際の基準は配備の観察から生まれる

バイナリ・ソフトウェア市場でなぜこの区別が重要になるのかも、RVA23は説明する。プロファイルは、ある世代の実装でソフトウェアが一定の機能集合に依拠できるよう、プロセッサのベンダーを整列させる方法である。一方でRISC-V Internationalは、バイナリ・エコシステムが使うべきISA機能を命令できない。各エコシステムは通常、対象市場で実際に配備された機器を経験的に観察し、最低共通分母を選ぶ。

これはプロファイルの弱点ではない。役割を正直に分けている。プロファイルは、広い機器群が見える前の調整の不確実性を減らせる。エコシステムは、実際に見える機器、ツール、利用環境から、何を安全に要求できるかをなお決めなければならない。前者は互換性の言葉を公表し、後者は配備の証拠から運用上の基準を選ぶ。

RVA23が挙げる地域化、開発、拡張、移行の各オプションも、同じ境界を明確にする。発見方法、実装コスト、ライフサイクル、将来方向について異なる期待を示せる。しかし文書上の「任意」という分類が、特定の機器にその機能があるという証明に変わるわけではない。

名前ではなく記録を添える

必要なのは新しい認証制度ではない。公開の互換性主張ごとに小さなプロファイル主張記録を付けることだ。そこには、引用したプロファイルと版、ベースISA、主張に関係する必須拡張、主張する任意拡張、主張者、ハードウェア・ファームウェア・ツール・ソフトウェアの限定された範囲、主張日を置く。

ボードの供給者がプロファイル実装を言うなら、構成と再現可能な試験を添えられる。配布者がイメージの対応を言うなら、試験したイメージ、ツールチェーン、機器範囲を示せる。エコシステムが基準を言うなら、観察した機器群と見直し日を示せる。ない欄はないままにする。仕様の名が暗黙に欄を埋めてはならない。

これで「このプロファイルは批准済みである」「この実装にはこの機能がある」「このソフトウェア基準はこの配備集団に安全である」という三つの文が分かれる。すべて真であり得るが、同じ行為、同じ証拠から生じるものではない。

選択を検証可能に保つ

Heng Luのノートは、ここではRISC-Vについての事実資料ではなく方法を与える。調整のための成果物は、限られた共通条件を記述すべきで、まだ採用されていない現実を既成事実として宣言してはならない。プロファイル文書にはすでにこの技術的な節度がある。共通語を与えながら、カスタム構成、任意の経路、別途観察されるエコシステムの選択を残している。

この記録は中央の承認も新しい門番も作らない。話し手に、どの種類の主張をしており、証拠がどこまで届くかを示させるだけである。ベンダーが普遍的基準を約束したと読まれること、ソフトウェア・チームが文書を機器調査と誤認すること、購入者がブランド表現を試験済み配備の事実とみなすことを防ぐ。

主張は試せるほど狭く、照合できるほど比較可能であるとき、可搬性に役立つ。プロファイルの強みは語彙である。製品監査、配備報告、市場全体への命令の権威を借りる言葉になれば、その強みは失われる。

出典

  1. RISC-V Profiles v1.0 — Introduction
  2. RVA23 Profile v1.0 — Rationale
  3. RISC-V Ratified Specifications Library
  4. RISC-V ABIs Specification — Preamble
  5. Heng Lu — The Multi-Stakeholder Mirage
  6. Heng Lu — Running-Code Primacy
  7. Heng Lu — Minimum Initial Specification, Localized Future Decision, and Voluntary Adoption