公开(公告)号：US11706122B2

公开(公告)日：2023-07-18

申请号：US17195724

申请日：2021-03-09

Applicant: VMWARE, INC.

Inventor： Ravi Singhal ,  Manish Malik ,  Ganesh Jayvant Wagle ,  Yusuf Batterywala

IPC: H04L1/00 ,  H04L45/021

CPC classification number: H04L45/021

Abstract: Described herein are systems, methods, and software to manage the compression of route tables for communication between networking elements. In one implementation, a network device identifies network keys for a route table by replacing attributes in the tables with values. The network device further generates a compressed route table using the route keys and associating each of the route keys with one or more additional attributes. The network device also generates a dictionary to associate each of the values for the route keys to a corresponding attribute of the attributes.

公开(公告)号：US11424990B2

公开(公告)日：2022-08-23

申请号：US16939141

申请日：2020-07-27

Applicant: VMWARE, INC.

Inventor： Ravi Singhal ,  Prahalad Deshpande ,  Avinash Nigam ,  Abhijit Sharma ,  Somil Bhandari ,  Amarjit Gupta ,  Ambarish Pande

IPC: H04L12/24 ,  H04L29/08 ,  G06F3/00 ,  H04L41/12 ,  H04L61/5038

Abstract: A system and method for topology construction in hybrid cloud environments includes receiving connection information from a local perimeter edge router of a local network that has a known topology and receiving connection information from a remote perimeter edge router of a remote network that is provided by a cloud provider. The received local perimeter edge router connection information is associated with the received remote perimeter edge router connection information. The associated connection information is normalized to a generic model, the generic model representing connections having different link layer policies in a generic way and the normalized connection information is applied to a network topology of the local network and the remote network.

公开(公告)号：US11411833B1

公开(公告)日：2022-08-09

申请号：US17239366

申请日：2021-04-23

Applicant: VMware, Inc.

Inventor： Giri Prashanth Subramanian ,  Santhosh Prabhu Muraleedhara Prabhu ,  Ravi Singhal ,  Atul Jadhav ,  Rohit Reja

IPC: H04L41/14 ,  H04L45/00 ,  H04L41/12

Abstract: Methods, apparatus, systems, and articles of manufacture are disclosed herein to formally verify a network with both physical and virtual components. The modeling and formal verification is performed by an apparatus comprising: a topology generator to generate a network model including a plurality of devices connected in a network; a flow modeler to add a rule to the network model, the rule to define a flow of network packets through the network model; a reduction mapper to identify the rules common to ones of the devices; and a mapping verifier to verify the network meets a user specification.

公开(公告)号：US11467862B2

公开(公告)日：2022-10-11

申请号：US16524201

申请日：2019-07-29

Applicant: VMWARE, INC.

Inventor： Gaurav Sharma ,  Jagdish Shinde ,  Ravi Singhal

IPC: G06F9/455 ,  G06F9/54 ,  G06F16/18 ,  G06F16/903

Abstract: Techniques for generating change notifications associated with applications based on application logs are disclosed. In one embodiment, a system may include a log analyzer to receive application logs generated by the applications running in a computing environment and analyze the received application logs to parse information about the applications. Further, the system may include a change detection unit communicatively coupled to the log analyzer to generate a change notification indicating that a change has been occurred to an application running on a compute node in the computing environment using the parsed information and send the change notification indicating the changed application to a subscriber.