要約

  • RFC 5270 は検出、切替決定、IP から無線への切替命令、新リンクの確立を四つの primitive に分ける。方向も時刻も責任主体も異なる。
  • LINK_UP の後、IP 層は実際のネットワークと予測を照合し、predictive、reactive、誤到着の処理を選ぶ。NCoA と DAD、buffer、アプリケーションはさらに後の証拠である。

緑色になってから分岐する

多くの監視画面は handover を一本の進捗線として描く。開始し、処理し、成功する。しかし RFC 5270 の状態遷移は、成功表示の後に重要な分岐を置く。新しい無線リンクが使えるようになって初めて、IP 層は到着先を確定する。

この RFC は IEEE 802.16e の hard handover と RFC 5268 の FMIPv6 を対応付けた Informational 文書である。RFC 5268 は後に RFC 5568 で置き換えられた。したがって旧い wire format を現在の実装指針として扱わない。ここで読むべきものは、異なる層がどの事実を所有するかという設計である。

一つの status に畳むと、検出の根拠、決定時の地図、命令の方向、実行結果、IP の回復 branch が消える。色は残っても説明能力は残らない。

候補の発見には出所が要る

MOB_NBR-ADV は近隣 BSID と channel 情報を配る。scan は変化する link quality を測り、association は ranging parameter や service availability を補える。新しい基地局が見つかると link 層は NEW_LINK_DETECTED を IP 層へ送る。

これは次の router の確定ではない。IP は RtSolPr/PrRtAdv を使い、BSID と access router の関係を調べる。無線上の候補と IP topology は別の対象であり、対応表そのものが証拠になる。

しかも broadcast 管理 message の一部は認証されない。偽の BSID を多数広告すれば、検出 event と無用な RtSolPr を増幅できる。RFC 5270 が scan を勧めるのは、広告内容を現場で照合するためだ。local primitive が正しく生成されたことは、原因となった広告が正しいことを意味しない。

決定は未来形である

無線側が target を選ぶと LINK_HANDOVER_IMPEND が上がる。IP は同じ subnet かを判断し、異なるなら prospective NCoA を作り、FBU を送る。PAR と NAR は HI/HAck で tunnel を準備し、FBack を返し得る。

ここで記録された target は予測である。信号強度は揺れ、端末は別の network に着くこともある。RFC 4907 は signal strength だけに依存せず、beacon loss などと組み合わせるよう促す。決定が真正でも、前提となる測定や topology mapping は誤り得る。

必要なのは「決定あり」という flag ではなく、target、policy、測定期間、mapping generation、時刻である。それらがなければ、後から予測と観測を比較できない。

命令だけは下向きに流れる

LINK_SWITCH は IP から link への command である。古い link で FBack を待てる間は切断を遅らせ、受信後に無線側へ切替を命じる。三つの上向き notification と同じ event class に入れてはいけない。

command の送信は実行の証明ではない。IP は要求を証明でき、radio state machine は結果を証明する。direction を捨てる logging は、観測者と権限行使者を同一人物にしてしまう。

MOB_HO-IND の前に FBack が届かなければ、旧基地局が connection と resource を解放した後に reactive mode へ進む可能性が高い。この「間に合わなかった」という事実は、後続の挙動を説明する重要な負の証拠である。

LINK_UP は radio の完了証

切替後、端末は target BS と同期し、ranging、capability、key management、registration、service flow を処理する。context transfer により省略される段階もある。data transmission が可能になったとき LINK_UP が IP へ届く。

同じ subnet なら FMIPv6 処理は不要である。予測 network で旧 link の FBack があれば UNA を送る。FBack がなければ UNA と FBU を送る。予測外 network なら新しい FBU で binding を実際の場所へ直す。

この四通りは同じ LINK_UP から始まる。ゆえに green light は radio entry の receipt であって、mobility outcome の receipt ではない。

address はさらに後で決まる

端末は自分で作った NCoA を UNA の source に使い、その後 DAD を始める。NAR が NAACK 付き RA で別の NCoA を与えた場合、そちらを使わなければならない。link availability は address authority より先に成立する。

NAR は UNA を受け、neighbor cache を更新して buffered packet を送る。しかし buffer から出たことは、端末の受信、transport の存続、application の完了を証明しない。

監査可能な receipt は、広告と scan、BSID-router mapping、target policy、FBU/FBack、切断 window、LINK_SWITCH の要求と結果、network entry、LINK_UP、実 network、branch、最終 NCoA、DAD、UNA、双方向 packet、application acknowledgement を結ぶ。欠落も branch の一部として保存する。

出典