Vmware, Inc.

Ravi Singhal

Avinash Nigam

Amol Manohar Vaikar

Abhijit Sharma

Gaurav Sharma

Prahalad Gowardhan Deshpande

Ambarish Prashant Pande

Yusuf Batterywala

Giri Prashanth Subramanian

Atul Jadhav

Amarjit Gupta

Santhosh Prabhu Muraleedhara Prabhu

Somil Bhandari

Vishal Ranjan

Manish Malik

Ganesh Jayvant Wagle

Rohit Reja

Jagdish Shinde

Example methods and systems for packet flow monitoring are described. In one example, a first computer system may detect a flow of packets along a datapath between a source and a destination and determine source attribute information associated with the source and destination attribute information associated with the destination. The first computer system may perform attribute-to-identifier mapping by (a) mapping the source attribute information to a source identifier having a reduced size compared to the source attribute information, and/or (b) mapping the destination attribute information to a destination identifier having a reduced size compared to the destination attribute information. The first computer system may generate flow information that includes (a) the source identifier identifying the source and/or (b) the destination identifier identifying the destination; and interact with a second computer system, or storage accessible by the second computer system, to enable the second computer system to obtain the flow information.

Packet flow monitoring with attribute-to-identifier mapping

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.

Compression of route tables using key values

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.

Application change notifications based on application logs

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.

System and method for topology construction in hybrid cloud environments

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.

Methods and apparatus to model and verify a hybrid network

Growing community of inventors

Pune, India

Ravi Singhal