JP7323636B2 - Cloud network reachability analysis - Google Patents

Cloud network reachability analysis Download PDF

Info

Publication number
JP7323636B2
JP7323636B2 JP2021559267A JP2021559267A JP7323636B2 JP 7323636 B2 JP7323636 B2 JP 7323636B2 JP 2021559267 A JP2021559267 A JP 2021559267A JP 2021559267 A JP2021559267 A JP 2021559267A JP 7323636 B2 JP7323636 B2 JP 7323636B2
Authority
JP
Japan
Prior art keywords
network
data packet
simulated
reachability
instance
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.)
Active
Application number
JP2021559267A
Other languages
Japanese (ja)
Other versions
JP2022526986A (en
Inventor
リウ,ホイ
チョン,レスリー
ヤン,ホンクン
アグラワル,シシャ
ヤバトカル,ラジ
ルオ,ティエンチオン
アダブ,ガールギー
スモルカ,ステフェン
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Google LLC
Original Assignee
Google LLC
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Google LLC filed Critical Google LLC
Publication of JP2022526986A publication Critical patent/JP2022526986A/en
Priority to JP2023122374A priority Critical patent/JP2023145612A/en
Application granted granted Critical
Publication of JP7323636B2 publication Critical patent/JP7323636B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/14Network analysis or design
    • H04L41/145Network analysis or design involving simulating, designing, planning or modelling of a network
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/08Configuration management of networks or network elements
    • H04L41/085Retrieval of network configuration; Tracking network configuration history
    • H04L41/0853Retrieval of network configuration; Tracking network configuration history by actively collecting configuration information or by backing up configuration information
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/08Configuration management of networks or network elements
    • H04L41/0895Configuration of virtualised networks or elements, e.g. virtualised network function or OpenFlow elements
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/12Discovery or management of network topologies
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L43/00Arrangements for monitoring or testing data switching networks
    • H04L43/08Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters
    • H04L43/0805Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters by checking availability
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L43/00Arrangements for monitoring or testing data switching networks
    • H04L43/20Arrangements for monitoring or testing data switching networks the monitoring system or the monitored elements being virtualised, abstracted or software-defined entities, e.g. SDN or NFV
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L45/00Routing or path finding of packets in data switching networks
    • H04L45/02Topology update or discovery
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L45/00Routing or path finding of packets in data switching networks
    • H04L45/74Address processing for routing
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L63/00Network architectures or network communication protocols for network security
    • H04L63/02Network architectures or network communication protocols for network security for separating internal from external traffic, e.g. firewalls
    • H04L63/0227Filtering policies
    • H04L63/0263Rule management
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00Network arrangements or protocols for supporting network services or applications
    • H04L67/01Protocols
    • H04L67/10Protocols in which an application is distributed across nodes in the network
    • H04L67/1001Protocols in which an application is distributed across nodes in the network for accessing one among a plurality of replicated servers
    • H04L67/1029Protocols in which an application is distributed across nodes in the network for accessing one among a plurality of replicated servers using data related to the state of servers by a load balancer
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L41/00Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
    • H04L41/40Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks using virtualisation of network functions or resources, e.g. SDN or NFV entities
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L45/00Routing or path finding of packets in data switching networks
    • H04L45/26Route discovery packet
    • HELECTRICITY
    • H04ELECTRIC COMMUNICATION TECHNIQUE
    • H04LTRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L45/00Routing or path finding of packets in data switching networks
    • H04L45/70Routing based on monitoring results

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Networks & Wireless Communication (AREA)
  • Signal Processing (AREA)
  • Environmental & Geological Engineering (AREA)
  • Business, Economics & Management (AREA)
  • General Business, Economics & Management (AREA)
  • Computer Hardware Design (AREA)
  • Computer Security & Cryptography (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Data Exchanges In Wide-Area Networks (AREA)

Description

技術分野
本開示は、クラウドネットワークの到達可能性解析に関する。
TECHNICAL FIELD The present disclosure relates to reachability analysis of cloud networks.

背景
バーチャルプライベートクラウド(VPC)は、パブリッククラウド環境内に割り当てられた共有のコンピューティングリソースのオンデマンドで構成可能なプールである。VPCは、ユーザに対して他のクラウドユーザからの独立性を提供する。VPCは、バーチャルプライベートネットワーク(VPN)を介してユーザのオンプレミスネットワークまたは他のリモートリソースと通信し得る1つまたは複数のバーチャルマシン(VM)を実行してもよい。多数のVM、ネットワークゲートウェイ、ロードバランサなどを含み得るVPCの潜在的規模および複雑さのために、VPCを動作させて維持するためには相当なネットワーク構成が必要であることが多い。
Background A Virtual Private Cloud (VPC) is an on-demand configurable pool of shared, allocated computing resources within a public cloud environment. A VPC provides users with independence from other cloud users. A VPC may run one or more virtual machines (VMs) that may communicate with a user's on-premises network or other remote resources via a virtual private network (VPN). Due to the potential size and complexity of a VPC, which can include numerous VMs, network gateways, load balancers, etc., considerable network configuration is often required to operate and maintain the VPC.

概要
本開示の一局面は、クラウドネットワーク到達可能性解析を提供するための方法を提供する。上記方法は、データ処理ハードウェアにおいて、ターゲットの到達可能性ステータスを要求する到達可能性クエリを受信するステップを含む。上記到達可能性クエリは、データパケットに関連付けられたパケットヘッダを含む。上記パケットヘッダは、上記データパケットの送信元に関連付けられた送信元インターネットプロトコル(IP)アドレスと、上記データパケットの送信先に関連付けられた送信先IPアドレスとを含む。上記解析は、上記データ処理ハードウェアが、データプレーンモデルを使用して、上記パケットヘッダに基づいて上記データパケットの1つまたは複数のシミュレーションされた転送経路を生成するステップも含む。各々のシミュレーションされた転送経路は、対応するネットワーク構成情報を含む。上記方法は、上記データ処理ハードウェアが、上記1つまたは複数のシミュレーションされた転送経路に基づいて上記ターゲットの上記到達可能性ステータスを特定するステップも含む。上記方法は、上記データ処理ハードウェアが、上記特定された到達可能性ステータスおよび上記1つまたは複数のシミュレーションされた転送経路を、上記到達可能性クエリに関連付けられたユーザデバイスに提供するステップも含む。上記1つまたは複数のシミュレーションされた転送経路は、上記ユーザデバイスによって受信されると、上記ユーザデバイスに、各々のシミュレーションされた転送経路の上記ネットワーク構成情報を提示させる。
Overview One aspect of the present disclosure provides a method for providing cloud network reachability analysis. The method includes receiving, at data processing hardware, a reachability query requesting reachability status of a target. The reachability query includes packet headers associated with data packets. The packet header includes a source Internet Protocol (IP) address associated with the source of the data packet and a destination IP address associated with the destination of the data packet. The analysis also includes the data processing hardware generating one or more simulated forwarding paths for the data packet based on the packet header using a data plane model. Each simulated forwarding path includes corresponding network configuration information. The method also includes the data processing hardware determining the reachability status of the target based on the one or more simulated transfer paths. The method also includes the data processing hardware providing the determined reachability status and the one or more simulated forwarding paths to a user device associated with the reachability query. . The one or more simulated transfer paths, when received by the user device, cause the user device to present the network configuration information for each simulated transfer path.

本開示の実現例は、以下の任意の特徴のうちの1つまたは複数を含んでもよい。いくつかの実現例において、上記1つまたは複数のシミュレーションされた転送経路の上記到達可能性ステータスを特定するステップは、ネットワーク抽象状態マシンを使用するステップを含む。上記ユーザデバイスは、ローカルに通知されたルートを使用してリモートネットワークから上記データパケットを送信するように構成されてもよい。いくつかの例において、上記ネットワーク構成情報は、バーチャルプライベートクラウド(VPC)ネットワーク内で上記データパケットを導くためのポート/インターフェイス、VPCネットワーク間で上記データパケットを導くためのポート/インターフェイス、VPCネットワークと非VPCネットワークとの間で上記データパケットを導くためのポート/インターフェイス、上記対応するシミュレーションされた転送経路に沿った各ステップにおいて上記データパケットに適用されるファイアウォールルール、または上記対応するシミュレーションされた転送経路に沿った各ステップに関連付けられたネットワーク構成、のうちの少なくとも1つを含む。 Implementations of the disclosure may include one or more of any of the following features. In some implementations, determining the reachability status of the one or more simulated forwarding paths includes using a network abstract state machine. The user device may be configured to send the data packet from a remote network using a locally advertised route. In some examples, the network configuration information includes ports/interfaces for directing the data packets within a virtual private cloud (VPC) network, ports/interfaces for directing the data packets between VPC networks, VPC networks and Ports/interfaces for directing said data packets to and from non-VPC networks, firewall rules applied to said data packets at each step along said corresponding simulated forwarding path, or said corresponding simulated forwarding. network configuration associated with each step along the path.

任意に、上記方法は、上記データ処理ハードウェアが、上記対応するネットワーク構成情報に基づいて、上記1つまたは複数のシミュレーションされた転送経路の各々に対してネットワーク到達可能性解析を実行するステップを含む。上記ネットワーク到達可能性解析は、上記対応するシミュレーションされた転送経路に沿って上記データパケットの到達可能性の最終状態を特定すること、上記対応するシミュレーションされた転送経路に沿って1つまたは複数の不良構成を発見すること、または上記対応するシミュレーションされた転送経路に沿って不整合構成または廃止された構成を発見すること、のうちの少なくとも1つを実行するように構成されてもよい。 Optionally, said method comprises said data processing hardware performing a network reachability analysis for each of said one or more simulated forwarding paths based on said corresponding network configuration information. include. The network reachability analysis comprises: identifying a final state of reachability of the data packets along the corresponding simulated forwarding paths; one or more It may be configured to perform at least one of finding a bad configuration or finding a mismatched or obsolete configuration along said corresponding simulated forwarding path.

いくつかの実現例において、上記到達可能性の最終状態は、上記データパケットが上記送信先に送達されることを示す送達状態、上記データパケットが、不明の構成を有する別のネットワークに転送されることを示す転送状態、構成チェックポイントの失敗または構成の欠落により上記データパケットが削除されることを示す削除状態、または重要な構成の欠落により上記ネットワーク到達可能性解析が不可能であることを示すアボート状態、のうちのいずれか1つを含む。上記ネットワーク到達可能性解析を実行するステップは、オンデマンドモード、連続モード、プレサブミットモードまたはポストサブミットモードのうちの少なくとも1つのモードで上記ネットワーク到達可能性解析を実行するステップを含んでもよい。 In some implementations, the reachability final state is a delivery state indicating that the data packet is delivered to the destination, the data packet is forwarded to another network with an unknown configuration a forwarding state indicating that the data packet is dropped due to a configuration checkpoint failure or missing configuration, or a missing critical configuration indicating that the network reachability analysis is not possible Abort state. Performing the network reachability analysis may comprise performing the network reachability analysis in at least one of an on-demand mode, a continuous mode, a pre-submit mode or a post-submit mode.

いくつかの例において、上記パケットヘッダはさらに、上記データパケットに関連付けられたプロトコルと、上記データパケットに関連付けられた送信元ポートと、上記データパケットに関連付けられた送信先ポートとを含む。上記データパケットの上記送信元は、第1のネットワークにおいて実行される第1のインスタンスを含んでもよく、上記データパケットの上記送信先は、上記第1のネットワークとは異なる第2のネットワークにおいて実行される第2のインスタンスを含んでもよい。いくつかの実現例において、上記第1のネットワークは、VPCネットワークを含み、上記第2のネットワークは、オンプレミスネットワークを含む。上記第1のネットワークおよび上記第2のネットワークは、それぞれのVPCネットワークを含んでもよい。 In some examples, the packet header further includes a protocol associated with the data packet, a source port associated with the data packet, and a destination port associated with the data packet. The source of the data packet may comprise a first instance running on a first network and the destination of the data packet running on a second network different from the first network. may include a second instance of In some implementations, the first network comprises a VPC network and the second network comprises an on-premises network. The first network and the second network may comprise respective VPC networks.

上記データパケットの上記送信元は、第1のインスタンスを含んでもよく、上記データパケットの上記送信先は、第2のインスタンスを含んでもよい。上記第1のインスタンスも上記第2のインスタンスも、同一のVPCネットワークにおいて実行される。上記データパケットの上記送信元は、外部ネットワークに位置し、上記データパケットの上記送信先は、VPCネットワークにおいて実行されるグローバルHTTPSロードバランサを含んでもよい。上記グローバルHTTPSロードバランサは、上記データパケットを複数の異なるバックエンドのうちの1つにルーティングするように構成される。上記データパケットの1つまたは複数のシミュレーションされた転送経路を生成するステップは、上記グローバルHTTPSロードバランサから上記複数の異なるバックエンドのうちの各々への対応するシミュレーションされた転送経路を生成するステップを含んでもよい。 The source of the data packet may comprise a first instance and the destination of the data packet may comprise a second instance. Both the first instance and the second instance run in the same VPC network. The source of the data packet may be located in an external network and the destination of the data packet may comprise a global HTTPS load balancer running in a VPC network. The global HTTPS load balancer is configured to route the data packets to one of multiple different backends. Generating one or more simulated forwarding paths for the data packet comprises generating a corresponding simulated forwarding path from the global HTTPS load balancer to each of the plurality of different backends. may contain.

本開示の別の局面は、クラウド到達可能性解析を提供するためのシステムを提供する。上記システムは、データ処理ハードウェアと、上記データ処理ハードウェアと通信するメモリハードウェアとを含む。上記メモリハードウェアは、命令を格納し、上記命令は、上記データ処理ハードウェア上で実行されると、上記データ処理ハードウェアに動作を実行させる。上記動作は、ターゲットの到達可能性ステータスを要求する到達可能性クエリを受信するステップを含む。上記到達可能性クエリは、データパケットに関連付けられたパケットヘッダを含む。上記パケットヘッダは、上記データパケットの送信元に関連付けられた送信元インターネットプロトコル(IP)アドレスと、上記データパケットの送信先に関連付けられた送信先IPアドレスとを含む。上記解析は、データプレーンモデルを使用して、上記パケットヘッダに基づいて上記データパケットの1つまたは複数のシミュレーションされた転送経路を生成するステップも含む。各々のシミュレーションされた転送経路は、対応するネットワーク構成情報を含む。上記動作は、上記1つまたは複数のシミュレーションされた転送経路に基づいて上記ターゲットの上記到達可能性ステータスを特定するステップも含む。上記動作は、上記特定された到達可能性ステータスおよび上記1つまたは複数のシミュレーションされた転送経路を、上記到達可能性クエリに関連付けられたユーザデバイスに提供するステップも含む。上記1つまたは複数のシミュレーションされた転送経路は、上記ユーザデバイスによって受信されると、上記ユーザデバイスに、各々のシミュレーションされた転送経路の上記ネットワーク構成情報を提示させる。 Another aspect of the present disclosure provides a system for providing cloud reachability analysis. The system includes data processing hardware and memory hardware in communication with the data processing hardware. The memory hardware stores instructions which, when executed on the data processing hardware, cause the data processing hardware to perform operations. The operation includes receiving a reachability query requesting reachability status of a target. The reachability query includes packet headers associated with data packets. The packet header includes a source Internet Protocol (IP) address associated with the source of the data packet and a destination IP address associated with the destination of the data packet. The analysis also includes using a data plane model to generate one or more simulated forwarding paths for the data packet based on the packet header. Each simulated forwarding path includes corresponding network configuration information. The operations also include determining the reachability status of the target based on the one or more simulated forwarding paths. The operations also include providing the determined reachability status and the one or more simulated forwarding paths to a user device associated with the reachability query. The one or more simulated transfer paths, when received by the user device, cause the user device to present the network configuration information for each simulated transfer path.

この局面は、以下の任意の特徴のうちの1つまたは複数を含んでもよい、いくつかの実現例において、上記1つまたは複数のシミュレーションされた転送経路の上記到達可能性ステータスを特定するステップは、ネットワーク抽象状態マシンを使用するステップを含む。上記ユーザデバイスは、ローカルに通知されたルートを使用してリモートネットワークから上記データパケットを送信するように構成されてもよい。いくつかの例において、上記ネットワーク構成情報は、バーチャルプライベートクラウド(VPC)ネットワーク内で上記データパケットを導くためのポート/インターフェイス、VPCネットワーク間で上記データパケットを導くためのポート/インターフェイス、VPCネットワークと非VPCネットワークとの間で上記データパケットを導くためのポート/インターフェイス、上記対応するシミュレーションされた転送経路に沿った各ステップにおいて上記データパケットに適用されるファイアウォールルール、または上記対応するシミュレーションされた転送経路に沿った各ステップに関連付けられたネットワーク構成、のうちの少なくとも1つを含む。 This aspect may include one or more of any of the following features, wherein in some implementations determining the reachability status of the one or more simulated forwarding paths includes: , using a network abstract state machine. The user device may be configured to send the data packet from a remote network using a locally advertised route. In some examples, the network configuration information includes ports/interfaces for directing the data packets within a virtual private cloud (VPC) network, ports/interfaces for directing the data packets between VPC networks, VPC networks and Ports/interfaces for directing said data packets to and from non-VPC networks, firewall rules applied to said data packets at each step along said corresponding simulated forwarding path, or said corresponding simulated forwarding. network configuration associated with each step along the path.

任意に、上記動作は、上記対応するネットワーク構成情報に基づいて、上記1つまたは複数のシミュレーションされた転送経路の各々に対してネットワーク到達可能性解析を実行するステップを含む。上記ネットワーク到達可能性解析は、上記対応するシミュレーションされた転送経路に沿って上記データパケットの到達可能性の最終状態を特定すること、上記対応するシミュレーションされた転送経路に沿って1つまたは複数の不良構成を発見すること、または上記対応するシミュレーションされた転送経路に沿って不整合構成または廃止された構成を発見すること、のうちの少なくとも1つを実行するように構成されてもよい。 Optionally, said operations include performing network reachability analysis for each of said one or more simulated forwarding paths based on said corresponding network configuration information. The network reachability analysis comprises: identifying a final state of reachability of the data packets along the corresponding simulated forwarding paths; one or more It may be configured to perform at least one of finding a bad configuration or finding a mismatched or obsolete configuration along said corresponding simulated forwarding path.

いくつかの実現例において、上記到達可能性の最終状態は、上記データパケットが上記送信先に送達されることを示す送達状態、上記データパケットが、不明の構成を有する別のネットワークに転送されることを示す転送状態、構成チェックポイントの失敗または構成の欠落により上記データパケットが削除されることを示す削除状態、または重要な構成の欠落により上記ネットワーク到達可能性解析が不可能であることを示すアボート状態、のうちのいずれか1つを含む。上記ネットワーク到達可能性解析を実行するステップは、オンデマンドモード、連続モード、プレサブミットモードまたはポストサブミットモードのうちの少なくとも1つのモードで上記ネットワーク到達可能性解析を実行するステップを含んでもよい。 In some implementations, the reachability final state is a delivery state indicating that the data packet is delivered to the destination, the data packet is forwarded to another network with an unknown configuration a forwarding state indicating that the data packet is dropped due to a configuration checkpoint failure or missing configuration, or a missing critical configuration indicating that the network reachability analysis is not possible Abort state. Performing the network reachability analysis may comprise performing the network reachability analysis in at least one of an on-demand mode, a continuous mode, a pre-submit mode or a post-submit mode.

いくつかの例において、上記パケットヘッダはさらに、上記データパケットに関連付けられたプロトコルと、上記データパケットに関連付けられた送信元ポートと、上記データパケットに関連付けられた送信先ポートとを含む。上記データパケットの上記送信元は、第1のネットワークにおいて実行される第1のインスタンスを含んでもよく、上記データパケットの上記送信先は、上記第1のネットワークとは異なる第2のネットワークにおいて実行される第2のインスタンスを含んでもよい。いくつかの実現例において、上記第1のネットワークは、VPCネットワークを含み、上記第2のネットワークは、オンプレミスネットワークを含む。上記第1のネットワークおよび上記第2のネットワークは、それぞれのVPCネットワークを含んでもよい。 In some examples, the packet header further includes a protocol associated with the data packet, a source port associated with the data packet, and a destination port associated with the data packet. The source of the data packet may comprise a first instance running on a first network and the destination of the data packet running on a second network different from the first network. may include a second instance of In some implementations, the first network comprises a VPC network and the second network comprises an on-premises network. The first network and the second network may comprise respective VPC networks.

上記データパケットの上記送信元は、第1のインスタンスを含んでもよく、上記データパケットの上記送信先は、第2のインスタンスを含んでもよい。上記第1のインスタンスも上記第2のインスタンスも、同一のVPCネットワークにおいて実行される。上記データパケットの上記送信元は、外部ネットワークに位置し、上記データパケットの上記送信先は、VPCネットワークにおいて実行されるグローバルHTTPSロードバランサを含んでもよい。上記グローバルHTTPSロードバランサは、上記データパケットを複数の異なるバックエンドのうちの1つにルーティングするように構成される。上記データパケットの1つまたは複数のシミュレーションされた転送経路を生成するステップは、上記グローバルHTTPSロードバランサから上記複数の異なるバックエンドのうちの各々への対応するシミュレーションされた転送経路を生成するステップを含んでもよい。 The source of the data packet may comprise a first instance and the destination of the data packet may comprise a second instance. Both the first instance and the second instance run in the same VPC network. The source of the data packet may be located in an external network and the destination of the data packet may comprise a global HTTPS load balancer running in a VPC network. The global HTTPS load balancer is configured to route the data packets to one of multiple different backends. Generating one or more simulated forwarding paths for the data packet comprises generating a corresponding simulated forwarding path from the global HTTPS load balancer to each of the plurality of different backends. may contain.

本開示の1つまたは複数の実現例の詳細は、添付の図面および以下の説明に記載されている。他の局面、特徴および利点は、説明および図面および特許請求の範囲から明らかであろう。 The details of one or more implementations of the disclosure are set forth in the accompanying drawings and the description below. Other aspects, features and advantages will be apparent from the description and drawings and from the claims.

クラウドネットワーク到達可能性解析を実行するための例示的なシステムの概略図である。1 is a schematic diagram of an exemplary system for performing cloud network reachability analysis; FIG. 図1のシステムのバーチャルマシンの例示的な構成要素の概略図である。2 is a schematic diagram of exemplary components of a virtual machine of the system of FIG. 1; FIG. 図1のシステムのネットワーク抽象状態マシンを含む例示的な構成要素の概略図である。2 is a schematic diagram of exemplary components comprising a network abstract state machine of the system of FIG. 1; FIG. シミュレーションされた転送経路の特定された到達可能性ステータスを示す例示的なレポートの概略図である。FIG. 4 is a schematic diagram of an exemplary report showing determined reachability status of simulated forwarding paths; 図3のネットワーク抽象状態マシンの概略図である。4 is a schematic diagram of the network abstract state machine of FIG. 3; FIG. バーチャルマシンと別のバーチャルマシンとの間の転送経路をシミュレーションするためのネットワーク抽象状態マシンの状態図の概略図である。1 is a schematic diagram of a state diagram of a network abstract state machine for simulating a transfer path between a virtual machine and another virtual machine; FIG. バーチャルマシンとロードバランサとの間の転送経路をシミュレーションするためのネットワーク抽象状態マシンの状態図の概略図である。FIG. 2 is a schematic diagram of a state diagram of a network abstract state machine for simulating forwarding paths between virtual machines and load balancers; バーチャルマシンとオンプレミスネットワークとの間の転送経路をシミュレーションするためのネットワーク抽象状態マシンの状態図の概略図である。FIG. 4 is a schematic diagram of a state diagram of a network abstract state machine for simulating a forwarding path between a virtual machine and an on-premises network; インターネットとバーチャルマシンとの間の転送経路をシミュレーションするためのネットワーク抽象状態マシンの状態図の概略図である。FIG. 2 is a schematic diagram of a state diagram of a network abstract state machine for simulating a transfer path between the Internet and virtual machines; オンプレミスネットワークバーチャルマシンとバーチャルプライベートクラウドバーチャルマシンとの間の転送経路をシミュレーションするためのネットワーク抽象状態マシンの状態図の概略図である。FIG. 3 is a schematic diagram of a state diagram of a network abstract state machine for simulating a transfer path between an on-premises network virtual machine and a virtual private cloud virtual machine; シミュレーションされたデータパケットの最終到達可能性状態の原因の表である。Fig. 3 is a table of causes of final reachability states of simulated data packets; シミュレーションされたデータパケットの最終到達可能性状態の原因の表である。Fig. 3 is a table of causes of final reachability states of simulated data packets; ロードバランサを介した外部ホストとバーチャルプライベートクラウドバーチャルマシンとの間のシミュレーションされた転送経路の概略図である。Fig. 3 is a schematic diagram of a simulated forwarding path between an external host and a virtual private cloud virtual machine through a load balancer; クラウドネットワーク到達可能性解析を実行する方法のための動作の例示的な構成のフローチャートである。4 is a flowchart of an exemplary configuration of operations for a method of performing cloud network reachability analysis; 本明細書に記載されているシステムおよび方法を実現するために使用され得る例示的なコンピューティングデバイスの概略図である。1 is a schematic diagram of an exemplary computing device that may be used to implement the systems and methods described herein; FIG.

さまざまな図面における同様の参照符号は、同様の要素を示す。
詳細な説明
バーチャルプライベートクラウド(VPC)は、ユーザに対して他のクラウドユーザからの独立性を提供するためにパブリッククラウド環境内に割り当てられた共有のコンピューティングリソースのオンデマンドで構成可能なプールである。この独立(分離)は、プライベートインターネットプロトコル(IP)サブネットおよび/またはバーチャル通信構成体を割り当てることによって行われてもよい。VPCは、VPC環境への安全性の高いアクセスを確実にするために、バーチャルプライベートネットワーク(VPN)を介してユーザのオンプレミスネットワークまたは他のリモートリソースと通信し得る1つまたは複数のバーチャルマシン(VM)を実行してもよい。VPC環境の中には、規模が非常に大きくて(すなわち、多数のVM、ネットワークゲートウェイ、ロードバランサなどを含む)非常に複雑であるものもあるので、VPCネットワークを動作させて維持するためには相当なネットワーク構成が必要であることが多い。
Like reference numbers in different drawings indicate like elements.
DETAILED DESCRIPTION A Virtual Private Cloud (VPC) is an on-demand configurable pool of shared computing resources allocated within a public cloud environment to provide users with independence from other cloud users. be. This independence may be achieved by assigning private Internet Protocol (IP) subnets and/or virtual communication constructs. A VPC consists of one or more virtual machines (VM ) may be executed. Some VPC environments can be very large (i.e., containing a large number of VMs, network gateways, load balancers, etc.) and very complex, so in order to operate and maintain a VPC network Substantial network configuration is often required.

本明細書における実現例は、ユーザが、複数のフィールド(たとえば、送信元アドレスおよび送信先アドレス、プロトコル、送信元ポートおよび送信先ポートなど)を有するパケットヘッダを指定して、VPCネットワーク、ピアリングVPCネットワーク、VPNトンネルを介したおよび/またはユーザのオンプレミスネットワークへのデータパケットの少なくとも1つの予想される転送経路を(パケットヘッダを使用して)シミュレーションすることを可能にするクラウド到達可能性解析部に向けられる。クラウド到達可能性解析部は、各々のシミュレーションされた経路に対して、たとえばルートおよびファイアウォールルールを含む構成情報を提供する。転送経路の状態を実際に検証する(すなわち、データパケットを実際に送信する)こととは対照的に、クラウド到達可能性解析部は、その代わりに、VPCネットワークのアクティブな構成に基づいて解析を実行する。これは、「インテントベースの」パケットトレーシングと称されることもある。 Implementations herein allow a user to specify a packet header with multiple fields (e.g., source and destination addresses, protocol, source and destination ports, etc.) to configure VPC networks, peering VPCs, and so on. to a cloud reachability analyzer that allows to simulate (using packet headers) at least one expected forwarding path of a data packet through a network, a VPN tunnel, and/or to a user's on-premises network; be directed. A cloud reachability analyzer provides configuration information for each simulated path, including, for example, routes and firewall rules. As opposed to actually verifying the state of the forwarding path (i.e., actually sending the data packet), the cloud reachability analyzer instead bases its analysis on the active configuration of the VPC network. Execute. This is sometimes referred to as "intent-based" packet tracing.

すなわち、クラウド到達可能性解析部は、VPC内またはVPCネットワークと非VPCネットワーク(たとえば、オンプレミスネットワーク)との間のネットワーク到達可能性の構成ベースの静的な解析を提供する。ユーザは、パケットヘッダの1つまたは複数のパラメータを指定してもよく、クラウド到達可能性解析部は、パケット転送経路を生成してシミュレーションする。クラウド到達可能性解析部は、各々のシミュレーションされた経路の各ステップについて、一致する構成(たとえば、ファイアウォールルール、ルートなど)を提供する。したがって、クラウド到達可能性解析部は、ユーザがネットワーク構成を用いて所期の到達可能性を検証することを可能にし、不整合構成、廃止された構成または正しく構成されていない構成を発見することを手助けする。また、クラウド到達可能性解析部は、新たな構成変更からエラーを確認して検出し、提案されている構成変更によるネットワーク接続性の影響を解析する。 That is, the cloud reachability analyzer provides configuration-based static analysis of network reachability within a VPC or between VPC networks and non-VPC networks (eg, on-premises networks). A user may specify one or more parameters in a packet header, and the cloud reachability analyzer generates and simulates packet forwarding paths. The cloud reachability analyzer provides matching configurations (eg, firewall rules, routes, etc.) for each step of each simulated path. Thus, the cloud reachability analyzer enables users to verify intended reachability with network configurations and discover inconsistent, obsolete or incorrectly configured configurations. to help The cloud reachability analyzer also checks and detects errors from new configuration changes and analyzes the impact of network connectivity due to proposed configuration changes.

図1を参照して、いくつかの実現例において、例示的なシステム100は、ユーザデバイス10を含み、ユーザデバイス10は、それぞれのユーザ12に関連付けられて、ネットワーク60(たとえば、インターネット)およびオンプレミスネットワーク70(すなわち、ユーザデバイス10がネットワーク60に接続するために使用するローカルネットワーク)を介してリモートシステム140と通信する。オンプレミスネットワーク70は、オンプレミスネットワーク70のための転送ホストの役割を果たすネットワークゲートウェイ72(たとえば、ルータ)を含む。ユーザデバイス10は、デスクトップワークステーション、ラップトップワークステーションまたはモバイルデバイス(すなわち、スマートフォン)などの任意のコンピューティングデバイスに対応してもよい。ユーザデバイス10は、コンピューティングリソース18(たとえば、データ処理ハードウェア)および/またはストレージリソース16(たとえば、メモリハードウェア)を含む。 Referring to FIG. 1, in some implementations, exemplary system 100 includes user devices 10 associated with respective users 12 and connected to networks 60 (eg, the Internet) and on-premises Communicates with remote system 140 over network 70 (ie, the local network that user device 10 uses to connect to network 60). On-premises network 70 includes a network gateway 72 (eg, router) that acts as a forwarding host for on-premises network 70 . User device 10 may correspond to any computing device such as a desktop workstation, laptop workstation or mobile device (ie, smart phone). User device 10 includes computing resources 18 (eg, data processing hardware) and/or storage resources 16 (eg, memory hardware).

リモートシステム140は、コンピューティングリソース144(たとえば、データ処理ハードウェア)を含むスケーラブルな/弾力性のあるリソース142、および/または、ストレージリソース146(たとえば、メモリハードウェア)を有する単一のコンピュータ、複数のコンピュータ、または分散型システム(たとえば、クラウド環境)であってもよい。クライアントまたはコンピューティングリソース144のうちの1つまたは複数によるストレージリソース146のスケーラブルな使用を可能にするために、ストレージリソース146上にデータストア(すなわち、リモートストレージデバイス)を配置してもよい。リモートシステム140は、1つまたは複数のバーチャルマシン(VM)250,250a~nを実装して実行するように構成される。VMのうちの1つまたは複数は、ユーザ12に関連付けられるかまたはユーザ12によって操作されるバーチャルプライベートクラウド(VPC)環境またはVPCネットワーク148において、セキュリティ上安全に実行される。VPCネットワーク148は、ロードバランサ、ゲートウェイ、フロントエンドおよびバックエンドなどのさまざまな他のネットワーク要素を含んでもよい。 Remote system 140 may be a single computer having scalable/resilient resources 142 including computing resources 144 (e.g., data processing hardware) and/or storage resources 146 (e.g., memory hardware); It may be multiple computers, or a distributed system (eg, cloud environment). Data stores (ie, remote storage devices) may be located on storage resources 146 to enable scalable use of storage resources 146 by one or more of clients or computing resources 144 . Remote system 140 is configured to implement and execute one or more virtual machines (VMs) 250, 250a-n. One or more of the VMs securely run in a virtual private cloud (VPC) environment or VPC network 148 associated with or operated by user 12 . VPC network 148 may include various other network elements such as load balancers, gateways, frontends and backends.

図2に示されている例において、分散型システム140は、リソース110(たとえば、ハードウェアリソース110h)のコレクション210と、バーチャルマシンモニタ(VMM)220と、VM250のうちの1つまたは複数を実行するVMレイヤ240と、アプリケーションレイヤ260とを含む。各ハードウェアリソース110hは、1つまたは複数の物理的中央処理装置(pCPU)144(「物理的なプロセッサ144」)と、メモリハードウェア146とを含んでもよい。各ハードウェアリソース110hは、単一の物理的なプロセッサ144を有するように示されているが、いずれのハードウェアリソース110hも複数の物理的なプロセッサ144を含んでもよい。オペレーティングシステム212は、リソース110のコレクション210上で実行されてもよい。 In the example shown in FIG. 2, distributed system 140 runs one or more of a collection 210 of resources 110 (eg, hardware resource 110h), a virtual machine monitor (VMM) 220, and a VM 250. and a VM layer 240 and an application layer 260 . Each hardware resource 110 h may include one or more physical central processing units (pCPUs) 144 (“physical processors 144 ”) and memory hardware 146 . Each hardware resource 110 h is shown as having a single physical processor 144 , but any hardware resource 110 h may include multiple physical processors 144 . An operating system 212 may run on collection 210 of resources 110 .

いくつかの例において、VMM220は、VM250を作成して実行するように構成されたソフトウェア、ファームウェアまたはハードウェアのうちの少なくとも1つを含むハイパーバイザ220(たとえば、Compute Engine)に対応する。1つまたは複数のVM250を実行するVMM220に関連付けられたコンピュータ(すなわち、データ処理ハードウェア144)は、ホストマシンと称されることもあるのに対して、各VM250は、ゲストマシンと称されることもある。ここで、VMM220またはハイパーバイザは、バーチャルオペレーティングプラットフォームを有する対応するゲストオペレーティングシステム(OS)212gを各VM250に提供して、VM250上での対応するゲストOS212gの実行を管理するように構成される。本明細書において使用される各VM250は、「インスタンス」または「VMインスタンス」と称されることもある。いくつかの例において、さまざまなオペレーティングシステムの複数のインスタンスは、仮想化されたリソースを共有してもよい。たとえば、Linux(商標)オペレーティングシステムの第1のVM250、Windows(商標)オペレーティングシステムの第2のVM250、およびOS X(商標)オペレーティングシステムの第3のVM250は全て、単一の物理的なx86マシン上で動作してもよい。 In some examples, VMM 220 corresponds to hypervisor 220 (eg, Compute Engine) that includes at least one of software, firmware, or hardware configured to create and execute VM 250 . A computer associated with a VMM 220 (i.e., data processing hardware 144) running one or more VMs 250 is sometimes referred to as a host machine, whereas each VM 250 is referred to as a guest machine. Sometimes. Here, a VMM 220 or hypervisor is configured to provide each VM 250 with a corresponding guest operating system (OS) 212g having a virtual operating platform and manage execution of the corresponding guest OS 212g on the VMs 250 . As used herein, each VM 250 may also be referred to as an "instance" or "VM instance." In some examples, multiple instances of various operating systems may share virtualized resources. For example, a first VM 250 with Linux™ operating system, a second VM 250 with Windows™ operating system, and a third VM 250 with OS X™ operating system are all on a single physical x86 machine. can work on.

VMレイヤ240は、1つまたは複数のバーチャルマシン250を含む。分散型システム140は、ユーザ12がオンデマンドでVM250を起動することを可能にする。VM250は、実際のコンピュータシステムをエミュレートして、専用のハードウェア、ソフトウェアまたはそれらの組み合わせを含み得る実際のコンピュータシステムまたは仮想のコンピュータシステムのコンピュータアーキテクチャおよび機能に基づいて動作する。いくつかの例において、分散型システム140は、1つまたは複数のVM250を起動する前にユーザ12を認可して認証する。ソフトウェアのインスタンス、または単純にインスタンスとは、分散型システム140のデータ処理ハードウェア144上で提供される(実行される)VM250のことである。 VM layer 240 includes one or more virtual machines 250 . Distributed system 140 allows users 12 to launch VMs 250 on demand. VM 250 emulates a real computer system and operates based on the computer architecture and functionality of a real or virtual computer system, which may include dedicated hardware, software, or a combination thereof. In some examples, distributed system 140 authorizes and authenticates user 12 before launching one or more VMs 250 . A software instance, or simply an instance, is a VM 250 provided (executed) on data processing hardware 144 of distributed system 140 .

各VM250は、1つまたは複数のバーチャル中央処理装置(vCPU)252(「バーチャルプロセッサ」)を含んでもよい。示されている例において、第1のバーチャルマシン250aは、1つまたは複数のバーチャルプロセッサ252の第1のセット252aを含み、第2のバーチャルマシン250bは、1つまたは複数のバーチャルプロセッサ252の第2のセット252bを含む。第2のセット252bはバーチャルプロセッサ252を1つだけ含むものとして示されているが、いかなる数のバーチャルプロセッサ252を含むことも可能である。各バーチャルプロセッサ252は、1つまたは複数の物理的なプロセッサ144をエミュレートする。たとえば、1つまたは複数のバーチャルプロセッサ252の第1のセット252aは、1つまたは複数の物理的なプロセッサ144の第1のセット113aをエミュレートし、1つまたは複数のバーチャルプロセッサ252の第2のセット252bは、1つまたは複数の物理的なプロセッサ144の第2のセット113bをエミュレートする。アプリケーションレイヤ260は、バーチャルマシン250上で実行され得るソフトウェアリソース110s,110sa,110sb(ソフトウェアアプリケーション)を含む。 Each VM 250 may include one or more virtual central processing units (vCPUs) 252 (“virtual processors”). In the example shown, a first virtual machine 250 a includes a first set 252 a of one or more virtual processors 252 and a second virtual machine 250 b includes a first set 252 a of one or more virtual processors 252 . 2 set 252b. Although the second set 252b is shown as containing only one virtual processor 252, it can contain any number of virtual processors 252. FIG. Each virtual processor 252 emulates one or more physical processors 144 . For example, a first set 252a of one or more virtual processors 252 emulates a first set 113a of one or more physical processors 144 and a second set 113a of one or more virtual processors 252; 252b emulates a second set 113b of one or more physical processors 144; Application layer 260 includes software resources 110 s , 110 sa , 110 sb (software applications) that may run on virtual machine 250 .

一般に、ソフトウェアの各インスタンス(たとえば、バーチャルマシン250)は、物理的なメモリハードウェア146上でのサービスのために揮発性および不揮発性記憶容量を提供する少なくとも1つのバーチャルストレージデバイス262を含む。たとえば、物理的なメモリハードウェア146上の記憶容量は、永続ディスク(PD)を含み得て、永続ディスク(PD)は、揮発性メモリを提供するために、メモリハードウェア146またはランダムアクセスメモリ(RAM)のいくつかの物理的なディスク(たとえば、メモリ領域116(図13))にわたってユーザ12のためにデータを格納する。より具体的には、対応するVM250の各バーチャルストレージデバイス262は、不揮発性ストレージを提供するために、メモリハードウェア146上の関連付けられた物理的なブロックストレージボリュームVに、バイトまたはビット(ブロック)のシーケンスの状態でデータを移動させる。したがって、対応するVMインスタンス250のバーチャルストレージデバイス262は、メモリハードウェア146上で対応する物理的なブロックストレージボリュームVにマッピングする記憶容量を提供する。いくつかの例において、バーチャルストレージデバイス262は、メモリハードウェア146上のデータへのランダムアクセスをサポートし、一般にバッファリングされたI/Oを使用する。例としては、ハードディスク、CD-ROMドライブおよびフラッシュドライブが挙げられる。同様に、物理的なメモリハードウェア146の揮発性メモリ(たとえば、RAM)の一部は、バーチャルストレージデバイス262にわたって分配されてもよい。 Generally, each instance of software (eg, virtual machine 250 ) includes at least one virtual storage device 262 that provides volatile and nonvolatile storage capacity for servicing on physical memory hardware 146 . For example, the storage capacity on the physical memory hardware 146 may include a persistent disk (PD), which may be used to provide volatile memory to the memory hardware 146 or random access memory (PD). RAM) stores data for user 12 across several physical disks (eg, memory area 116 (FIG. 13)). More specifically, each virtual storage device 262 of the corresponding VM 250 stores bytes or bits (blocks) in an associated physical block storage volume V on memory hardware 146 to provide non-volatile storage. Move the data in sequence. Accordingly, the virtual storage device 262 of the corresponding VM instance 250 provides storage capacity that maps to the corresponding physical block storage volume V on memory hardware 146 . In some examples, virtual storage device 262 supports random access to data on memory hardware 146 and typically uses buffered I/O. Examples include hard disks, CD-ROM drives and flash drives. Similarly, a portion of the volatile memory (eg, RAM) of physical memory hardware 146 may be distributed across virtual storage devices 262 .

ゲストオペレーティングシステム212g内には、ゲストカーネル214gがある。カーネルは、OSに対するアクセスおよび制御が十分なオペレーティングシステムのコアであるコンピュータプログラムである。すなわち、カーネルは、ホストマシンのアプリケーション110sとハードウェアリソース110hとの間の仲介役である。最も最近のコンピューティングシステムは、バーチャルメモリを保護されたカーネル空間およびユーザ空間216gに分離する。一般に、カーネルは、保護されたカーネル空間内の揮発性メモリにとどまり、ユーザ空間216gから分離されている。安全性および信頼性を向上させるために、アプリケーション110sおよび他のソフトウェアサービスは、一般的には、ゲストユーザ空間216gにおいて実行され、保護されたカーネル空間と対話するのに必要な特権を有していない。 Within guest operating system 212g is guest kernel 214g. A kernel is a computer program that is the core of an operating system with sufficient access and control over the OS. That is, the kernel is an intermediary between host machine applications 110s and hardware resources 110h. Most modern computing systems separate virtual memory into protected kernel space and user space 216g. In general, kernels remain in volatile memory in protected kernel space, separate from user space 216g. To improve security and reliability, applications 110s and other software services typically run in guest user space 216g and have the necessary privileges to interact with the protected kernel space. do not have.

図1に戻って、リモートシステム140は、VPCネットワーク148および/またはオンプレミスネットワーク70間または内で1つまたは複数のネットワーク転送経路80,80a~nを解析するためのクラウド到達可能性解析部150を実行して、各ネットワーク転送経路80に関する到達可能性ステータス172および/またはネットワーク構成情報162を特定する。 Returning to FIG. 1, the remote system 140 includes a cloud reachability analyzer 150 for analyzing one or more network transport paths 80, 80a-n between or within the VPC network 148 and/or the on-premises network 70. Execute to determine reachability status 172 and/or network configuration information 162 for each network transfer path 80 .

クラウド到達可能性解析部150は、ターゲットの到達可能性ステータス172を要求する到達可能性クエリ20をユーザデバイス10から受信する。このターゲットは、オンプレミスネットワークゲートウェイ72、1つまたは複数のVM250、ファイアウォールルール、および/または、ロードバランサ(図11)などのVCPネットワーク148の他の構成要素を含んでもよい。ターゲットがファイアウォールルールである場合、到達可能性ステータス172は、VPCネットワーク148に送達されて構成の中の特定のルールにヒットし得るパケットが存在するか否かによって決まる。到達可能性クエリ20は、データパケット24に関連付けられたパケットヘッダ22(たとえば、インターネットプロトコル(IP)バージョン4(IPv4)またはIPバージョン6(IPv6)パケットヘッダ)を含む。いくつかの例では、到達可能性クエリ20は、データパケット24と、関連付けられたパケットヘッダ22とを含むが、他の例では、クラウド到達可能性解析部150は、パケットヘッダ22を受信して対応するデータパケット24を生成する。パケットヘッダ22は、複数のデータパケットパラメータ25,25a~nを含む。たとえば、パケットヘッダ22は、送信元インターネットプロトコル(IP)アドレス25aと、送信先IPアドレス25bとを含む。任意に、パケットヘッダ22は、プロトコルタイプ25c、送信元ポート25dおよび/または送信先ポート25eなどの他のパラメータ25を含む。 Cloud reachability analyzer 150 receives reachability queries 20 from user devices 10 requesting reachability status 172 of targets. This target may include an on-premises network gateway 72, one or more VMs 250, firewall rules, and/or other components of VCP network 148 such as load balancers (FIG. 11). If the target is a firewall rule, reachability status 172 depends on whether there are packets that could be delivered to VPC network 148 and hit a particular rule in the configuration. Reachability query 20 includes a packet header 22 (eg, Internet Protocol (IP) version 4 (IPv4) or IP version 6 (IPv6) packet header) associated with data packet 24 . In some examples, reachability query 20 includes data packet 24 and associated packet header 22, while in other examples, cloud reachability analyzer 150 receives packet header 22 and A corresponding data packet 24 is generated. The packet header 22 contains a number of data packet parameters 25, 25a-n. For example, packet header 22 includes source Internet Protocol (IP) address 25a and destination IP address 25b. Optionally, packet header 22 includes other parameters 25 such as protocol type 25c, source port 25d and/or destination port 25e.

クラウド到達可能性解析部150は、関連付けられたパケットヘッダ22を有するデータパケット24を受信または取得する経路生成部160を含む。経路生成部160は、データプレーンモデル164を使用して、パケットヘッダ22に基づいてデータパケット24の1つまたは複数のシミュレーションされた転送経路80(本明細書では、トレースとも称される)を生成する。各々のシミュレーションされた転送経路80は、対応するネットワーク構成情報162を含む。データプレーンモデル164は、VPCネットワーク148のネットワーク構成要素からネットワーク構成情報162を取得し、たとえば、VPCネットワーク148内でデータパケット24を導くためのポート/インターフェイス、異なるVPCネットワーク148間でデータパケット24を導くためのポート/インターフェイス、VPCネットワーク148と非VPCネットワーク(たとえば、オンプレミスネットワーク70)との間でデータパケット24を導くためのポート/インターフェイス、対応するシミュレーションされた転送経路80に沿った各ステップにおいてデータパケット24に適用されるファイアウォールルール、および/または、対応するシミュレーションされた転送経路80に沿った各ステップに関連付けられたネットワーク構成を含む。本明細書において使用されるシミュレーションされた転送経路80に沿った各ステップとは、送信元インスタンスと送信先インスタンスとの間の中間デバイス(たとえば、ゲートウェイ、ロードバランサなど)のことである。 The cloud reachability analyzer 150 includes a path generator 160 that receives or obtains data packets 24 with associated packet headers 22 . Path generator 160 uses data plane model 164 to generate one or more simulated forwarding paths 80 (also referred to herein as traces) for data packet 24 based on packet header 22 . do. Each simulated forwarding path 80 includes corresponding network configuration information 162 . The data plane model 164 obtains network configuration information 162 from the network components of the VPC network 148, e.g. Ports/interfaces for directing data packets 24 between VPC network 148 and non-VPC networks (e.g., on-premises network 70), at each step along corresponding simulated forwarding path 80 including firewall rules applied to data packets 24 and/or network configuration associated with each step along the corresponding simulated forwarding path 80 . Each step along the simulated forwarding path 80 as used herein refers to an intermediate device (eg, gateway, load balancer, etc.) between the source and destination instances.

いくつかの実現例において、データプレーンモデル164は、ネットワーク構成情報162からインスタンスを導き出すことによってネットワーク148のデータプレーンをモデル化する理想的なデータプレーンモデルである。いくつかの例において、ネットワーク構成情報162は、VPCネットワーク148に関連付けられたプロジェクト構成に格納される。データプレーンモデル164は、導き出されたインスタンスを解析して、到達可能性特性を特定して検証する。すなわち、データプレーンモデル164は、到達可能性解析のために関連するネットワーク構成を抽象化する。ネットワーク構成情報162は、VPCネットワーク構成情報、ネットワークサービス情報(たとえば、ロードバランサ)、ハイブリッドクラウド構成、VM構成および/またはプラットフォーム構成(たとえば、コンテナ化されたアプリケーションのためのプラットフォーム)を含んでもよい。 In some implementations, data plane model 164 is an ideal data plane model that models the data plane of network 148 by deriving instances from network configuration information 162 . In some examples, network configuration information 162 is stored in a project configuration associated with VPC network 148 . The data plane model 164 analyzes derived instances to identify and verify reachability properties. That is, the data plane model 164 abstracts the relevant network configuration for reachability analysis. Network configuration information 162 may include VPC network configuration information, network service information (eg, load balancer), hybrid cloud configuration, VM configuration and/or platform configuration (eg, platform for containerized applications).

シミュレーションされた転送経路80は、VPCネットワーク148内および/またはVPCネットワーク148とオンプレミスネットワーク70との間のデータパケット24の転送経路を表す。たとえば、1つのシミュレーションされた転送経路80は、第1のインスタンス(たとえば、VM250a)から第2のインスタンス(たとえば、VM250b)への転送経路を表し、第1のインスタンスも第2のインスタンスも同一のVPCネットワーク148において実行される。任意に、1つのシミュレーションされた転送経路80についてのデータパケットの送信元は、VPCネットワーク148である第1のネットワークにおいて実行されるインスタンス(たとえば、VM250)であり、送信先は、第1のネットワークとは異なるVPCネットワーク148である第2のネットワークにおいて実行される第2のインスタンス(たとえば、異なるVM250)である。 Simulated forwarding path 80 represents the forwarding path of data packet 24 within VPC network 148 and/or between VPC network 148 and on-premises network 70 . For example, one simulated forwarding path 80 represents a forwarding path from a first instance (eg, VM 250a) to a second instance (eg, VM 250b), where the first and second instances are identical. It runs in VPC network 148 . Optionally, the source of the data packets for one simulated forwarding path 80 is an instance (e.g., VM 250) running in the first network, VPC network 148, and the destination is the first network. A second instance (eg, a different VM 250) running in a second network that is a different VPC network 148 from the .

別の例において、1つのシミュレーションされた転送経路80は、1つのVM250から外部ネットワーク(たとえば、インターネット60)への転送経路80を表す。すなわち、データパケット24の送信元(すなわち、送信元IPアドレス25a)は、第1のネットワークにおいて実行される第1のインスタンス(たとえば、VPCネットワーク148におけるVM250)を含み、データパケット24の送信先(すなわち、送信先IPアドレス25b)は、第1のネットワークとは異なる第2のネットワーク(たとえば、オンプレミスネットワーク70)において実行される第2のインスタンスを含む。さらに他の例において、シミュレーションされた転送経路80は、VM250からロードバランサ1110(図11)へ、および/または、(たとえば、バーチャルプライベートネットワーク(VPN)トンネルを介して)VM250からオンプレミスネットワーク70のネットワークゲートウェイ72へを表す。これらの例の各々は、方向が逆にされてもよい。すなわち、シミュレーションされた転送経路80のうちの1つは、インターネット60からVM250またはロードバランサ1110へ、および/または、オンプレミスネットワークゲートウェイ72からVM250へを含んでもよい。ユーザデバイス10は、ローカルに通知されたルートを使用してリモートネットワーク(たとえば、オンプレミスネットワーク70)からデータパケット24を送信するように構成されてもよい。すなわち、クラウド到達可能性解析部150は、オンプレミスネットワーク70のネットワーク構成情報162へのアクセスを有することができないので、クラウド到達可能性解析部150は、オンプレミスネットワーク70から発生するデータパケット24に対して正しいルートおよびファイアウォールルールが構成されるか否かを確認することができない。しかし、クラウド到達可能性解析部150は、VPCネットワーク148からの構成がデータパケット24を意図された送信先に送達することを可能にするか否かを確認することができる。クラウド到達可能性解析部150によって確認される最も重要な構成は、通知されたルートおよびイングレスファイアウォールルールを含む。 In another example, one simulated forwarding path 80 represents a forwarding path 80 from one VM 250 to an external network (eg, Internet 60). That is, the source of data packet 24 (i.e., source IP address 25a) includes a first instance running in a first network (e.g., VM 250 in VPC network 148), and the destination of data packet 24 (i.e., a VM 250 in VPC network 148). That is, destination IP address 25b) includes a second instance running in a second network (eg, on-premises network 70) that is different from the first network. In yet another example, simulated forwarding path 80 may be from VM 250 to load balancer 1110 (FIG. 11) and/or from VM 250 to on-premises network 70 (eg, via a virtual private network (VPN) tunnel). Represents to gateway 72 . Each of these examples may be reversed in direction. That is, one of the simulated forwarding paths 80 may include Internet 60 to VMs 250 or load balancer 1110 and/or from on-premises network gateway 72 to VMs 250 . User device 10 may be configured to send data packets 24 from a remote network (eg, on-premises network 70) using locally advertised routes. That is, the cloud reachability analysis unit 150 cannot have access to the network configuration information 162 of the on-premises network 70, so the cloud reachability analysis unit 150 does not allow the data packets 24 originating from the on-premises network 70 to Unable to verify if correct routes and firewall rules are configured. However, the cloud reachability analyzer 150 can check whether the configuration from the VPC network 148 allows the data packet 24 to be delivered to its intended destination. The most important configurations checked by the cloud reachability analyzer 150 include advertised routes and ingress firewall rules.

