[論文レビュー] GP4P4: Enabling Self-Programming Networks

Mohammad Riftadi, Jorik Oostenbrink+1 more|arXiv (Cornell University)|Oct 2, 2019

Software-Defined Networks and 5G参考文献 10被引用数 7

ひとこと要約

GP4P4 は、線形遺伝的プログラミング（LGP）を用い、合成トレースベースの評価エンジンにより、高レベルのネットワーク意図からプログラマブルスイッチ用の P4 プログラムを自動で生成する遺伝的プログラミングフレームワークである。8分未満で小規模なネットワーク機能の自己プログラミングを達成し、人為的介入を最小限に抑えた自己走行ネットワークへの重要な一歩を示している。

ABSTRACT

Recent advances in programmable switches have enabled network operators to build high-speed customized network functions. Although this is an important step towards self-* networks, operators are now faced with the burden of learning a new language and maintaining a repository of network function code. Inspired by the Intent-Based Networking paradigm, we propose a new framework, GP4P4: a genetic programming approach able to autonomously generate programs for P4-programmable switches directly from network intents. We demonstrate that GP4P4 is able to generate various small network functions in up to a few minutes; an important first step towards realizing the vision of `Self-Driving' networks.

研究の動機と目的

• プログラマブルスイッチ用の P4 プログラムを手作業で書いたり更新したりする際の複雑さと保守負荷の増大に対処すること。
• ネットワークオペレータが低レベルの P4 コードではなく、高レベルで人間が読みやすい行動ルールによってネットワーク動作を定義できるようにすること。
• 機械学習を用いて正しいかつ効率的な P4 プログラムを自動生成することで、人的ミスや開発時間を削減すること。
• 実際のスイッチやライブトラフィックに依存しない、合成ネットワークトレースを用いたプログラム評価により、自己完結型のフレームワークを構築すること。
• 実用的なネットワーク機能に対して、自律的 P4 プログラム生成の実現可能性と効率性を示すこと。

提案手法

• GP4P4 は、初期段階でランダムに生成された P4 プログラムの集団を、与えられた行動ルールを満たす方向へ線形遺伝的プログラミング（LGP）で進化させる。
• フレームワークは、パケットヘッダーやメタデータに対する IF-THEN 条件付き述語として行動ルールを定義し、望ましい入出力動作を指定する。
• カスタム評価モジュールが、各ルールセットに適合した合成ネットワークトレースを生成し、P4 プログラムの出力をシミュレートして適合度スコアを算出する。
• 交差（crossover）と変異（mutation）の遺伝的操作を用いて、世代を重ねてより優れたプログラムへと進化させる。
• トーナメント選択を用いて選択を行い、すべての行動ルールを満たすプログラムが得られるまで反復処理を継続する。
• 未マッチのパケット属性を保持するデフォルトルールを含め、デフォルトで正しく動作するように保証する。

実験結果

リサーチクエスチョン

• RQ1 人為的に書かれたテンプレートを一切使用せず、高レベルのネットワーク意図から自動的に正しい P4 プログラムを生成できる遺伝的プログラミングフレームワークは存在するか？
• RQ2 時間的および計算リソースの観点から、プログラム生成プロセスの効率性はいかがなものか？
• RQ3 遺伝的プログラミングのパrameter（例：集団サイズ、交差率）が生成時間と成功確率に与える影響は何か？
• RQ4 実際のネットワークデータを一切使用せず、合成トレースのみで多様で正しいネットワーク機能（例：NAT、ファイアウォール、ルータ）を生成できるか？
• RQ5 合成トレースに基づく評価メカニズムは、正しい P4 プログラムへと効果的な進化を導くのに十分か？

主な発見

• GP4P4 は、NAT やファイアウォール、ルータを含む7つの小規模なネットワーク機能を、中央値で8分未満で生成し、100回の独立実行のうち95％が10分以内に完了した。
• 100回の独立実行において、テスト済みのすべてのネットワーク機能について、100％の成功確率で正しい P4 プログラムを生成した。
• 初期プログラムの最大長を10行に制限することで、平均生成時間が著しく短縮された。これは、最小限で正しい解決策に早期収束していることを示唆している。
• 交差は、特にルータのような複雑な関数において、平均生成時間と分散の両方を短縮するために不可欠であることが判明した。
• トーナメントサイズ比が低め（≤0.1）であると、多様なプログラム探索が可能になり、収束速度が向上し、分散が減少した。
• 変異はルータ関数において顕著な正の効果を示し、平均時間と分散の両方を低減したが、他の関数では性能劣化を引き起こさなかった。