JP2018046549A - ネットワーク検証 - Google Patents
ネットワーク検証 Download PDFInfo
- Publication number
- JP2018046549A JP2018046549A JP2017144153A JP2017144153A JP2018046549A JP 2018046549 A JP2018046549 A JP 2018046549A JP 2017144153 A JP2017144153 A JP 2017144153A JP 2017144153 A JP2017144153 A JP 2017144153A JP 2018046549 A JP2018046549 A JP 2018046549A
- Authority
- JP
- Japan
- Prior art keywords
- forwarding
- data plane
- rule
- network
- edge
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L45/00—Routing or path finding of packets in data switching networks
- H04L45/74—Address processing for routing
- H04L45/745—Address table lookup; Address filtering
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L45/00—Routing or path finding of packets in data switching networks
- H04L45/64—Routing or path finding of packets in data switching networks using an overlay routing layer
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L1/00—Arrangements for detecting or preventing errors in the information received
- H04L1/004—Arrangements for detecting or preventing errors in the information received by using forward error control
- H04L1/0056—Systems characterized by the type of code used
- H04L1/0061—Error detection codes
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L45/00—Routing or path finding of packets in data switching networks
- H04L45/54—Organization of routing tables
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
Description
(付記1) ネットワーク検証方法であって、
データプレーンの中の複数のスイッチのうちの各スイッチのための1又は複数の転送テーブルを有する前記データプレーンを識別するステップと、
前記データプレーンの前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、前記データプレーンの転送動作表現を生成するステップと、
前記データプレーンの中の1又は複数のエラーを検出するために、前記データプレーンの前記転送動作表現を1又は複数のネットワーク特性と比較するステップと、
を有する方法。
(付記2) 前記転送動作表現を生成するステップは、前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、複数の最小単位を含む前記転送動作表現を生成するステップを有する、付記1に記載の方法。
(付記3) 前記転送動作表現を生成するステップは、前記データプレーンの論理表現を生成するステップを有する、付記1に記載の方法。
(付記4) 転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して更新されたデータプレーンを識別するステップと、
前記更新されたデータプレーンの別の転送動作表現を生成するステップと、
前記更新されたデータプレーンの中の1又は複数のエラーを検出するために、前記更新されたデータプレーンの前記別の転送動作表現を前記1又は複数のネットワーク特性と比較するステップと、
を更に有する付記1に記載の方法。
(付記5) 前記データプレーンの前記転送動作表現を生成するステップは、辺ラベル付きグラフを生成するステップを有し、前記辺ラベル付きグラフの各エッジは、前記データプレーンの転送ルールのインターネットプロトコル(IP)プレフィックスを表すために、1又は複数の最小単位に関連付けられる、付記1に記載の方法。
(付記6) 転送ルールが前記1又は複数の転送テーブルのうちの転送テーブルから削除されることに応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するステップ、を更に有する付記5に記載の方法。
(付記7) 転送ルールが前記1又は複数の転送テーブルのうちの転送テーブルに追加されることに応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するステップ、を更に有する付記5に記載の方法。
(付記8) 前記1又は複数の転送テーブルの1又は複数の変更に応答して、前記更新辺ラベル付きグラフを増加的に更新するステップ、を更に有する付記7に記載の方法。
(付記9) 前記転送動作表現を1又は複数のネットワーク特性と比較するステップは、前記転送動作表現を1又は複数のネットワーク到達可能性特性と比較するステップを有する、付記1に記載の方法。
(付記10) 命令を有する1又は複数の非一時的コンピュータ可読媒体であって、前記命令は、1又は複数のプロセッサにより実行されると、前記1又は複数のプロセッサに動作を実行させるよう構成され、前記動作は、
データプレーンの中の複数のスイッチのうちの各スイッチのための1又は複数の転送テーブルを有する前記データプレーンを識別するステップと、
前記データプレーンの前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、前記データプレーンの転送動作表現を生成するステップと、
前記データプレーンの中の1又は複数のエラーを検出するために、前記データプレーンの前記転送動作表現を1又は複数のネットワーク特性と比較するステップと、
を有する、コンピュータ可読媒体。
(付記11) 前記動作は、
転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して更新されたデータプレーンを識別するステップと、
前記データプレーンの別の転送動作表現を生成するステップと、
前記更新されたデータプレーンの中の1又は複数のエラーを検出するために、前記川迫インされたデータプレーンの前記別の転送動作表現を前記1又は複数のネットワーク特性と比較するステップと、
を更に有する、付記10に記載のコンピュータ可読媒体。
(付記12) 前記データプレーンの前記転送動作表現を生成するステップは、辺ラベル付きグラフを生成するステップを有し、前記辺ラベル付きグラフの各エッジは、前記データプレーンの転送ルールのインターネットプロトコル(IP)プレフィックスを表すために、1又は複数の最小単位に関連付けられる、付記10に記載のコンピュータ可読媒体。
(付記13) 前記動作は、転送ルールが前記1又は複数の転送テーブルのうちの転送テーブルに追加されることに応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するステップ、を更に有する、付記12に記載のコンピュータ可読媒体。
(付記14) 前記動作は、前記1又は複数の転送テーブルの1又は複数の変更に応答して、前記更新辺ラベル付きグラフを増加的に更新するステップ、を更に有する、付記13に記載のコンピュータ可読媒体。
(付記15) 前記動作は、転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して、前記転送動作表現を更新するステップ、を更に有する、付記10に記載のコンピュータ可読媒体。
(付記16) ネットワーク検証システムであって、
1又は複数のプロセッサ、
を有し、前記1又は複数のプロセッサは、
データプレーンの中の複数のスイッチのうちの各スイッチのための1又は複数の転送テーブルを有する前記データプレーンを識別し、
前記データプレーンの前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、前記データプレーンの転送動作表現を生成し、
前記データプレーンの中の1又は複数のエラーを検出するために、前記データプレーンの前記転送動作表現を1又は複数のネットワーク特性と比較する、
よう構成される、システム。
(付記17) 前記1又は複数のプロセッサは、
転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して更新されたデータプレーンを識別し、
前記更新されたデータプレーンの別の転送動作表現を生成し、
前記更新されたデータプレーンの中の1又は複数のエラーを検出するために、前記更新されたデータプレーンの前記別の転送動作表現を前記1又は複数のネットワーク特性と比較する、
よう更に構成される、付記16に記載のシステム。
(付記18) 前記データプレーンの前記転送動作表現は、辺ラベル付きグラフを有し、前記辺ラベル付きグラフの各エッジは、前記データプレーンの転送ルールのインターネットプロトコル(IP)プレフィックスを表すために、1又は複数の最小単位に関連付けられる、付記16に記載のシステム。
(付記19) 前記1又は複数のプロセッサは、前記1又は複数の転送テーブルの1又は複数の変更に応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するよう更に構成される、付記18に記載のシステム。
(付記20) 前記1又は複数の変更は、前記1又は複数の転送テーブルのうちの少なくとも1つの転送テーブルに1又は複数の転送ルールを追加することを有する、付記19に記載のシステム。
102 ネットワーク管理者
104 SDN
105 SDN制御部
106 特性
107 物理ネットワーク
108 データプレーン
110 ネットワークアプリケーション
Claims (20)
- ネットワーク検証方法であって、
データプレーンの中の複数のスイッチのうちの各スイッチのための1又は複数の転送テーブルを有する前記データプレーンを識別するステップと、
前記データプレーンの前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、前記データプレーンの転送動作表現を生成するステップと、
前記データプレーンの中の1又は複数のエラーを検出するために、前記データプレーンの前記転送動作表現を1又は複数のネットワーク特性と比較するステップと、
を有する方法。 - 前記転送動作表現を生成するステップは、前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、複数の最小単位を含む前記転送動作表現を生成するステップを有する、請求項1に記載の方法。
- 前記転送動作表現を生成するステップは、前記データプレーンの論理表現を生成するステップを有する、請求項1に記載の方法。
- 転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して更新されたデータプレーンを識別するステップと、
前記更新されたデータプレーンの別の転送動作表現を生成するステップと、
前記更新されたデータプレーンの中の1又は複数のエラーを検出するために、前記更新されたデータプレーンの前記別の転送動作表現を前記1又は複数のネットワーク特性と比較するステップと、
を更に有する請求項1に記載の方法。 - 前記データプレーンの前記転送動作表現を生成するステップは、辺ラベル付きグラフを生成するステップを有し、前記辺ラベル付きグラフの各エッジは、前記データプレーンの転送ルールのインターネットプロトコル(IP)プレフィックスを表すために、1又は複数の最小単位に関連付けられる、請求項1に記載の方法。
- 転送ルールが前記1又は複数の転送テーブルのうちの転送テーブルから削除されることに応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するステップ、を更に有する請求項5に記載の方法。
- 転送ルールが前記1又は複数の転送テーブルのうちの転送テーブルに追加されることに応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するステップ、を更に有する請求項5に記載の方法。
- 前記1又は複数の転送テーブルの1又は複数の変更に応答して、前記更新辺ラベル付きグラフを増加的に更新するステップ、を更に有する請求項7に記載の方法。
- 前記転送動作表現を1又は複数のネットワーク特性と比較するステップは、前記転送動作表現を1又は複数のネットワーク到達可能性特性と比較するステップを有する、請求項1に記載の方法。
- 命令を有する1又は複数の非一時的コンピュータ可読媒体であって、前記命令は、1又は複数のプロセッサにより実行されると、前記1又は複数のプロセッサに動作を実行させるよう構成され、前記動作は、
データプレーンの中の複数のスイッチのうちの各スイッチのための1又は複数の転送テーブルを有する前記データプレーンを識別するステップと、
前記データプレーンの前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、前記データプレーンの転送動作表現を生成するステップと、
前記データプレーンの中の1又は複数のエラーを検出するために、前記データプレーンの前記転送動作表現を1又は複数のネットワーク特性と比較するステップと、
を有する、コンピュータ可読媒体。 - 前記動作は、
転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して更新されたデータプレーンを識別するステップと、
前記データプレーンの別の転送動作表現を生成するステップと、
前記更新されたデータプレーンの中の1又は複数のエラーを検出するために、前記川迫インされたデータプレーンの前記別の転送動作表現を前記1又は複数のネットワーク特性と比較するステップと、
を更に有する、請求項10に記載のコンピュータ可読媒体。 - 前記データプレーンの前記転送動作表現を生成するステップは、辺ラベル付きグラフを生成するステップを有し、前記辺ラベル付きグラフの各エッジは、前記データプレーンの転送ルールのインターネットプロトコル(IP)プレフィックスを表すために、1又は複数の最小単位に関連付けられる、請求項10に記載のコンピュータ可読媒体。
- 前記動作は、転送ルールが前記1又は複数の転送テーブルのうちの転送テーブルに追加されることに応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するステップ、を更に有する、請求項12に記載のコンピュータ可読媒体。
- 前記動作は、前記1又は複数の転送テーブルの1又は複数の変更に応答して、前記更新辺ラベル付きグラフを増加的に更新するステップ、を更に有する、請求項13に記載のコンピュータ可読媒体。
- 前記動作は、転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して、前記転送動作表現を更新するステップ、を更に有する、請求項10に記載のコンピュータ可読媒体。
- ネットワーク検証システムであって、
1又は複数のプロセッサ、
を有し、前記1又は複数のプロセッサは、
データプレーンの中の複数のスイッチのうちの各スイッチのための1又は複数の転送テーブルを有する前記データプレーンを識別し、
前記データプレーンの前記1又は複数の転送テーブルの転送ルールのブール結合を表すために、前記データプレーンの転送動作表現を生成し、
前記データプレーンの中の1又は複数のエラーを検出するために、前記データプレーンの前記転送動作表現を1又は複数のネットワーク特性と比較する、
よう構成される、システム。 - 前記1又は複数のプロセッサは、
転送ルールが前記複数のスイッチのうちのスイッチの転送テーブルに追加されることに応答して更新されたデータプレーンを識別し、
前記更新されたデータプレーンの別の転送動作表現を生成し、
前記更新されたデータプレーンの中の1又は複数のエラーを検出するために、前記更新されたデータプレーンの前記別の転送動作表現を前記1又は複数のネットワーク特性と比較する、
よう更に構成される、請求項16に記載のシステム。 - 前記データプレーンの前記転送動作表現は、辺ラベル付きグラフを有し、前記辺ラベル付きグラフの各エッジは、前記データプレーンの転送ルールのインターネットプロトコル(IP)プレフィックスを表すために、1又は複数の最小単位に関連付けられる、請求項16に記載のシステム。
- 前記1又は複数のプロセッサは、前記1又は複数の転送テーブルの1又は複数の変更に応答して、更新辺ラベル付きグラフを生成するために、前記辺ラベル付きグラフを更新するよう更に構成される、請求項18に記載のシステム。
- 前記1又は複数の変更は、前記1又は複数の転送テーブルのうちの少なくとも1つの転送テーブルに1又は複数の転送ルールを追加することを有する、請求項19に記載のシステム。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US15/264,501 | 2016-09-13 | ||
US15/264,501 US10057166B2 (en) | 2016-09-13 | 2016-09-13 | Network verification |
Publications (1)
Publication Number | Publication Date |
---|---|
JP2018046549A true JP2018046549A (ja) | 2018-03-22 |
Family
ID=61561157
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2017144153A Pending JP2018046549A (ja) | 2016-09-13 | 2017-07-26 | ネットワーク検証 |
Country Status (2)
Country | Link |
---|---|
US (1) | US10057166B2 (ja) |
JP (1) | JP2018046549A (ja) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2021010098A (ja) * | 2019-07-01 | 2021-01-28 | 富士通株式会社 | 探索プログラム、探索方法、および、情報処理装置 |
EP3863224A1 (en) | 2020-02-10 | 2021-08-11 | Fujitsu Limited | Diagram generation method and diagram generation program |
US11188444B2 (en) | 2019-02-26 | 2021-11-30 | Fujitsu Limited | Abnormality detection method and abnormality detection device |
Families Citing this family (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10778545B2 (en) * | 2018-07-19 | 2020-09-15 | Futurewei Technologies, Inc. | Network verification system |
US10728147B2 (en) * | 2018-09-06 | 2020-07-28 | Fujitsu Limited | Collection of forwarding rules |
US10771342B2 (en) | 2018-10-31 | 2020-09-08 | Hewlett Packard Enterprises Development LP | Encoding and verifying network intents for stateful networks |
US10938667B2 (en) | 2018-12-20 | 2021-03-02 | Hewlett Packard Enterprise Development Lp | Incremental intent checking for stateful networks |
US11159384B2 (en) * | 2019-04-30 | 2021-10-26 | Hewlett Packard Enterprise Development Lp | Runtime monitoring in intent-based networking |
JP2021022778A (ja) | 2019-07-25 | 2021-02-18 | 富士通株式会社 | 検証プログラム、検証方法及び検証装置 |
CN113872784B (zh) * | 2020-06-30 | 2022-12-06 | 华为技术有限公司 | 网络配置的验证方法和装置 |
CN114172827A (zh) * | 2020-08-21 | 2022-03-11 | 华为技术有限公司 | 网络验证的方法及装置 |
US12045602B2 (en) | 2022-03-25 | 2024-07-23 | Woven By Toyota, Inc. | Correctness verification system, method, device, and program |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9225601B2 (en) * | 2013-06-17 | 2015-12-29 | The Board Of Trustees Of The University Of Illinois | Network-wide verification of invariants |
US9369744B2 (en) * | 2014-10-15 | 2016-06-14 | Fortinet, Inc. | Optimizing multimedia streaming in WLANs (wireless local access networks) |
-
2016
- 2016-09-13 US US15/264,501 patent/US10057166B2/en active Active
-
2017
- 2017-07-26 JP JP2017144153A patent/JP2018046549A/ja active Pending
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11188444B2 (en) | 2019-02-26 | 2021-11-30 | Fujitsu Limited | Abnormality detection method and abnormality detection device |
JP2021010098A (ja) * | 2019-07-01 | 2021-01-28 | 富士通株式会社 | 探索プログラム、探索方法、および、情報処理装置 |
JP7326930B2 (ja) | 2019-07-01 | 2023-08-16 | 富士通株式会社 | 探索プログラム、探索方法、および、情報処理装置 |
EP3863224A1 (en) | 2020-02-10 | 2021-08-11 | Fujitsu Limited | Diagram generation method and diagram generation program |
Also Published As
Publication number | Publication date |
---|---|
US20180077061A1 (en) | 2018-03-15 |
US10057166B2 (en) | 2018-08-21 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP2018046549A (ja) | ネットワーク検証 | |
US10305776B2 (en) | Network verification | |
Horn et al. | Delta-net: Real-time network verification using atoms | |
US10439926B2 (en) | Network analysis | |
EP3072070B1 (en) | Callpath finder | |
US9729582B2 (en) | Methods, systems, and computer readable media for generating software defined networking (SDN) policies | |
Majumdar et al. | Kuai: A model checker for software-defined networks | |
US10042654B2 (en) | Computer-based distribution of large sets of regular expressions to a fixed number of state machine engines for products and services | |
US10649747B2 (en) | Compilation and runtime methods for executing algorithmic packet processing programs on multi-table packet forwarding elements | |
US10176187B2 (en) | Method and apparatus for generating a plurality of indexed data fields | |
Zhao et al. | Ruletailor: Optimizing flow table updates in openflow switches with rule transformations | |
US20140040284A1 (en) | Self-monitoring object-oriented applications | |
Guo et al. | Flash: fast, consistent data plane verification for large-scale network settings | |
US10216771B2 (en) | Creating and handling identification for a resource in a configuration database | |
Alpernas et al. | Abstract interpretation of stateful networks | |
US10367691B2 (en) | Multi platform static semantic consistency checking of network configurations | |
CN103176843B (zh) | MapReduce分布式系统的文件迁移方法及设备 | |
Xu et al. | SDN state inconsistency verification in openstack | |
US10728147B2 (en) | Collection of forwarding rules | |
CN109194613A (zh) | 一种数据包检测方法和装置 | |
US11121905B2 (en) | Managing data schema differences by path deterministic finite automata | |
Yan et al. | Simulation of a software-defined network as one Big switch | |
Alpernas et al. | Some complexity results for stateful network verification | |
CN114281401A (zh) | 基于字节码确定修改功能点的方法、装置、设备及介质 | |
Acharya | POPE and PaNeL: Fast lookup in routing tables |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20200409 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20210224 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20210309 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20210427 |
|
A02 | Decision of refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A02 Effective date: 20210824 |