別の例として、データパケット24の送信元は、外部ネットワーク(たとえば、オンプレミスネットワーク70)に位置し、データパケット24の送信先は、VPCネットワーク148において実行されるグローバルHTTPSロードバランサ1110を含む。グローバルHTTPSロードバランサ1110は、データパケット24を複数の異なるバックエンドVM250(図11)のうちの1つにルーティングするように構成されてもよい。経路生成部160は、グローバルHTTPSロードバランサから複数の異なるバックエンドVM250のうちの各々への対応するシミュレーションされた転送経路80を生成してもよい。 As another example, the source of data packet 24 is located in an external network (eg, on-premises network 70 ) and the destination of data packet 24 includes global HTTPS load balancer 1110 running in VPC network 148 . Global HTTPS load balancer 1110 may be configured to route data packets 24 to one of multiple different backend VMs 250 (FIG. 11). Path generator 160 may generate a corresponding simulated forwarding path 80 from the global HTTPS load balancer to each of multiple different backend VMs 250 .

本明細書に記載されている例示的な経路80は、例示に過ぎず、限定的であるよう意図されたものではない。すなわち、クラウド到達可能性解析部150は、他の転送経路80も解析またはシミュレーションしてもよい。たとえば、クラウド到達可能性解析部150は、他のネットワーク(たとえば、オンプレミスネットワーク70またはピアリングVPCネットワーク)のネットワーク構成情報162を(たとえば、ユーザ12から)受信または取得し、これらのネットワークを介したシミュレーションされた経路80を含んでもよい。言い換えれば、クラウド到達可能性解析部150は、クラウド到達可能性解析部150がネットワーク構成情報162を取得する任意のネットワークおよび関連付けられたネットワーク構成要素(たとえば、ゲートウェイ、ロードバランサ、フロントエンド、バックエンドなど)を介した転送経路80を解析してもよい。いくつかの例において、クラウド到達可能性解析部150は、ネットワーク構成情報162が入手できなくなった時点で(たとえば、オンプレミスゲートウェイ72において)解析を停止する。 The exemplary pathways 80 described herein are exemplary only and are not intended to be limiting. That is, the cloud reachability analysis unit 150 may also analyze or simulate other transfer paths 80 . For example, cloud reachability analyzer 150 receives or obtains (eg, from user 12) network configuration information 162 for other networks (eg, on-premises network 70 or peering VPC networks) and performs simulations over those networks. may include a route 80 that is defined. In other words, the cloud reachability analyzer 150 can access any network and associated network components (e.g., gateways, load balancers, frontends, backends) from which the cloud reachability analyzer 150 obtains network configuration information 162. etc.) may be analyzed. In some examples, cloud reachability analysis unit 150 stops analysis when network configuration information 162 is no longer available (eg, at on-premises gateway 72).

