Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Reachable matrix of network verification system

A verification system and network technology, applied in the field of network verification systems, can solve problems such as spending a lot of time and space

Active Publication Date: 2022-03-04
HUAWEI TECH CO LTD
View PDF8 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Those network verification or analysis methods that provide overall network analysis capabilities are implemented by traversing all possible node pairs or paths and verifying them one by one, which takes a lot of time and space

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Reachable matrix of network verification system
  • Reachable matrix of network verification system
  • Reachable matrix of network verification system

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0054] This application relates to a network verification system for real-time verification of the network, and more specifically to a system and method for verifying end-to-end reachability between nodes, to provide fast verification for different types of networks, and to calculate the ability to achieve matrix-based Node reachability in dynamically programmed networks.

[0055] In the following description, reference is made to the Figure 1 to Figure 10 , the drawings show, by way of illustration, specific embodiments that may be practiced. These embodiments are described in sufficient detail to enable those skilled in the art to practice the invention, it being understood that other embodiments may be utilized and structural, logical, and electrical changes may be made without departing from the scope of the invention. Accordingly, the following description of example embodiments is not in a limiting sense, and the scope of the invention is defined by the appended claims...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The network verification system processes the network forwarding state into an atomic predicate and compresses a network routing table into an atomic predicate index set. Transitive closures among all node pairs in the network are calculated according to the atomic predicates and the atomic predicate index set, a node reachability matrix Mn of the network is recursively generated for the corresponding nodes, and a reachability report of the network is generated according to the node reachability matrix. The reachable report may be used to dynamically program the network. The calculated node reachability matrix Mn: identifies a loop in the network when any element on a diagonal of the node reachability matrix Mn is not a null set, and identifies a black hole in the network when all elements in a row of the node reachability matrix Mn include null sets. The node reachability matrix Mn may be updated by recalculating only the elements affected by the update.

Description

technical field [0001] The application relates to a network verification system for verifying a network in real time, and more specifically to a system and method for verifying end-to-end reachability between nodes. Background technique [0002] Switches and routers typically operate by using destination addresses to index into forwarding tables and decide where to send received packets. This retweeting has become more sophisticated in recent years. New domain-specific protocols such as data center, wide area network (WAN) and wireless greatly increase the complexity of packet forwarding. This complexity makes it increasingly difficult to operate large networks. Complexity also makes networks fragile, susceptible to problems where hosts are isolated and unable to communicate. Additionally, debugging reachability issues is time consuming. Even simple questions like "Can host A talk to host B?" or "Can packets loop through my network?" or "Can user A listen to the communic...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): H04L45/02H04L45/021H04L45/00
CPCH04L45/02H04L45/021H04L45/14H04L45/745H04L49/101
Inventor 孙岩许伟
Owner HUAWEI TECH CO LTD
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com