The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Sep. 15, 2020
Filed:
Jul. 19, 2018
Futurewei Technologies, Inc., Plano, TX (US);
Futurewei Technologies, Inc., Plano, TX (US);
Abstract
A network state is verified in real-time by precomputing a data structure representing header spaces of data packets in respective equivalence classes (ECs) in a first snapshot of the network and in a second snapshot of the network at a later time. The data structure includes respective bitmaps indicating for each data packet forwarding rule for each node in the network a forwarding action to be taken for each EC in the network. The respective bitmaps store bits indicating for each data packet forwarding rule whether the data packet forwarding rule applies to the respective ECs in the network. The snapshots are compared to identify network paths that have changed between a time of the first snapshot and the second snapshot of the network and network verification operations are performed on the changed network paths as a logical function of a bitmap corresponding to each changed network path.