経路生成部160は、経路80および対応するネットワーク構成情報162を経路解析部170に渡し、経路解析部170は、1つまたは複数のシミュレーションされた転送経路80に基づいて到達可能性クエリ20のターゲットの到達可能性ステータス172を特定する。いくつかの例において、経路解析部170は、対応するネットワーク構成情報162に基づいて、1つまたは複数のシミュレーションされた転送経路80の各々に対してネットワーク到達可能性解析を実行する。経路解析部170は、オンデマンドモード、連続モード、プレサブミットモードまたはポストサブミットモードのうちの少なくとも1つのモードでネットワーク到達可能性解析を実行してもよい。たとえば、到達可能性クエリ20は、ユーザデバイス10がクラウド到達可能性解析部150に停止するよう指示するまでの(または、他の閾値が満たされるまでの、たとえばある時間が経過するまでの)、単一のシミュレーションまたは連続的なシミュレーションの要求を示してもよい。いくつかの実現例において、経路解析部170は、対応するシミュレーションされた転送経路80に沿って1つまたは複数の不良構成を発見することによって、または、対応するシミュレーションされた転送経路80に沿って不整合構成または廃止された構成を発見することによって、対応するシミュレーションされた転送経路80に沿ったデータパケット24の到達可能性の最終状態172(本明細書では、到達可能性ステータス172とも称される)を特定する。 The path generator 160 passes the paths 80 and corresponding network configuration information 162 to the path analyzer 170 , which analyzes the target reachability query 20 based on one or more simulated forwarding paths 80 . specifies the reachability status 172 of the . In some examples, path analyzer 170 performs network reachability analysis for each of one or more simulated forwarding paths 80 based on corresponding network configuration information 162 . The path analysis unit 170 may perform network reachability analysis in at least one of on-demand mode, continuous mode, pre-submit mode, or post-submit mode. For example, the reachability query 20 may be used until the user device 10 instructs the cloud reachability analyzer 150 to stop (or until some other threshold is met, e.g., until some time has passed). It may indicate a request for a single simulation or a series of simulations. In some implementations, the path analyzer 170 either by finding one or more bad configurations along the corresponding simulated transfer path 80 or A final state 172 (also referred to herein as reachability status 172) of reachability of data packet 24 along corresponding simulated forwarding path 80 is determined by finding inconsistent or obsolete configurations. ).

