1. 適用範囲
本仕様書は、P416言語で記述されたプログラムの構造と解釈を定義します。 言語の構文、意味論的規則、および本言語に適合する実装の要件の定義を行います。
以下の定義は行いません。
- P4プログラムをパケット処理システム上でコンパイル、ロード、実行するためのメカニズム
- あるパケット処理システムでデータを受信し、別のシステムへ配送するためのメカニズム
- コントロールプレーンが、P4プログラムで定義されたマッチアクションテーブルやその他のステートフルなオブジェクトを管理するためのメカニズム
- P4プログラムの規模や複雑さ
- 適合実装を提供可能なパケット処理システムの最小要件
なお、一部の実装では、ここで定義する動作をすべてのケースで実装できない場合や、より高い性能やより大規模なプログラムの取り扱いと引き換えに、一部の安全性保証を無効化するオプションを提供する場合があります。 これらの実装は、本仕様からの逸脱箇所を文書化すべきです。