要約

  • RFC 9624 は EVPN の制御ルートから BUM パケットの受信予定 BFER を導き、コアの中間ルーターにフロー別 multicast 状態を持たせず BIER で複製する。
  • IMET、SMET、S-PMSI、Leaf A-D、PTA が示すのは特定 epoch の意図とコンテキストであり、顧客側の参加状態や実配信ではない。
  • 信頼できる運用は、ルート epoch、パケット分類、leaf 集合、実際の BitString、コア分岐、セグメント間引き渡し、出口処理、split horizon、アクセス回線送信、顧客受信を別々に記録する。

予定表は埋まっていた

入口 PE には broadcast domain の IMET がそろい、選択転送に必要な SMET や Leaf A-D も見えている。PTA は BIER を示し、想定した各出口の bit が立つ。制御画面だけを見れば受信者一覧は完全だった。

それでも一つの顧客サイトにフレームが届かなかった。参加ルートが古かったのか、別の分類規則が選ばれたのか、コア分岐が失われたのか、segmentation point が下流コンテキストを誤ったのか、出口 PE が別の BD を選んだのか、split horizon が必要なコピーまで止めたのかは BitString から分からない。

RFC 9624 の成果は予定を相互運用可能な形式にしたことにある。その予定を到達実績へ昇格させれば、せっかくの境界が壊れる。立った bit は依頼の記録であり、受領の記録ではない。

フロー状態を減らしても証拠は増えない

BIER では中間 BFR が multicast のフロー別状態を保持せず、明示的な tree-building protocol にも参加しない。BFIR が出口集合を header に置き、各 BFR は Bit Index Forwarding Table に従って複製する。

これはコアを簡潔にするが、混雑、リンク障害、転送 epoch の不一致、誤った next hop を消さない。フロー状態を持たない装置でも、bit を正しく読んだ後に期待したコピーを出せないことがある。「木がない」は成功の観測ではない。

必要なのは、各分岐がどの BIFT を使い、どのコピーを送り、どの BFER が相関するパケットを見たかという記録である。設計上の省状態性とデータ面の実行結果を分離しなければならない。

PTA はサービス文脈の範囲を定める

PMSI Tunnel Attribute は BIER の tunnel type 0x0B、sub-domain ID、構成ルーターの BFR-id と BFR-Prefix を持つ。EVPN-MPLS では上流割当 MPLS label、VXLAN、NVGRE、GENEVE ではグローバルな VNI/VSID が入り、LIR と LIR-pF が leaf tracking に関与する。

これらはルートと P-tunnel の解釈を結ぶ。ただし BFR-Prefix は他フィールドのアドレスと同じとは限らず、Route Target が配布を制御する。BIER PTA を含むルートは、その BFR-Prefix が発信元を一意に示す BIER domain の外へ配布してはならない。

したがって構文が正しいだけでは scope を証明できない。元ルート、PTA byte、peer、Route Target、domain、発効時刻を保存する必要がある。要約画面の「BIER 正常」では、境界を越えた誤配布を検証できない。

leaf 集合はその瞬間の参加意図である

inclusive PMSI では同じ BD の他 IMET 発信元が BFER 集合となる。selective では source/group に合う SMET、または S-PMSI と Leaf A-D が leaf を決める。LIR、LIR-pF、SMET による代替によって具体的な規則が変わる。

顧客が離れた後も withdrawal が遅れれば余分な出口が残る。join の伝播が遅れれば必要な出口が欠ける。ルートは PE が関心を表明した事実であり、パケット到着時に顧客ポートへ受信者が存在した証明ではない。

パケット key、実際に選ばれた transmission route、leaf tracking に使われた全ルートを decision time で凍結する。後から現在の RIB で再計算してはならない。

leaf が空なら送らない

RFC 9624 は、送信用ルートが見つからなければ P-tunnel へ転送しないと定める。leaf tracking を必要とする tunnel を選んだのに leaf route がなければ、やはり送らない。

このため BIER 送信ゼロは、入力 BUM ゼロだけを意味しない。分類ミス、ルート欠落、空集合、手前の drop もあり得る。逆にルートが存在しても、そのフレームがルートを選んだ証拠にはならない。

入口 receipt は frame、BD、BUM 種別、source/group、match 結果、leaf 集合、interworking 選択、label または VNI、BIER header、送信成否を一つの epoch に結ぶ。

BitString が証明するのは依頼への包含

BFIR は leaf から必要な BFER を知り、RFC 8279 と RFC 8296 に従って header を作る。protocol field は EVPN-MPLS と VXLAN、NVGRE、GENEVE の payload 形態を分ける。

立った bit は、指定された sub-domain、set identifier、length のもとでその位置が複製依頼に含まれた証拠である。位置と BFER の mapping が全ノードで同じだったこと、最新の受信者を網羅したこと、分岐が完走したことは証明しない。

BFIR の設定記録と BFER の到着記録を別々に保持し、相関させる。この二つを一つの「delivered」にまとめると、古い意図まで成功に見える。

segmentation point は新しい判断主体である

segmentation point は上流 encapsulation と受信 match を示す label を受け取る。下流 region へ再広告した route には region ごとの PTA がある。下流が BIER なら、上流 encapsulation を外し、下流 PTA の label に交換し、leaf を再計算し、新しい BIER header を課す。

ここでは複数の操作が独立に失敗する。上流受信が成功しても下流 leaf が古い場合がある。label swap が別 BD を選ぶ場合がある。下流 BitString は局所的に妥当でも上流のサービス意図から出口を落としているかもしれない。

これは custody transfer として記録する。上流 packet と context、受信時刻、match route、除去した field、下流 region と epoch、置換 label、leaf、新 header、送信結果の両側が必要である。

BFER 到着の後に EVPN 配信が始まる

出口 PE は上流割当 label または VNI/VSID から BD を決め、その後で通常の EVPN forwarding を行う。したがって BFER が受信しても顧客 attachment circuit が受信したとは限らない。

mapping 不在、payload form 不一致、適格ポートなし、local queue drop があり得る。出口 receipt には decapsulation、protocol、lookup、BD、local replication list、port ごとの送信と queue 結果を含める。

コアの BIER counter と顧客申告が食い違っても、双方が正しい場合がある。provider tunnel は PE まで届け、service disposition がその後に失敗したのである。

split horizon の非送信は理由を要する

EVPN-MPLS の multihoming では上流割当 ESI label が元 ES を示し、同じ segment への戻りを止める。VXLAN、NVGRE、GENEVE では BFIR-id に基づく local bias が、入口 PE が既に配った multihomed ES への重複を防ぐ。

正しい suppression は loss ではない。しかし入口 identity、ESI、multihoming state を誤れば、loop 防止が service denial になる。一つの ES を正しく抑えた事実も、他の eligible port への送信を証明しない。

segment、ingress identity、ESI または local-bias input、理由、抑止 port、送信 port を残す。集計値だけでは正しい重複防止と誤った欠落を区別できない。

最終 receipt は P-tunnel の外にある

まず IMET、SMET、S-PMSI、Leaf A-D、Route Target、PTA、BIER domain の epoch を保存する。次に frame を実 match と leaf に結び、BFIR-id、sub-domain、BitString、protocol、label、VNI/VSID、ESI context を記録する。

コア分岐の観測、segmentation の引き渡し、BFER 到着、EVPN disposition、split horizon、attachment circuit 送信、customer-edge 受信が続く。application consumption と service outcome はさらに後である。

この証拠鎖はコアにフロー別 state を戻さない。小さな命令を、それが観測していない顧客体験の代理にしないだけである。

出典