クラウド到達可能性解析部150は、特定された到達可能性ステータス172および1つまたは複数のシミュレーションされた転送経路80を、到達可能性クエリ20に関連付けられたユーザデバイス10に提供する。以下でより詳細に説明するように、1つまたは複数のシミュレーションされた転送経路80は、ユーザデバイス10によって受信されると、ユーザデバイス10に、各々のシミュレーションされた転送経路80のネットワーク構成情報162をユーザ12に対して提示させる。 Cloud reachability analyzer 150 provides determined reachability status 172 and one or more simulated forwarding paths 80 to user device 10 associated with reachability query 20 . As described in more detail below, one or more of the simulated forwarding paths 80 , when received by the user device 10 , provides the user device 10 with network configuration information 162 for each simulated forwarding path 80 . is presented to the user 12 .

ここで図3Aを参照して、いくつかの実現例において、経路解析部170は、1つまたは複数のシミュレーションされた転送経路80を生成するためのネットワーク抽象状態マシン(NAM)400を含む。NAM400は、VPCネットワーク148がどのようにしてデータパケットを処理するかについての理想的なモデルであってもよい。いくつかの例において、NAM400は、抽象であるため、VPCネットワーク148の実際の実装からは独立している。任意に、NAM400は、データパケット24の到達可能性の最終状態172を特定し、到達可能性の最終状態172は、データパケット24が送信先に送達されることを示す送達状態174a、データパケット24が、不明の構成を有する別のネットワークに転送されることを示す転送状態174b、構成チェックポイントの失敗または構成の欠落によりデータパケット24が削除されることを示す削除状態174c、または重要な構成の欠落によりネットワーク到達可能性解析が不可能であることを示すアボート状態174dのうちのいずれか1つを含む。NAM400は、状態が複数の後継状態を有し得るという点において非決定的であってもよい。たとえば、同一のIPマスクおよび優先順位を有するいくつかのルートがデータパケットに適用される場合、不特定のハッシュ関数に基づいてそれらの中からルートが選択される。これは、基本的には決定的なプロセスであるが、ルートのうちの1つを非決定的に選択することによってよりよくモデル化される。なぜなら、ハッシュ関数は、変更される可能性がある内部実装であるからである。 Referring now to FIG. 3A, in some implementations path analyzer 170 includes a network abstract state machine (NAM) 400 for generating one or more simulated forwarding paths 80 . NAM 400 may be an idealized model of how VPC network 148 processes data packets. In some examples, NAM 400 is abstract and thus independent of the actual implementation of VPC network 148 . Optionally, the NAM 400 identifies a reachability final state 172 for the data packet 24, the reachability final state 172 being a delivery state 174a indicating that the data packet 24 is delivered to its destination, the data packet 24 is forwarded to another network with an unknown configuration; a deleted state 174c, indicating that the data packet 24 is deleted due to a configuration checkpoint failure or missing configuration; It includes any one of the abort states 174d indicating that network reachability analysis is not possible due to lack. NAM 400 may be non-deterministic in that a state may have multiple successor states. For example, if several routes with the same IP mask and priority are applied to a data packet, a route is selected among them based on an unspecified hash function. This is basically a deterministic process, but is better modeled by choosing one of the routes non-deterministically. This is because hash functions are internal implementations that are subject to change.

ここで図3Bを参照して、クラウド到達可能性解析部150は、各々のシミュレーションされた転送経路80の特定された到達可能性ステータス172をユーザデバイス10に提供する。これは、ユーザデバイスに、各々のシミュレーションされた転送経路80のネットワーク構成情報162をユーザ12に対して提示させる。たとえば、レポート300は、生成されたデータパケット24(たとえば、パケットヘッダ22)に関する詳細をユーザ12に示してもよい。レポート300は、トレースまたはシミュレーションされた転送経路80に沿った各ステップ310,310a~nまたはホップに関連する情報を示してもよい。示されている例において、データパケット24は、ステップ310a(すなわち、ステップ0)において送信元インスタンスから出発し、ステップ310b(すなわち、ステップ1)においてエグレスファイアウォールルールが適用され、ステップ310c(すなわち、ステップ2)においてデータパケットがルーティングされ、ステップ310d(すなわち、ステップ3)において送信先インスタンスに到達し、ステップ310e(すなわち、ステップ4)においてイングレスファイアウォールルールが適用され、ステップ310f(すなわち、ステップ5)において送信先インスタンスに送達される。これらのステップ310の各々は、関連するネットワーク構成情報162を含む。 Referring now to FIG. 3B, cloud reachability analyzer 150 provides user device 10 with an identified reachability status 172 of each simulated transfer path 80 . This causes the user device to present network configuration information 162 for each simulated transfer path 80 to user 12 . For example, report 300 may show user 12 details about generated data packets 24 (eg, packet headers 22). Report 300 may show information associated with each step 310 , 310 a - n or hop along traced or simulated forwarding path 80 . In the example shown, the data packet 24 departs from the source instance in step 310a (i.e., step 0), is subjected to egress firewall rules in step 310b (i.e., step 1), and is subjected to step 310c (i.e., step 1). The data packet is routed in step 2), reaches the destination instance in step 310d (i.e. step 3), ingress firewall rules are applied in step 310e (i.e. step 4), and step 310f (i.e. step 5) to the destination instance at . Each of these steps 310 includes associated network configuration information 162 .

レポート300は、各々のシミュレーションされた転送経路80の特定された到達可能性ステータス172の理由または根拠(たとえば、パケットは、ファイアウォールルールによって拒否されたので削除された)を示してもよく、その目的は、トラブルシューティングを手助けし、および/もしくは、不整合構成および無効な構成によって引き起こされるネットワーク接続を検出するためであり、または、新たなもしくは変更された構成を確認するためである。いくつかの例において、クラウド到達可能性解析部150は、構成変更影響解析を提供する。シミュレーションされた転送経路80の各々は、アプリケーション(たとえば、ウェブブラウザ)の一部としてユーザデバイス上のグラフィカルユーザインターフェイス(GUI)の一部として提示されてもよい。示されている例は、1つだけの転送経路80(すなわち、トレース1)に関する詳細を提供しているが、シミュレーションされた各転送経路80(すなわち、複数のトレース)が提供されてもよい。いくつかの例において、レポート300は、データパケット24の特定された到達可能性ステータス172を示す概要セクション320を含む。 The report 300 may indicate the reason or basis for the identified reachability status 172 of each simulated forwarding path 80 (e.g., the packet was dropped because it was denied by a firewall rule) and its purpose to aid in troubleshooting and/or detect network connections caused by inconsistent and invalid configurations, or to verify new or changed configurations. In some examples, cloud reachability analysis unit 150 provides configuration change impact analysis. Each of the simulated transfer paths 80 may be presented as part of a graphical user interface (GUI) on the user device as part of an application (eg, web browser). Although the example shown provides details for only one transfer path 80 (ie, trace 1), each simulated transfer path 80 (ie, multiple traces) may be provided. In some examples, the report 300 includes a summary section 320 showing the determined reachability status 172 of the data packet 24 .

ここで図4を参照して、いくつかの実現例において、NAM400は、エグレスチェック410と、イングレスチェック420と、経路に特有のチェック430とを含む。いくつかの例において、エグレスチェック410は、エグレスファイアウォールチェック412と、一致ルート414とを含む。エグレスファイアウォールチェックは、(たとえば、ネットワーク構成情報162内で)一致するエグレスファイアウォールルールを探し出す。エグレスファイアウォールルールは、送信元インスタンス(たとえば、VM250)に適用されるファイアウォールルールである。一致ルート414は、シミュレーションされた転送経路80にとっての適切なルートを探し出して適用してもよい。また、一致ルート414は、送信元インスタンスがVM250である場合、送信先IPアドレス25bについて一致するルートがあるか否かを判断してもよい。一致するルートがない場合、NAM400は、ルートを、インターネットゲートウェイとして次のホップを有するデフォルトルートと一致させてもよい。イングレスファイアウォールチェック422は、エグレスファイアウォールチェック412のように、一致するイングレスファイアウォールルール(すなわち、送信先インスタンスに適用されるファイアウォールルール)を探し出して適用する。 Referring now to FIG. 4, in some implementations, NAM 400 includes an egress check 410, an ingress check 420, and a path specific check 430. In some examples, egress checks 410 include egress firewall checks 412 and matching routes 414 . The egress firewall check looks for matching egress firewall rules (eg, in network configuration information 162). Egress firewall rules are firewall rules that apply to the source instance (eg, VM 250). Matching route 414 may locate and apply a suitable route for simulated forwarding path 80 . Matching route 414 may also determine whether there is a matching route for destination IP address 25b when the source instance is VM 250 . If no route matches, NAM 400 may match the route with a default route with the next hop as the Internet gateway. Ingress firewall check 422, like egress firewall check 412, locates and applies matching ingress firewall rules (ie, firewall rules that apply to the destination instance).

経路に特有のチェック430は、NAM400が評価しているシミュレーションされた転送経路80のタイプに基づく。すなわち、経路に特有のチェック430は、シミュレーションされた転送経路80の送信元インスタンスおよび送信先インスタンスに左右される。たとえば、送信先インスタンスがVPNトンネル434を介したVPNゲートウェイ432である場合、特定の状態(図7)がNAM400による評価に含まれる。同様に、送信先インスタンスが転送ルール436を有するロードバランサである場合、異なる状態(図6および図8)が評価される。送信先インスタンスがピアリングネットワークゲートウェイ438である場合、さらに他の状態がNAM400の状態マシンにおいて評価される。 Path-specific checks 430 are based on the type of simulated forwarding path 80 that NAM 400 is evaluating. That is, the path-specific checks 430 depend on the source and destination instances of the simulated forwarding path 80 . For example, if the destination instance is VPN gateway 432 over VPN tunnel 434, then certain states (FIG. 7) are included in evaluation by NAM 400. FIG. Similarly, if the destination instance is a load balancer with forwarding rules 436, different states (FIGS. 6 and 8) are evaluated. If the destination instance is a peering network gateway 438, yet another state is evaluated in the NAM 400 state machine.

