宣言的(Declarative)ネットワーキング

概要

従来ネットワークのプロビジョニング・制御は「命令的 (Imperative)」にスクリプトや OpenFlow Protocol などを用いて行われることが多かったですが、近年より「宣言的（Declarative）」に行う試みが出てきています。本セッションでは、宣言的制御に関する基礎的理論と実例を河野から、仮想ネットワークにおける宣言的なコントロールプレーンの実装に関する試みを進藤から紹介します。

議論したいテーマ・ポイント:

• 皆さんはネットワーク制御やプロビジョニングをどのように行っていますか? 命令的? 宣言的?
• その際に苦痛に思っている点、困っている点は何ですか?

基礎的理論と実例のトピック:

• 論理の限界
• 手続き型制御の限界
• 分散処理と整合性の問題
• 宣言的ネットワーキング- 実例と展望

仮想ネットワークにおける宣言的コントロールプレーン実装の試み:

• OVNについて
• Incremental Update手法
• Differential Datalog の適用と性能評価

発表者

進藤 資訓 (ヴイエムウェア株式会社)

河野 美也 (シスコシステムズ合同会社)

公開資料

基礎理論、実例、今後の展望 (河野)

OVNのコントロールプレーンの例 (進藤)

参考資料

システム理論の続き - 宣言的ネットワーキング - Qiita