図5~図9は、データパケット24のさまざまなシミュレーションされた転送経路80を解析する際のNAM400を表す例示的な状態マシン500,600,700,800,900を示す図である。たとえば、図5は、第1のVM250と第2のVM250との間または第1のVM250からインターネット60へのシミュレーションされた転送経路80を解析する際のNAM400の状態マシン500を示す。状態マシン500は、送信元VM250に対応するインスタンス状態510から開始する。そこから、状態マシン500は、アボート状態512(たとえばネットワーク構成情報162の欠落により解析が続行できない)、エグレスファイアウォールルールを適用514、または、VM250が外部IP(Foreign IP)を有するデータパケットを送受信することを許可されるスプーフィングチェック518状態に遷移する。削除状態516において、データパケット24は、ネットワーク構成チェックの失敗またはネットワーク構成情報162の欠落により削除されてもよい。状態520において、適切なルートが探し出されて適用され、状態522において、データパケット24はVMインスタンスに到達してもよく、状態528において、データパケット24は構成が不明である(したがって、解析が停止する)別のネットワークに転送されてもよく、状態526において、ネットワークアドレス変換(NAT)によりパケットヘッダ22を修正してもよく、または、状態524において、イングレスファイアウォールルールを適用してもよい。状態530において、データパケット24は、パケットヘッダ22に指定された送信先に送達される。 5-9 illustrate exemplary state machines 500, 600, 700, 800, 900 representing NAM 400 in analyzing various simulated forwarding paths 80 of data packet 24. FIG. For example, FIG. 5 shows state machine 500 of NAM 400 in analyzing simulated forwarding path 80 between first VM 250 and second VM 250 or from first VM 250 to Internet 60 . State machine 500 starts with instance state 510 corresponding to source VM 250 . From there, the state machine 500 goes to an abort state 512 (e.g. parsing cannot continue due to missing network configuration information 162), applies egress firewall rules 514, or VMs 250 send and receive data packets with foreign IPs. Spoof Check 518 state allowed to. In the delete state 516 , the data packet 24 may be deleted due to a failed network configuration check or missing network configuration information 162 . At state 520 the appropriate route is found and applied, at state 522 the data packet 24 may reach the VM instance, and at state 528 the data packet 24 is of unknown composition (hence the parsing stopped), the packet header 22 may be modified by network address translation (NAT) at state 526, or ingress firewall rules may be applied at state 524. In state 530 , data packet 24 is delivered to the destination specified in packet header 22 .

ここで図6を参照して、状態マシン600は、VM250とロードバランサ1110(図11)との間のシミュレーションされた転送経路80を解析する際のNAM400を表す。状態マシン600は、送信元VM250に対応するインスタンス状態610から開始する。そこから、状態マシン600は、アボート状態612(たとえばネットワーク構成情報162の欠落により解析が続行できない)、エグレスファイアウォールルールを適用614、または、VM250が外部IPを有するデータパケットを送受信することを許可されるスプーフィングチェック618状態に遷移する。削除状態616において、データパケット24は、ネットワーク構成チェックの失敗またはネットワーク構成情報162の欠落により削除されてもよい。状態620において、適切なルートが探し出されて適用され、状態622において、構成が不明である(したがって、解析が停止する)別のネットワークに転送されてもよい。状態624において、NAM400は、適切な転送ルールを適用し、状態626において、内部または外部ロードバランサ1110に到達する。そこから、データパケット24は、1つまたは複数のバックエンド628,628a~nに転送されてもよく、データパケットは、状態630において削除されるか、または状態632において送達される。 Referring now to Figure 6, state machine 600 represents NAM 400 in analyzing simulated forwarding path 80 between VM 250 and load balancer 1110 (Figure 11). State machine 600 starts with instance state 610 corresponding to source VM 250 . From there, the state machine 600 goes to an abort state 612 (e.g. parsing cannot continue due to missing network configuration information 162), apply egress firewall rules 614, or allow VM 250 to send and receive data packets with external IPs. Spoof Check 618 state. In delete state 616 , data packet 24 may be deleted due to a failed network configuration check or missing network configuration information 162 . In state 620 an appropriate route is found and applied, and in state 622 it may be forwarded to another network whose configuration is unknown (hence parsing stops). At state 624 , NAM 400 applies the appropriate forwarding rules and reaches internal or external load balancer 1110 at state 626 . From there, the data packet 24 may be forwarded to one or more backends 628 , 628 a - n where the data packet is either dropped at state 630 or delivered at state 632 .

ここで図7を参照して、状態マシン700は、VPNを介したVM250とオンプレミスネットワーク70との間のシミュレーションされた転送経路80を解析する際のNAM400を表す。状態マシン700は、送信元VM250に対応するインスタンス状態710から開始する。そこから、状態マシン600は、アボート状態712(たとえばネットワーク構成情報162の欠落により解析が続行できない)、エグレスファイアウォールルールを適用714、または、VM250が外部IPを有するデータパケットを送受信することを許可されるスプーフィングチェック718状態に遷移する。削除状態716において、データパケット24は、ネットワーク構成チェックの失敗またはネットワーク構成情報162の欠落により削除されてもよい。状態720において、適切なルートが探し出されて適用され、状態722において、構成が不明である(したがって、解析が停止する)別のネットワークに転送され、その後、1つまたは複数のオンプレミスバックエンド728,728a~nに転送される。状態724において、データパケット24は、VPNトンネルのローカル側に到達し、状態726において、データパケット24は、VPNゲートウェイに到達して、1つまたは複数のVCPバックエンド628に転送されてもよい。 Referring now to FIG. 7, state machine 700 represents NAM 400 in analyzing simulated forwarding path 80 between VM 250 and on-premises network 70 via VPN. State machine 700 starts with instance state 710 corresponding to source VM 250 . From there, the state machine 600 goes to an abort state 712 (e.g. parsing cannot continue due to missing network configuration information 162), apply egress firewall rules 714, or allow VM 250 to send and receive data packets with external IPs. spoof check 718 state. In the delete state 716 , the data packet 24 may be deleted due to a failed network configuration check or missing network configuration information 162 . Appropriate routes are found and applied in state 720, forwarded to another network whose configuration is unknown (thus parsing stops) in state 722, and then one or more on-premises backends 728. , 728a-n. At state 724 the data packet 24 reaches the local side of the VPN tunnel, and at state 726 the data packet 24 may reach the VPN gateway and be forwarded to one or more VCP backends 628 .

ここで図8を参照して、状態マシン800は、インターネット60とVM250との間またはインターネット60とロードバランサ1110との間のシミュレーションされた転送経路80を解析する際のNAM400を表す。状態マシン800は、インターネット60から発生するデータパケット24のインターネット状態810から開始する。そこから、状態マシン800は、状態816に進んでもよく、状態816において、データパケット24は、ネットワーク構成チェックの失敗またはネットワーク構成情報162の欠落により削除される。また、状態マシン800は、状態812に進んで、NATによりパケットヘッダ22を修正してもよい。NAT状態812から、データパケット24は、818においてVMインスタンスに到達し、状態820において削除されるか、または状態822において送達される。また、状態マシン800は、状態814に進んでもよく、状態814において、送信先がロードバランサ1110である場合、適切な転送ルールを適用する。そこから、状態マシン800は、状態824に進み、状態824において、データパケット24は、外部ロードバランサに到達する。次に、状態マシン800は、プロキシ接続状態826に遷移し、プロキシ接続状態826において、以前の接続が新たな接続にプロキシされ、NAM400は、後続のトレースまたはシミュレーションのために新たなデータパケット24を生成する。そうでなければ、状態マシン800は、データパケット24を1つまたは複数のバックエンド628に転送することをシミュレーションし、データパケットは、状態828において削除されるか、または状態830において送達される。 Referring now to FIG. 8, state machine 800 represents NAM 400 in analyzing simulated forwarding path 80 between Internet 60 and VM 250 or between Internet 60 and load balancer 1110 . State machine 800 begins with Internet state 810 of a data packet 24 originating from Internet 60 . From there, state machine 800 may proceed to state 816 where data packet 24 is dropped due to a failed network configuration check or missing network configuration information 162 . State machine 800 may also proceed to state 812 to modify packet header 22 with NAT. From NAT state 812 , data packet 24 reaches VM instance at 818 and is either dropped at state 820 or delivered at state 822 . State machine 800 may also proceed to state 814, where if the destination is load balancer 1110, apply the appropriate forwarding rules. From there, state machine 800 proceeds to state 824 where data packet 24 reaches the external load balancer. State machine 800 then transitions to proxy connection state 826, in which the previous connection is proxied to the new connection, and NAM 400 prepares the new data packet 24 for subsequent tracing or simulation. Generate. Otherwise, state machine 800 simulates forwarding data packet 24 to one or more backends 628 , and the data packet is dropped at state 828 or delivered at state 830 .

ここで図9を参照して、状態マシン900は、オンプレミスネットワーク70(たとえば、オンプレミスネットワーク70内に位置するVM)とVCP VM250との間のシミュレーションされた転送経路80を解析する際のNAM400を表す。ここで、状態マシン900は、データパケット24がプライベートネットワーク(たとえば、オンプレミスネットワーク70)から発生する状態910から開始する。そこから、状態マシン900は、状態912に遷移して、適切なルートを適用する。次に、状態マシン900は、状態914において、ネットワーク構成チェックの失敗またはネットワーク構成情報162の欠落によりパケットを削除するか、または状態916においてインスタンスへの到達に進む。そこから、NAM400は、状態918においてイングレスファイアウォールルールを適用し、状態920においてデータパケットを送達する。 Referring now to FIG. 9, state machine 900 represents NAM 400 in analyzing simulated forwarding path 80 between on-premises network 70 (eg, a VM located within on-premises network 70) and VCP VM 250. . Here, state machine 900 begins at state 910 where data packet 24 originates from a private network (eg, on-premises network 70). From there, state machine 900 transitions to state 912 to apply the appropriate route. The state machine 900 then drops the packet due to a failed network configuration check or missing network configuration information 162 at state 914 or proceeds to reach the instance at state 916 . From there, NAM 400 applies ingress firewall rules at state 918 and delivers data packets at state 920 .

いくつかの例において、クラウド到達可能性解析部150は、VPCネットワーク148によって通知されたルートをオンプレミスネットワーク70に逆方向に追跡することによって転送経路80をシミュレーションする。クラウド到達可能性解析部150は、一般に、オンプレミスネットワーク構成へのアクセスを持たないが、クラウド到達可能性解析部150は、たとえばVPNを介したオンプレミスネットワーク70への静的および動的なルートの構成へのアクセスを有する。したがって、クラウド到達可能性解析部は、動的なルートのためにオンプレミスネットワーク70が構成または受信すべきであったVPCネットワーク148のルートをシミュレーションしてもよい。データパケット24が(VPN関連ルートから導き出された)オンプレミスネットワーク範囲から調達される場合、クラウド到達可能性解析部150は、「推測された」ルートをパケット上で適用してもよい。 In some examples, cloud reachability analyzer 150 simulates forwarding path 80 by tracing the route advertised by VPC network 148 back to on-premises network 70 . Cloud reachability analysis unit 150 typically does not have access to on-premises network configuration, but cloud reachability analysis unit 150 can configure static and dynamic routes to on-premises network 70, e.g., via a VPN. have access to Accordingly, the cloud reachability analyzer may simulate routes of the VPC network 148 that the on-premises network 70 should have configured or received for dynamic routes. If data packet 24 is sourced from an on-premises network range (derived from VPN-related routes), cloud reachability analyzer 150 may apply a "guessed" route on the packet.

ここで図10Aおよび図10Bを参照して、表1000a,1000bは、NAM400におけるデータパケットの考えられる最終到達可能性状態172(すなわち、削除174a、転送174b、送達174cまたはアボート174d)、最終状態より前のNAM400の状態(図5~図9)、および最終状態の関連付けられた原因を示す。すなわち、表1000a,1000bは、状態マシン500,600,700,800,900において最終状態174a~dに遷移する原因の例を提供する。 10A and 10B, Tables 1000a, 1000b show possible final reachability states 172 (i.e., deleted 174a, forwarded 174b, delivered 174c or aborted 174d) of a data packet in NAM 400, from the final state The previous NAM 400 states (FIGS. 5-9) and the associated causes of the final state are shown. That is, tables 1000a, 1000b provide examples of what causes state machines 500, 600, 700, 800, 900 to transition to final states 174a-d.

ここで図11を参照して、例示的な転送経路80cは、外部ホスト(たとえば、ユーザデバイス10)から開始し、インターネット60を介してVPCネットワーク148内のロードバランサ1110に進む。ロードバランサ1110は、データパケットをフロントエンドサーバ1020に転送し、フロントエンドサーバ1020は、データパケットを1つまたは複数のバックエンドまたはVM250に分配する。このシナリオでは、転送経路80cは、一般的なネットワークレベルのロードバランサよりも複雑である。この例では、クラウド到達可能性解析部150は、外部ホスト(たとえば、ユーザデバイス10)からロードバランサ1110(たとえば、グローバルHTTPSロードバランサ)にデータパケット24をトレースする。いくつかの例において、ロードバランサは、プロキシロードバランサであるため、TCP接続は、フロントエンドサーバ1020において終了し、フロントエンドサーバ1020は、1つまたは複数のバックエンドVM250との新たなTCP接続を開始する。クラウド到達可能性解析部は、NAM400を使用してこの挙動をシミュレーションする。実際のデータプレーンにおいては、ロードバランシングアルゴリズムは、各接続についてVMを選択してもよいが、クラウド到達可能性解析部150は、データプレーン経路を予測しないが、その代わりにいかなる構成問題も識別して、予想される挙動へのさらなる可視性をユーザに提供する静的構成解析ツールであってもよい。したがって、この場合、クラウド到達可能性解析部150は、各々の考えられる経路についてトレースを提供する(たとえば、VM250aに対して第1のトレース、VM250bに対して第2のトレース、およびVM250bに対して第3のトレース)。 Referring now to FIG. 11 , exemplary forwarding path 80 c starts at an external host (eg, user device 10 ) and goes through Internet 60 to load balancer 1110 within VPC network 148 . Load balancer 1110 forwards the data packets to front-end servers 1020 , which distribute the data packets to one or more back-ends or VMs 250 . In this scenario, forwarding path 80c is more complex than typical network level load balancers. In this example, cloud reachability analyzer 150 traces data packets 24 from an external host (eg, user device 10) to load balancer 1110 (eg, a global HTTPS load balancer). In some examples, the load balancer is a proxy load balancer, so the TCP connection terminates at the frontend server 1020 and the frontend server 1020 opens a new TCP connection with one or more backend VMs 250. Start. The Cloud Reachability Analyzer uses NAM 400 to simulate this behavior. In a real data plane, a load balancing algorithm may select a VM for each connection, but cloud reachability analyzer 150 does not predict data plane paths, but instead identifies any configuration issues. It may also be a static configuration analysis tool that provides the user with more visibility into expected behavior. Thus, in this case, cloud reachability analyzer 150 provides a trace for each possible path (e.g., a first trace for VM 250a, a second trace for VM 250b, and a third trace).

図12は、クラウドネットワーク到達可能性解析を実行する方法1200のための動作の例示的な構成のフローチャートである。方法1200は、動作1202において、データ処理ハードウェア144において、ターゲット70,250,1110の到達可能性ステータス172を要求する到達可能性クエリ20を受信するステップを含む。到達可能性クエリ20は、データパケット24に関連付けられたパケットヘッダ22を含み、パケットヘッダ22は、データパケット24の送信元に関連付けられた送信元IPアドレス25aと、データパケット24の送信先に関連付けられた送信先IPアドレス25bとを含む。 FIG. 12 is a flowchart of an exemplary configuration of operations for a method 1200 of performing cloud network reachability analysis. Method 1200 includes, at operation 1202 , receiving reachability query 20 requesting reachability status 172 of target 70 , 250 , 1110 at data processing hardware 144 . The reachability query 20 includes a packet header 22 associated with the data packet 24, the packet header 22 associated with the source IP address 25a associated with the source of the data packet 24 and the destination of the data packet 24. and the destination IP address 25b.

動作1204において、方法1200は、データ処理ハードウェア144が、データプレーンモデル164を使用して、パケットヘッダ22に基づいてデータパケット24の1つまたは複数のシミュレーションされた転送経路80を生成するステップを含む。シミュレーションされた転送経路80の各々は、対応するネットワーク構成情報162を含む。動作1206において、方法1200は、データ処理ハードウェア144が、1つまたは複数のシミュレーションされた転送経路80に基づいてターゲット70,250,1110の到達可能性ステータス172を特定するステップを含む。動作1208において、方法1200は、データ処理ハードウェア144が、特定された到達可能性ステータス172および1つまたは複数のシミュレーションされた転送経路80を、到達可能性クエリ20に関連付けられたユーザデバイス10に提供するステップを含む。1つまたは複数のシミュレーションされた転送経路80は、ユーザデバイス10によって受信されると、ユーザデバイス10に、各々のシミュレーションされた転送経路80のネットワーク構成情報162を提示させる。 At operation 1204 , method 1200 causes data processing hardware 144 to generate one or more simulated forwarding paths 80 for data packet 24 based on packet header 22 using data plane model 164 . include. Each simulated forwarding path 80 includes corresponding network configuration information 162 . At operation 1206 , method 1200 includes data processing hardware 144 determining reachability status 172 of target 70 , 250 , 1110 based on one or more simulated transfer paths 80 . At operation 1208 , method 1200 causes data processing hardware 144 to transmit the identified reachability status 172 and one or more simulated forwarding paths 80 to user device 10 associated with reachability query 20 . including the step of providing. When one or more simulated transfer paths 80 are received by user device 10 , cause user device 10 to present network configuration information 162 for each simulated transfer path 80 .

図13は、本明細書に記載されているシステムおよび方法を実現するために使用され得る例示的なコンピューティングデバイス1300の概略図である。コンピューティングデバイス1300は、ラップトップ、デスクトップ、ワークステーション、パーソナルデジタルアシスタント、サーバ、ブレードサーバ、メインフレームおよび他の適切なコンピュータなどのさまざまな形態のデジタルコンピュータを表すよう意図されている。ここに示されている構成要素、それらの接続および関係、ならびにそれらの機能は、例示に過ぎないよう意図されており、本明細書に記載されているおよび/またはクレームされている本発明の実現例を限定するよう意図されたものではない。 FIG. 13 is a schematic diagram of an exemplary computing device 1300 that can be used to implement the systems and methods described herein. Computing device 1300 is intended to represent various forms of digital computers such as laptops, desktops, workstations, personal digital assistants, servers, blade servers, mainframes and other suitable computers. The components, their connections and relationships, and their functions shown herein are intended to be exemplary only and are intended to implement the invention described and/or claimed herein. The examples are not intended to be limiting.

コンピューティングデバイス1300は、プロセッサ1310と、メモリ1320と、ストレージデバイス1330と、メモリ1320および高速拡張ポート1350に接続する高速インターフェイス/コントローラ1340と、低速バス1370およびストレージデバイス1330に接続する低速インターフェイス/コントローラ1360とを含む。構成要素1310,1320,1330,1340,1350および1360の各々は、さまざまなバスを使用して相互接続されており、共通のマザーボード上にまたは他の態様で適宜搭載されてもよい。プロセッサ1310は、コンピューティングデバイス1300内で実行するための命令を処理することができ、これらの命令は、高速インターフェイス1340に結合されたディスプレイ1380などの外部入力/出力デバイス上でグラフィカルユーザインターフェイス(GUI)のためのグラフィカル情報を表示するための、メモリ1320内またはストレージデバイス1330上に格納された命令を含む。他の実現例では、複数のメモリおよび複数のタイプのメモリとともに、複数のプロセッサおよび/または複数のバスが適宜使用されてもよい。また、複数のコンピューティングデバイス1300が接続されてもよく、各デバイスは、(たとえば、サーババンク、ブレードサーバの群、またはマルチプロセッサシステムとして)必要な動作の一部を提供する。 Computing device 1300 includes processor 1310, memory 1320, storage device 1330, high speed interface/controller 1340 connecting to memory 1320 and high speed expansion port 1350, low speed interface/controller connecting to low speed bus 1370 and storage device 1330. 1360 and . Each of the components 1310, 1320, 1330, 1340, 1350 and 1360 are interconnected using various buses and may be mounted on a common motherboard or otherwise as appropriate. Processor 1310 can process instructions for execution within computing device 1300 and these instructions can be presented to a graphical user interface (GUI) on an external input/output device such as display 1380 coupled to high speed interface 1340 . ), including instructions stored in memory 1320 or on storage device 1330 for displaying graphical information for. In other implementations, multiple processors and/or multiple buses may be used, as appropriate, along with multiple memories and types of memory. Also, multiple computing devices 1300 may be connected, each providing a portion of the required operations (eg, as a server bank, a group of blade servers, or a multi-processor system).

メモリ1320は、コンピューティングデバイス1300内に情報を非一時的に格納する。メモリ1320は、コンピュータ読取可能媒体、揮発性メモリユニットまたは不揮発性メモリユニットであってもよい。非一時的なメモリ1320は、コンピューティングデバイス1300による使用のためにプログラム(たとえば、命令のシーケンス)またはデータ(たとえば、プログラム状態情報)を一時的にまたは永久的に格納するために使用される物理的なデバイスであってもよい。不揮発性メモリの例としては、フラッシュメモリおよびリードオンリメモリ(ROM)/プログラマブルリードオンリメモリ(PROM)/消去可能なプログラマブルリードオンリメモリ(EPROM)/電子的に消去可能なプログラマブルリードオンリメモリ(EEPROM)(たとえば、一般に、ブートプログラムなどのファームウェアで使用される)が挙げられるが、これらに限定されるものではない。揮発性メモリの例としては、ランダムアクセスメモリ(RAM)、ダイナミックランダムアクセスメモリ(DRAM)、スタティックランダムアクセスメモリ(SRAM)、相変化メモリ(PCM)およびディスクまたはテープが挙げられるが、これらに限定されるものではない。 Memory 1320 non-transitory stores information within computing device 1300 . Memory 1320 may be a computer-readable medium, a volatile memory unit or a non-volatile memory unit. Non-transitory memory 1320 is a physical memory used to temporarily or permanently store programs (eg, sequences of instructions) or data (eg, program state information) for use by computing device 1300 . device. Examples of non-volatile memory include flash memory and read-only memory (ROM)/programmable read-only memory (PROM)/erasable programmable read-only memory (EPROM)/electronically erasable programmable read-only memory (EEPROM). (for example, commonly used in firmware such as boot programs), but is not limited to these. Examples of volatile memory include, but are not limited to, random access memory (RAM), dynamic random access memory (DRAM), static random access memory (SRAM), phase change memory (PCM) and disk or tape. not something.

ストレージデバイス1330は、コンピューティングデバイス1300に対してマスストレージを提供することができる。いくつかの実現例において、ストレージデバイス1330は、コンピュータ読取可能媒体である。さまざまな異なる実現例において、ストレージデバイス1330は、ストレージエリアネットワークまたは他の構成におけるデバイスを含む、フロッピー(登録商標)ディスクデバイス、ハードディスクデバイス、光ディスクデバイス、またはテープデバイス、フラッシュメモリもしくは他の同様のソリッドステートメモリデバイス、またはデバイスのアレイであってもよい。さらなる実現例において、コンピュータプログラム製品は、情報担体において有形に具体化される。コンピュータプログラム製品は、実行されると上記の方法などの1つまたは複数の方法を実行する命令を含む。情報担体は、メモリ1320、ストレージデバイス1330またはメモリオンプロセッサ1310などのコンピュータまたは機械読取可能媒体である。 Storage device 1330 may provide mass storage for computing device 1300 . In some implementations, storage device 1330 is a computer-readable medium. In various different implementations, storage device 1330 may be a floppy disk device, hard disk device, optical disk device, or tape device, flash memory or other similar solid state device, including devices in a storage area network or other configuration. It may be a state memory device, or an array of devices. In a further implementation, a computer program product is tangibly embodied in an information carrier. The computer program product contains instructions that, when executed, perform one or more methods, such as the methods described above. The information carrier is a computer or machine-readable medium such as memory 1320 , storage device 1330 or memory-on-processor 1310 .

高速コントローラ1340は、コンピューティングデバイス1300のための帯域幅集約型動作を管理する一方、低速コントローラ1360は、より低い帯域幅集約型動作を管理する。このような役割の割り当ては、例示に過ぎない。いくつかの実現例において、高速コントローラ1340は、メモリ1320、ディスプレイ1380(たとえば、グラフィックスプロセッサまたはアクセラレータを介する)、およびさまざまな拡張カード(図示せず)を受け付け得る高速拡張ポート1350に結合される。いくつかの実現例において、低速コントローラ1360は、ストレージデバイス1330および低速拡張ポート1390に結合される。さまざまな通信ポート(たとえば、USB、ブルートゥース(登録商標)、イーサネット(登録商標)、ワイヤレスイーサネット)を含み得る低速拡張ポート1390は、たとえばネットワークアダプタを介して、1つまたは複数の入力/出力デバイス(キーボード、ポインティングデバイス、スキャナなど)またはネットワーキングデバイス(スイッチもしくはルータなど)に結合されてもよい。 High speed controller 1340 manages bandwidth-intensive operations for computing device 1300, while low speed controller 1360 manages less bandwidth-intensive operations. Such role assignments are exemplary only. In some implementations, high speed controller 1340 is coupled to memory 1320, display 1380 (eg, via a graphics processor or accelerator), and high speed expansion port 1350, which may accept various expansion cards (not shown). . In some implementations, low speed controller 1360 is coupled to storage device 1330 and low speed expansion port 1390 . A low-speed expansion port 1390, which may include various communication ports (e.g., USB, Bluetooth, Ethernet, Wireless Ethernet), provides access to one or more input/output devices (e.g., via a network adapter). keyboards, pointing devices, scanners, etc.) or networking devices (such as switches or routers).

コンピューティングデバイス1300は、図面に示されているように、多数の異なる形態で実現されてもよい。たとえば、それは、標準的なサーバ1300aとして実現されてもよく、またはこのようなサーバ1300aの群で複数回実現されてもよく、またはラップトップコンピュータ1300bとして実現されてもよく、またはラックサーバシステム1300cの一部として実現されてもよい。 Computing device 1300 may be embodied in many different forms, as shown in the figures. For example, it may be implemented as a standard server 1300a, or it may be implemented multiple times in a group of such servers 1300a, or it may be implemented as a laptop computer 1300b, or a rack server system 1300c. may be implemented as part of

本明細書に記載されているシステムおよび技術のさまざまな実現例は、デジタル電子および/もしくは光回路、集積回路、特別に設計されたASIC(特定用途向け集積回路)、コンピュータハードウェア、ファームウェア、ソフトウェア、ならびに/または、それらの組み合わせで実現することができる。これらのさまざまな実現例は、少なくとも1つのプログラマブルプロセッサを含むプログラマブルシステム上で実行可能および/または解釈可能な1つまたは複数のコンピュータプログラムでの実現例を含むことができ、少なくとも1つのプログラマブルプロセッサは、特別目的プロセッサまたは汎用プロセッサであってもよく、ストレージシステム、少なくとも1つの入力デバイスおよび少なくとも1つの出力デバイスとの間でデータおよび命令を送受信するように結合されている。 Various implementations of the systems and techniques described herein may include digital electronic and/or optical circuits, integrated circuits, specially designed ASICs (Application Specific Integrated Circuits), computer hardware, firmware, software , and/or combinations thereof. These various implementations can include implementations in one or more computer programs executable and/or interpretable on a programmable system that includes at least one programmable processor, where the at least one programmable processor , a special purpose processor or a general purpose processor, coupled to transmit and receive data and instructions to and from the storage system, at least one input device and at least one output device.

ソフトウェアアプリケーション(すなわち、ソフトウェアリソース)とは、コンピューティングデバイスにタスクを実行させるコンピュータソフトウェアのことであってもよい。いくつかの例において、ソフトウェアアプリケーションは、「アプリケーション」、「アプリ」または「プログラム」と称されることもある。アプリケーションの例としては、システム診断アプリケーション、システム管理アプリケーション、システムメンテナンスアプリケーション、ワードプロセッシングアプリケーション、スプレッドシートアプリケーション、メッセージングアプリケーション、メディアストリーミングアプリケーション、ソーシャルネットワーキングアプリケーション、およびゲーミングアプリケーションが挙げられるが、これらに限定されるものではない。 A software application (ie, software resource) may be computer software that causes a computing device to perform a task. In some instances, software applications may also be referred to as "applications," "apps," or "programs." Examples of applications include, but are not limited to, system diagnostic applications, system management applications, system maintenance applications, word processing applications, spreadsheet applications, messaging applications, media streaming applications, social networking applications, and gaming applications. not a thing

これらのコンピュータプログラム(プログラム、ソフトウェア、ソフトウェアアプリケーションまたはコードとしても知られている)は、プログラマブルプロセッサのための機械命令を含み、高レベル手続き言語および/もしくはオブジェクト指向プログラミング言語で、ならびに/または、アセンブリ/機械言語で実現することができる。本明細書において使用される「機械読取可能媒体」および「コンピュータ読取可能媒体」という語は、機械読取可能な信号として機械命令を受信する機械読取可能媒体を含む、機械命令および/またはデータをプログラマブルプロセッサに提供するために使用される任意のコンピュータプログラム製品、非一時的なコンピュータ読取可能媒体、装置および/またはデバイス(たとえば、磁気ディスク、光ディスク、メモリ、プログラマブルロジックデバイス(PLD))を指す。「機械読取可能な信号」という語は、機械命令および/またはデータをプログラマブルプロセッサに提供するために使用される任意の信号を指す。 These computer programs (also known as programs, software, software applications or code) contain machine instructions for programmable processors and are written in high-level procedural and/or object-oriented programming languages and/or in assembly / can be implemented in machine language. The terms "machine-readable medium" and "computer-readable medium" as used herein refer to machine instructions and/or data programmable, including machine-readable media that receive machine instructions as machine-readable signals. Refers to any computer program product, non-transitory computer-readable medium, apparatus and/or device (eg, magnetic disk, optical disk, memory, programmable logic device (PLD)) used to provide a processor. The term "machine-readable signal" refers to any signal used to provide machine instructions and/or data to a programmable processor.

本明細書に記載されているプロセスおよび論理フローは、データ処理ハードウェアとも称される1つまたは複数のプログラマブルプロセッサによって実行することができ、これらの1つまたは複数のプログラマブルプロセッサは、入力データ上で動作して出力を生成することによって機能を実行するように1つまたは複数のコンピュータプログラムを実行する。また、プロセスおよび論理フローは、特別目的論理回路(たとえば、FPGA(フィールドプログラマブルゲートアレイ)またはASIC(特定用途向け集積回路))によって実行することもできる。コンピュータプログラムの実行に適したプロセッサは、一例として、汎用マイクロプロセッサも特別目的マイクロプロセッサも含み、任意の種類のデジタルコンピュータの任意の1つまたは複数のプロセッサを含む。一般に、プロセッサは、リードオンリメモリまたはランダムアクセスメモリまたはそれら両方から命令およびデータを受信する。コンピュータの必須の要素は、命令を実行するためのプロセッサと、命令およびデータを格納するための1つまたは複数のメモリデバイスとである。一般に、コンピュータは、データを格納するための1つまたは複数のマスストレージデバイス(たとえば、磁気、光磁気ディスクまたは光ディスク)も含み、または、1つまたは複数のマスストレージデバイスとの間でデータを受信したり送信したり送受信したりするように動作可能に結合される。しかし、コンピュータは、このようなデバイスを有していなくてもよい。コンピュータプログラム命令およびデータを格納するのに適したコンピュータ読取可能媒体は、全ての形態の不揮発性メモリ、媒体およびメモリデバイスを含み、一例として、半導体メモリデバイス(たとえば、EPROM、EEPROMおよびフラッシュメモリデバイス)、磁気ディスク(たとえば、内部ハードディスクまたはリムーバブルディスク)、光磁気ディスク、ならびにCD ROMおよびDVD-ROMディスクを含む。プロセッサおよびメモリは、特別目的論理回路によって補完されることができ、または特別目的論理回路に組み込まれることができる。 The processes and logic flows described herein can be performed by one or more programmable processors, also referred to as data processing hardware, which process data on input data. Execute one or more computer programs to perform functions by operating on and generating output. The processes and logic flows may also be performed by special purpose logic circuits (eg, FPGAs (Field Programmable Gate Arrays) or ASICs (Application Specific Integrated Circuits)). Processors suitable for the execution of a computer program include, by way of example, any one or more processors of any kind of digital computer, both general and special purpose microprocessors. Generally, a processor receives instructions and data from read-only memory and/or random-access memory. The essential elements of a computer are a processor for executing instructions and one or more memory devices for storing instructions and data. Generally, a computer also includes one or more mass storage devices (e.g., magnetic, magneto-optical or optical disks) for storing data or receiving data from one or more mass storage devices. operatively coupled to transmit, transmit, and receive. However, a computer need not have such devices. Computer-readable media suitable for storing computer program instructions and data include all forms of non-volatile memories, media and memory devices, by way of example, semiconductor memory devices (e.g., EPROM, EEPROM and flash memory devices). , magnetic disks (eg, internal or removable disks), magneto-optical disks, and CD ROM and DVD-ROM disks. The processor and memory may be supplemented by, or incorporated into, special purpose logic circuitry.

ユーザとの対話を提供するために、本開示の1つまたは複数の局面は、ユーザに情報を表示するためのディスプレイデバイス(たとえば、CRT(陰極線管)、LCD(液晶ディスプレイ)モニタまたはタッチスクリーン)と、任意にユーザがコンピュータに入力を提供することができるキーボードおよびポインティングデバイス(たとえば、マウスまたはトラックボール)とを有するコンピュータ上で実現することができる。他の種類のデバイスを使用してユーザとの対話を提供することもでき、たとえば、ユーザに提供されるフィードバックは、任意の形態の感覚フィードバック(たとえば、視覚フィードバック、聴覚フィードバックまたは触覚フィードバック)であってもよく、ユーザからの入力は、音響入力、音声入力または触覚入力を含む任意の形態で受信することができる。また、コンピュータは、ユーザが使用するデバイスとの間でドキュメントを送受信することによって、たとえばウェブブラウザから受信された要求に応答してユーザのクライアントデバイス上のウェブブラウザにウェブページを送信することによって、ユーザと対話することができる。 To provide user interaction, one or more aspects of the present disclosure include a display device (e.g., a CRT (cathode ray tube), LCD (liquid crystal display) monitor or touch screen) for displaying information to the user. and, optionally, a keyboard and pointing device (eg, a mouse or trackball) that allows a user to provide input to the computer. Other types of devices may also be used to provide user interaction, for example, the feedback provided to the user may be any form of sensory feedback (e.g., visual, auditory, or tactile feedback). The input from the user may be received in any form including acoustic, speech or tactile input. The computer also sends and receives documents to and from the device used by the user, e.g., by sending web pages to the web browser on the user's client device in response to requests received from the web browser. Can interact with the user.

いくつかの実現例について説明してきた。しかし、本開示の精神および範囲から逸脱することなくさまざまな変更がなされてもよいということが理解されるであろう。したがって、他の実現例は、以下の特許請求の範囲の範囲内である。 We have described several implementations. However, it will be understood that various modifications may be made without departing from the spirit and scope of the disclosure. Accordingly, other implementations are within the scope of the following claims.

Claims (29)

クラウドネットワーク到達可能性解析の方法(1200)であって、
データ処理ハードウェア(144)において、ネットワークを介してターゲット(70,250,1110)の到達可能性ステータス(172)を要求する到達可能性クエリ(20)を受信するステップを備え、前記到達可能性クエリ(20)は、データパケット(24)に関連付けられたパケットヘッダ(22)を備え、前記パケットヘッダ(22)は、
前記データパケット(24)の送信元に関連付けられた送信元インターネットプロトコル(IP)アドレス(25a)と、
前記データパケット(24)の送信先に関連付けられた送信先IPアドレス(25b)とを備え、
前記方法(1200)はさらに、
前記データ処理ハードウェア(144)において、データプレーンモデル(164)を使用して、前記パケットヘッダ(22)に基づいて前記データパケット(24)の1つまたは複数のシミュレーションされた転送経路(80)を生成するステップを備え、各々のシミュレーションされた転送経路(80)は、前記ネットワークに関連付けられた対応するネットワーク構成情報(162)を備え、前記方法(1200)はさらに、
前記1つまたは複数のシミュレーションされた転送経路(80)のそれぞれのシミュレーションされた転送経路において:
データ処理ハードウェア(144)において、前記対応するネットワーク構成情報(162)から、前記それぞれのシミュレーションされた転送経路に適用される第1のインスタンスの少なくとも1つのエグレスファイアウォールルールを決定するステップと、
データ処理ハードウェア(144)において、前記対応するネットワーク構成情報(162)から、それぞれのシミュレーションされた転送経路に適用される第2のインスタンスの少なくとも1つのイングレスファイアウォールルールを決定するステップと、
前記データ処理ハードウェア(144)において、前記対応するネットワーク構成情報(162)から、前記第1のインスタンス及び前記第2のインスタンスに基づくそれぞれのシミュレーションされた転送経路の種類に基づく経路に特有のチェックを決定するステップと、
前記データ処理ハードウェア(144)において、前記経路に特有のチェックを使用して、前記少なくとも1つのエグレスファイアウォールルールおよび前記少なくとも1つのイングレスファイアウォールルールに基づいて前記ターゲット(70,250,1110)の前記到達可能性ステータス(172)を特定するステップと、
前記データ処理ハードウェア(144)において、それぞれの特定された到達可能性ステータス(172)および前記1つまたは複数のシミュレーションされた転送経路(80)を、前記到達可能性クエリ(20)に関連付けられた前記送信元に提供するステップとを備え、前記1つまたは複数のシミュレーションされた転送経路(80)は、前記送信元によって受信されると、前記送信元に、各々のシミュレーションされた転送経路(80)の前記対応するネットワーク構成情報(162)を提示させ、
前記提示されたネットワーク構成情報(162)は、
前記第1のインスタンスの前記少なくとも1つのエグレスファイアウォールルールと、
前記第2のインスタンスの前記少なくとも1つのイングレスファイアウォールルールとを含む、方法(1200)。
A method (1200) of cloud network reachability analysis, comprising:
receiving, in data processing hardware (144), a reachability query (20) requesting the reachability status (172) of a target (70, 250, 1110) over a network; The query (20) comprises a packet header (22) associated with a data packet (24), said packet header (22) comprising:
a source Internet Protocol (IP) address (25a) associated with the source of said data packet (24);
a destination IP address (25b) associated with the destination of the data packet (24);
The method (1200) further comprises:
in said data processing hardware (144) using a data plane model (164) to simulate one or more forwarding paths (80) of said data packet (24) based on said packet header (22); each simulated forwarding path (80) comprises corresponding network configuration information (162) associated with said network , said method (1200) further comprising:
In each simulated transfer path of said one or more simulated transfer paths (80):
determining in data processing hardware (144) from said corresponding network configuration information (162) at least one egress firewall rule of a first instance to be applied to said respective simulated forwarding path;
determining in data processing hardware (144) from said corresponding network configuration information (162) at least one ingress firewall rule of a second instance to be applied to each simulated forwarding path;
In said data processing hardware (144), from said corresponding network configuration information (162), a path specific check based on each simulated transfer path type based on said first instance and said second instance. a step of determining
In said data processing hardware (144 ), using said path specific checks, based on said at least one egress firewall rule and said at least one ingress firewall rule, said target (70, 250, 1110) identifying said reachability status (172);
in said data processing hardware (144) each determined reachability status (172) and said one or more simulated forwarding paths (80) are associated with said reachability query (20); and providing said one or more simulated forwarding paths (80) to said source , upon receipt by said source , each simulated forwarding path ( presenting the corresponding network configuration information (162) of 80) ;
The presented network configuration information (162) includes:
said at least one egress firewall rule for said first instance;
and said at least one ingress firewall rule of said second instance .
前記1つまたは複数のシミュレーションされた転送経路(80)の前記到達可能性ステータス(172)を特定するステップは、ネットワーク抽象状態マシン(400)を使用するステップを備える、請求項1に記載の方法(1200)。 The method of claim 1, wherein determining the reachability status (172) of the one or more simulated forwarding paths (80) comprises using a network abstract state machine (400). (1200). 前記送信元は、ローカルに通知されたルートを使用してリモートネットワークから前記データパケット(24)を送信するように構成される、請求項1または請求項2に記載の方法(1200)。 The method (1200) of claim 1 or claim 2, wherein the source is configured to transmit the data packet (24) from a remote network using a locally advertised route. 前記ネットワーク構成情報(162)は、
バーチャルプライベートクラウド(VPC)ネットワーク(148)内で前記データパケット(24)を導くためのポート/インターフェイス、または、
VPCネットワーク(148)間で前記データパケット(24)を導くためのポート/インターフェイス、
VPCネットワーク(148)と非VPCネットワーク(70)との間で前記データパケット(24)を導くためのポート/インターフェイス、のうちの少なくとも1つを備える、請求項1から請求項3のいずれか1項に記載の方法(1200)。
The network configuration information (162) includes:
a port/interface for directing said data packet (24) within a Virtual Private Cloud (VPC) network (148) ; or
ports/interfaces for directing said data packets (24) between VPC networks (148);
ports/ interfaces for directing said data packets (24) between a VPC network (148) and a non-VPC network (70). or the method of claim 1 (1200).
前記データ処理ハードウェア(144)において、前記対応するネットワーク構成情報(162)に基づいて、前記1つまたは複数のシミュレーションされた転送経路(80)の各々に対してネットワーク到達可能性解析を実行するステップをさらに備える、請求項1から請求項4のいずれか1項に記載の方法(1200)。 performing, at said data processing hardware (144), a network reachability analysis for each of said one or more simulated forwarding paths (80) based on said corresponding network configuration information (162); The method (1200) of any one of claims 1 to 4, further comprising steps. 前記ネットワーク到達可能性解析は、
前記対応するシミュレーションされた転送経路(80)に沿って前記データパケット(24)の到達可能性の最終状態を特定すること、
前記対応するシミュレーションされた転送経路(80)に沿って1つまたは複数の不良構成を発見すること、または
前記対応するシミュレーションされた転送経路(80)に沿って不整合構成または廃止された構成を発見すること、のうちの少なくとも1つを実行するように構成される、請求項5に記載の方法(1200)。
The network reachability analysis includes:
identifying a final state of reachability of the data packet (24) along the corresponding simulated forwarding path (80);
finding one or more bad configurations along said corresponding simulated transfer path (80); or finding mismatched or obsolete configurations along said corresponding simulated transfer path (80). 6. The method (1200) of claim 5, configured to perform at least one of: discovering.
前記到達可能性の最終状態は、
前記データパケット(24)が前記送信先に送達されることを示す送達状態(174a)、
前記データパケット(24)が、不明の構成を有する別のネットワークに転送されることを示す転送状態(174b)、
構成チェックポイントの失敗または構成の欠落により前記データパケット(24)が削除されることを示す削除状態(174c)、または
重要な構成の欠落により前記ネットワーク到達可能性解析が不可能であることを示すアボート状態(174d)、のうちのいずれか1つを備える、請求項6に記載の方法(1200)。
The final state of reachability is
a delivery status (174a) indicating that the data packet (24) is delivered to the destination;
a forwarding state (174b) indicating that the data packet (24) is forwarded to another network with an unknown configuration;
A deleted state (174c) indicating that said data packet (24) is deleted due to configuration checkpoint failure or missing configuration, or indicating that said network reachability analysis is not possible due to missing critical configuration. 7. The method (1200) of claim 6, comprising any one of: an abort state (174d).
前記パケットヘッダ(22)はさらに、
前記データパケット(24)に関連付けられたプロトコル(25c)と、
前記データパケット(24)に関連付けられた送信元ポート(25d)と、
前記データパケット(24)に関連付けられた送信先ポート(25e)とを備える、請求項1から請求項のいずれか1項に記載の方法(1200)。
Said packet header (22) further comprises:
a protocol (25c) associated with said data packet (24);
a source port (25d) associated with said data packet (24);
A destination port (25e) associated with the data packet ( 24 ).
前記データパケット(24)の前記送信元は、第1のネットワークにおいて実行される前記第1のインスタンスを備え、前記データパケット(24)の前記送信先は、前記第1のネットワークとは異なる第2のネットワークにおいて実行される前記第2のインスタンスを備える、請求項1から請求項のいずれか1項に記載の方法(1200)。 The source of the data packet (24) comprises the first instance running in a first network and the destination of the data packet (24) is a second network different from the first network. The method (1200) of any one of claims 1 to 8 , comprising the second instance running in a network of . 前記第1のネットワークは、バーチャルプライベートクラウド(VPC)ネットワーク(148)を備え、前記第2のネットワークは、オンプレミスネットワーク(70)を備える、請求項に記載の方法(1200)。 10. The method (1200) of claim 9 , wherein the first network comprises a Virtual Private Cloud (VPC) network (148) and the second network comprises an on-premises network (70). 前記第1のネットワークおよび前記第2のネットワークは、それぞれのバーチャルプライベートクラウド(VPC)ネットワーク(148)を備える、請求項に記載の方法(1200)。 10. The method (1200) of claim 9 , wherein the first network and the second network comprise respective virtual private cloud (VPC) networks (148). 前記データパケット(24)の前記送信元は、前記第1のインスタンスを備え、前記データパケット(24)の前記送信先は、前記第2のインスタンスを備え、前記第1のインスタンスも前記第2のインスタンスも、同一のバーチャルプライベートクラウド(VPC)ネットワーク(148)において実行される、請求項1から請求項のいずれか1項に記載の方法(1200)。 said source of said data packet (24) comprises said first instance and said destination of said data packet (24) comprises said second instance, said first instance also comprising said second instance The method (1200) of any one of claims 1 to 8 , wherein the instances are also run in the same Virtual Private Cloud (VPC) network (148). 前記データパケット(24)の前記送信元は、外部ネットワークに位置し、前記データパケット(24)の前記送信先は、バーチャルプライベートクラウド(VPC)ネットワーク(148)において実行されるグローバルHTTPSロードバランサ(1110)を備え、前記グローバルHTTPSロードバランサ(1110)は、前記データパケット(24)を複数の異なるバックエンドバーチャルマシン(VM)(250)のうちの1つにルーティングするように構成される、請求項1から請求項12のいずれか1項に記載の方法(1200)。 The source of the data packet (24) is located in an external network and the destination of the data packet (24) is a global HTTPS load balancer (1110) running in a Virtual Private Cloud (VPC) network (148). ), wherein the global HTTPS load balancer (1110) is configured to route the data packets (24) to one of a plurality of different backend virtual machines (VMs) (250). The method (1200) of any of claims 1-12 . 前記データパケット(24)の1つまたは複数のシミュレーションされた転送経路(80)を生成するステップは、前記グローバルHTTPSロードバランサ(1110)から前記複数の異なるバックエンドVM(250)のうちの各々への対応するシミュレーションされた転送経路(80)を生成するステップを備える、請求項13に記載の方法(1200)。 generating one or more simulated forwarding paths (80) for said data packets (24) from said global HTTPS load balancer (1110) to each of said plurality of different backend VMs (250); 14. The method (1200) of claim 13 , comprising generating a simulated forwarding path (80) corresponding to . システム(100)であって、
データ処理ハードウェアと、
前記データ処理ハードウェアと通信するメモリハードウェアとを備え、前記メモリハードウェアは、命令を格納し、前記命令は、前記データ処理ハードウェア上で実行されると、前記データ処理ハードウェアに動作を実行させ、前記動作は、
ネットワークを介してターゲット(70,250,1110)の到達可能性ステータス(172)を要求する到達可能性クエリ(20)を受信するステップを備え、前記到達可能性クエリ(20)は、データパケット(24)に関連付けられたパケットヘッダ(22)を備え、前記パケットヘッダ(22)は、
前記データパケット(24)の送信元に関連付けられた送信元インターネットプロトコル(IP)アドレス(25a)と、
前記データパケット(24)の送信先に関連付けられた送信先IPアドレス(25b)とを備え、
前記動作はさらに、
データプレーンモデル(164)を使用して、前記パケットヘッダ(22)に基づいて前記データパケット(24)の1つまたは複数のシミュレーションされた転送経路(80)を生成するステップを備え、各々のシミュレーションされた転送経路(80)は、前記ネットワークに関連付けられた対応するネットワーク構成情報(162)を備え、前記動作はさらに、
前記1つまたは複数のシミュレーションされた転送経路(80)のそれぞれのシミュレーションされた転送経路において:
前記対応するネットワーク構成情報(162)から、前記それぞれのシミュレーションされた転送経路に適用される第1のインスタンスの少なくとも1つのエグレスファイアウォールルールを決定するステップと、
前記対応するネットワーク構成情報(162)から、それぞれのシミュレーションされた転送経路に適用される第2のインスタンスの少なくとも1つのイングレスファイアウォールルールを決定するステップと、
前記対応するネットワーク構成情報(162)から、前記第1のインスタンス及び前記第2のインスタンスに基づくそれぞれのシミュレーションされた転送経路の種類に基づく経路に特有のチェックを決定するステップと、
前記1つまたは複数のシミュレーションされた転送経路(80)に基づいて前記ターゲット(70,250,1110)の前記到達可能性ステータス(172)を特定するステップと、
前記特定された到達可能性ステータス(172)および前記1つまたは複数のシミュレーションされた転送経路(80)を、前記到達可能性クエリ(20)に関連付けられた送信元に提供するステップとを備え、前記1つまたは複数のシミュレーションされた転送経路(80)は、前記送信元によって受信されると、前記送信元に、各々のシミュレーションされた転送経路(80)の前記対応するネットワーク構成情報(162)を提示させ、
提示されたネットワーク構成情報は、
前記第1のインスタンスの前記少なくとも1つのエグレスファイアウォールルールと、
前記第2のインスタンスの前記少なくとも1つのイングレスファイアウォールルールとを含む、システム(100)。
A system (100) comprising:
data processing hardware;
memory hardware in communication with the data processing hardware, the memory hardware storing instructions which, when executed on the data processing hardware, cause the data processing hardware to perform operations; Executed, said operation comprising:
receiving a reachability query (20) requesting the reachability status (172) of a target (70, 250, 1110) over a network , said reachability query (20) comprising a data packet ( 24) associated with a packet header (22), said packet header (22) comprising:
a source Internet Protocol (IP) address (25a) associated with the source of said data packet (24);
a destination IP address (25b) associated with the destination of the data packet (24);
Said operation further comprises:
generating one or more simulated forwarding paths (80) for said data packets (24) based on said packet headers (22) using a data plane model (164); The forwarded path (80) comprises corresponding network configuration information (162) associated with said network , said operation further comprising:
In each simulated transfer path of said one or more simulated transfer paths (80):
determining from said corresponding network configuration information (162) at least one egress firewall rule of a first instance to be applied to said respective simulated forwarding path;
determining from said corresponding network configuration information (162) at least one ingress firewall rule for a second instance to be applied to each simulated forwarding path;
determining, from the corresponding network configuration information (162), path-specific checks based on each simulated forwarding path type based on the first instance and the second instance;
determining the reachability status (172) of the target (70, 250, 1110) based on the one or more simulated forwarding paths (80);
providing the determined reachability status (172) and the one or more simulated forwarding paths (80) to a source associated with the reachability query (20); Said one or more simulated forwarding paths (80), when received by said source , transmits to said source said corresponding network configuration information (162) for each simulated forwarding path (80) to present
The presented network configuration information is
said at least one egress firewall rule for said first instance;
and said at least one ingress firewall rule of said second instance .
前記1つまたは複数のシミュレーションされた転送経路(80)の前記到達可能性ステータス(172)を特定するステップは、ネットワーク抽象状態マシン(400)を使用するステップを備える、請求項15に記載のシステム(100)。 16. The system of claim 15 , wherein determining the reachability status (172) of the one or more simulated forwarding paths (80) comprises using a network abstract state machine (400). (100). 前記送信元は、ローカルに通知されたルートを使用してリモートネットワークから前記データパケット(24)を送信するように構成される、請求項15または請求項16に記載のシステム(100)。 17. A system (100) according to claim 15 or 16 , wherein said source is configured to transmit said data packet (24) from a remote network using a locally advertised route. 前記ネットワーク構成情報(162)は、
バーチャルプライベートクラウド(VPC)ネットワーク(148)内で前記データパケット(24)を導くためのポート/インターフェイス、
VPCネットワーク(148)間で前記データパケット(24)を導くためのポート/インターフェイス、または、
VPCネットワーク(148)と非VPCネットワーク(70)との間で前記データパケット(24)を導くためのポート/インターフェイス、のうちの少なくとも1つを備える、請求項15から請求項17のいずれか1項に記載のシステム(100)。
The network configuration information (162) includes:
a port/interface for directing said data packet (24) within a Virtual Private Cloud (VPC) network (148);
a port/interface for directing said data packets (24) between VPC networks (148) ; or
ports/ interfaces for directing said data packets ( 24 ) between a VPC network (148) and a non-VPC network ( 70 ). or the system (100) of claim 1.
前記動作はさらに、前記対応するネットワーク構成情報(162)に基づいて、前記1つまたは複数のシミュレーションされた転送経路(80)の各々に対してネットワーク到達可能性解析を実行するステップを備える、請求項15から請求項18のいずれか1項に記載のシステム(100)。 Said operation further comprises performing a network reachability analysis for each of said one or more simulated forwarding paths (80) based on said corresponding network configuration information (162). The system (100) of any one of claims 15-18 . 前記ネットワーク到達可能性解析は、
前記対応するシミュレーションされた転送経路(80)に沿って前記データパケット(24)の到達可能性の最終状態を特定すること、
前記対応するシミュレーションされた転送経路(80)に沿って1つまたは複数の不良構成を発見すること、または
前記対応するシミュレーションされた転送経路(80)に沿って不整合構成または廃止された構成を発見すること、のうちの少なくとも1つを実行するように構成される、請求項19に記載のシステム(100)。
The network reachability analysis includes:
identifying a final state of reachability of the data packet (24) along the corresponding simulated forwarding path (80);
finding one or more bad configurations along said corresponding simulated transfer path (80); or finding mismatched or obsolete configurations along said corresponding simulated transfer path (80). 20. The system (100) of claim 19 , configured to perform at least one of: discovering.
前記到達可能性の最終状態は、
前記データパケット(24)が前記送信先に送達されることを示す送達状態(174a)、
前記データパケット(24)が、不明の構成を有する別のネットワークに転送されることを示す転送状態(174b)、
構成チェックポイントの失敗または構成の欠落により前記データパケット(24)が削除されることを示す削除状態(174c)、または
重要な構成の欠落により前記ネットワーク到達可能性解析が不可能であることを示すアボート状態(174d)、のうちのいずれか1つを備える、請求項20に記載のシステム(100)。
The final state of reachability is
a delivery status (174a) indicating that the data packet (24) is delivered to the destination;
a forwarding state (174b) indicating that the data packet (24) is forwarded to another network with an unknown configuration;
A deleted state (174c) indicating that said data packet (24) is deleted due to configuration checkpoint failure or missing configuration, or indicating that said network reachability analysis is not possible due to missing critical configuration. The system (100) of claim 20 , comprising any one of: an abort state (174d).
前記パケットヘッダ(22)はさらに、
前記データパケット(24)に関連付けられたプロトコル(25c)と、
前記データパケット(24)に関連付けられた送信元ポート(25d)と、
前記データパケット(24)に関連付けられた送信先ポート(25e)とを備える、請求項15から請求項21のいずれか1項に記載のシステム(100)。
Said packet header (22) further comprises:
a protocol (25c) associated with said data packet (24);
a source port (25d) associated with said data packet (24);
A destination port (25e) associated with the data packet ( 24 ).
前記データパケット(24)の前記送信元は、第1のネットワークにおいて実行される前記第1のインスタンスを備え、前記データパケット(24)の前記送信先は、前記第1のネットワークとは異なる第2のネットワークにおいて実行される前記第2のインスタンスを備える、請求項15から請求項22のいずれか1項に記載のシステム(100)。 The source of the data packet (24) comprises the first instance running in a first network and the destination of the data packet (24) is a second network different from the first network. 23. The system (100) according to any one of claims 15 to 22 , comprising said second instance running in a network of . 前記第1のネットワークは、バーチャルプライベートクラウド(VPC)ネットワーク(148)を備え、前記第2のネットワークは、オンプレミスネットワーク(70)を備える、請求項23に記載のシステム(100)。 24. The system (100) of claim 23 , wherein the first network comprises a Virtual Private Cloud (VPC) network (148) and the second network comprises an on-premises network (70). 前記第1のネットワークおよび前記第2のネットワークは、それぞれのバーチャルプライベートクラウド(VPC)ネットワーク(148)を備える、請求項23に記載のシステム(100)。 24. The system (100) of claim 23 , wherein the first network and the second network comprise respective virtual private cloud (VPC) networks (148). 前記データパケット(24)の前記送信元は、前記第1のインスタンスを備え、前記データパケット(24)の前記送信先は、前記第2のインスタンスを備え、前記第1のインスタンスも前記第2のインスタンスも、同一のバーチャルプライベートクラウド(VPC)ネットワーク(148)において実行される、請求項15から請求項22のいずれか1項に記載のシステム(100)。 said source of said data packet (24) comprises said first instance and said destination of said data packet (24) comprises said second instance, said first instance also comprising said second instance 23. The system (100) of any one of claims 15 to 22 , wherein the instances also run in the same Virtual Private Cloud (VPC) network (148). 前記データパケット(24)の前記送信元は、外部ネットワークに位置し、前記データパケット(24)の前記送信先は、バーチャルプライベートクラウド(VPC)ネットワーク(148)において実行されるグローバルHTTPSロードバランサ(1110)を備え、前記グローバルHTTPSロードバランサ(1110)は、前記データパケット(24)を複数の異なるバックエンドバーチャルマシン(VM)(250)のうちの1つにルーティングするように構成される、請求項15から請求項26のいずれか1項に記載のシステム(100)。 The source of the data packet (24) is located in an external network and the destination of the data packet (24) is a global HTTPS load balancer (1110) running in a Virtual Private Cloud (VPC) network (148). ), wherein the global HTTPS load balancer (1110) is configured to route the data packets (24) to one of a plurality of different backend virtual machines (VMs) (250). 27. The system (100) of any of claims 15-26 . 前記データパケット(24)の1つまたは複数のシミュレーションされた転送経路(80)を生成するステップは、前記グローバルHTTPSロードバランサ(1110)から前記複数の異なるバックエンドVM(250)のうちの各々への対応するシミュレーションされた転送経路(80)を生成するステップを備える、請求項27に記載のシステム(100)。 generating one or more simulated forwarding paths (80) for said data packets (24) from said global HTTPS load balancer (1110) to each of said plurality of different backend VMs (250); 28. The system (100) of claim 27 , comprising generating a simulated transfer path (80) corresponding to . 請求項1から請求項14のいずれか1項に記載の方法をコンピューターに実行させるための、プログラム。 A program for causing a computer to execute the method according to any one of claims 1 to 14 .
JP2021559267A 2019-04-05 2020-04-03 Cloud network reachability analysis Active JP7323636B2 (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP2023122374A JP2023145612A (en) 2019-04-05 2023-07-27 Cloud network reachability analysis

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US201962830159P 2019-04-05 2019-04-05
US62/830,159 2019-04-05
PCT/US2020/026729 WO2020206361A1 (en) 2019-04-05 2020-04-03 Cloud network reachability analysis

Related Child Applications (1)

Application Number Title Priority Date Filing Date
JP2023122374A Division JP2023145612A (en) 2019-04-05 2023-07-27 Cloud network reachability analysis

Publications (2)

Publication Number Publication Date
JP2022526986A JP2022526986A (en) 2022-05-27
JP7323636B2 true JP7323636B2 (en) 2023-08-08

Family

ID=70465493

Family Applications (2)

Application Number Title Priority Date Filing Date
JP2021559267A Active JP7323636B2 (en) 2019-04-05 2020-04-03 Cloud network reachability analysis
JP2023122374A Pending JP2023145612A (en) 2019-04-05 2023-07-27 Cloud network reachability analysis

Family Applications After (1)

Application Number Title Priority Date Filing Date
JP2023122374A Pending JP2023145612A (en) 2019-04-05 2023-07-27 Cloud network reachability analysis

Country Status (5)

Country Link
US (3) US11477110B2 (en)
EP (1) EP3949295A1 (en)
JP (2) JP7323636B2 (en)
CN (2) CN113924761B (en)
WO (1) WO2020206361A1 (en)

Families Citing this family (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2020206361A1 (en) 2019-04-05 2020-10-08 Google Llc Cloud network reachability analysis
CN111817907B (en) * 2019-04-11 2022-12-30 华为技术有限公司 Reachability verification method and device
US11336528B2 (en) 2019-11-29 2022-05-17 Amazon Technologies, Inc. Configuration and management of scalable global private networks
US11729077B2 (en) * 2019-11-29 2023-08-15 Amazon Technologies, Inc. Configuration and management of scalable global private networks
US11533231B2 (en) * 2019-11-29 2022-12-20 Amazon Technologies, Inc. Configuration and management of scalable global private networks
US10999169B1 (en) * 2019-11-29 2021-05-04 Amazon Technologies, Inc. Configuration and management of scalable global private networks
CN113162779B (en) * 2020-01-07 2024-03-05 华为云计算技术有限公司 Multi-cloud interconnection method and equipment
US11283699B2 (en) 2020-01-17 2022-03-22 Vmware, Inc. Practical overlay network latency measurement in datacenter
US11570090B2 (en) 2020-07-29 2023-01-31 Vmware, Inc. Flow tracing operation in container cluster
US11843539B1 (en) * 2020-08-24 2023-12-12 Aviatrix Systems, Inc. Systems and methods for load balancing network traffic at firewalls deployed in a cloud computing environment
US11736436B2 (en) * 2020-12-31 2023-08-22 Vmware, Inc. Identifying routes with indirect addressing in a datacenter
US11336533B1 (en) 2021-01-08 2022-05-17 Vmware, Inc. Network visualization of correlations between logical elements and associated physical elements
CN112994987B (en) * 2021-05-07 2021-09-14 阿里云计算有限公司 Cloud network, measurement system, method, device and storage medium for cloud network
US11711278B2 (en) 2021-07-24 2023-07-25 Vmware, Inc. Visualization of flow trace operation across multiple sites
US12047290B2 (en) * 2021-07-30 2024-07-23 Oracle International Corporation Selective handling of traffic received from on-premises data centers
CN113938395B (en) * 2021-08-30 2024-01-19 阿里巴巴(中国)有限公司 Data analysis method, system, equipment and storage medium
US11706109B2 (en) 2021-09-17 2023-07-18 Vmware, Inc. Performance of traffic monitoring actions
WO2023060513A1 (en) * 2021-10-14 2023-04-20 浙江大学 Network reachability solving algorithm based on formal verification
CN116996387A (en) * 2022-04-26 2023-11-03 华为云计算技术有限公司 Network intention mining method and device and related equipment
CN115065613B (en) * 2022-06-08 2024-01-12 北京启明星辰信息安全技术有限公司 Network connectivity analysis system and analysis method based on firewall configuration
WO2024207168A1 (en) * 2023-04-04 2024-10-10 Huawei Cloud Computing Technologies Co., Ltd. Method and system for managing a virtual private cloud, vpc, network configuration
WO2024207308A1 (en) * 2023-04-06 2024-10-10 Huawei Cloud Computing Technologies Co., Ltd. Method and system for managing a virtual private cloud, vpc, network configuration

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2010109673A1 (en) 2009-03-24 2010-09-30 株式会社日立製作所 Management system and information processing system
JP2017524320A (en) 2014-07-30 2017-08-24 フォワード・ネットワークス・インコーポレテッド System and method for network management
US20180115469A1 (en) 2016-10-21 2018-04-26 Forward Networks, Inc. Systems and methods for an interactive network analysis platform
US20190075056A1 (en) 2017-09-06 2019-03-07 Nicira, Inc. Internet protocol flow data including firewall rules
US20200007569A1 (en) 2018-06-27 2020-01-02 Amazon Technologies, Inc. Automated packetless network reachability analysis

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8634289B2 (en) * 2009-12-31 2014-01-21 Alcatel Lucent Efficient protection scheme for MPLS multicast
US9729414B1 (en) * 2012-05-21 2017-08-08 Thousandeyes, Inc. Monitoring service availability using distributed BGP routing feeds
US9112794B2 (en) * 2013-11-05 2015-08-18 International Business Machines Corporation Dynamic multipath forwarding in software defined data center networks
US10116493B2 (en) * 2014-11-21 2018-10-30 Cisco Technology, Inc. Recovering from virtual port channel peer failure
US10097995B2 (en) * 2015-07-12 2018-10-09 Qualcomm Incorporated Network architecture and security with encrypted network reachability contexts
US10348556B2 (en) * 2016-06-02 2019-07-09 Alibaba Group Holding Limited Method and network infrastructure for a direct public traffic connection within a datacenter
CN109547349B (en) * 2018-12-06 2021-07-06 郑州云海信息技术有限公司 Virtual routing-based traffic management method, device, terminal and storage medium
WO2020206361A1 (en) 2019-04-05 2020-10-08 Google Llc Cloud network reachability analysis

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2010109673A1 (en) 2009-03-24 2010-09-30 株式会社日立製作所 Management system and information processing system
JP2017524320A (en) 2014-07-30 2017-08-24 フォワード・ネットワークス・インコーポレテッド System and method for network management
US20180115469A1 (en) 2016-10-21 2018-04-26 Forward Networks, Inc. Systems and methods for an interactive network analysis platform
US20190075056A1 (en) 2017-09-06 2019-03-07 Nicira, Inc. Internet protocol flow data including firewall rules
US20200007569A1 (en) 2018-06-27 2020-01-02 Amazon Technologies, Inc. Automated packetless network reachability analysis

Also Published As

Publication number Publication date
JP2023145612A (en) 2023-10-11
WO2020206361A1 (en) 2020-10-08
US20240259292A1 (en) 2024-08-01
CN113924761A (en) 2022-01-11
US20230006915A1 (en) 2023-01-05
KR20210128003A (en) 2021-10-25
CN113924761B (en) 2023-05-05
EP3949295A1 (en) 2022-02-09
US20200322249A1 (en) 2020-10-08
US11477110B2 (en) 2022-10-18
US11968110B2 (en) 2024-04-23
CN116346635A (en) 2023-06-27
JP2022526986A (en) 2022-05-27

Similar Documents

Publication Publication Date Title
JP7323636B2 (en) Cloud network reachability analysis
US11695731B2 (en) Distributed identity-based firewalls
US11115466B2 (en) Distributed network services
US20220368602A1 (en) Change Impact Simulation Analysis
US20240291720A1 (en) Network Reachability Impact Analysis
US11546224B2 (en) Virtual network layer for distributed systems
CN105988922A (en) Testing method and device of application program as well as server
US11075823B1 (en) Techniques for network packet event related script execution
KR102717590B1 (en) Cloud Network Reachability Analysis
KR20240150537A (en) Cloud network reachability analysis
Xu et al. SDN state inconsistency verification in openstack
CN115834410B (en) Method and device for replacing Linux virtual machine of network target range with container
Van Vorst et al. PrimoGENI for hybrid network simulation and emulation experiments in GENI
Hartpence Curricular and performance measurement challenges in cloud environments

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20211206

A621 Written request for application examination

Free format text: JAPANESE INTERMEDIATE CODE: A621

Effective date: 20211206

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20221214

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20230124

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20230228

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20230627

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20230727

R150 Certificate of patent or registration of utility model

Ref document number: 7323636

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150