Inventors
Ronghua Zhang, Amre Shakimov, Teemu Koponen
Publication date
2017/9/5
Patent office
US
Patent number
9755963
Application number
14325228
Description
Some embodiments provide a method for using headerspace analysis. The method receives several flow entries for dis tribution to a forwarding element in a network. Each flow entry includes a set of conditions to be matched by a packet header and a set of actions to perform on a packet that matches the set of conditions. The method models each of the flow entries as a function that operates on a representa tion of a packet header. The method determines a set of packet headers of packets to be received by the forwarding element. The method determines a set of the flow entries that are not matched by a packet header of any packet to be received by the forwarding element by applying the func tions to representations of the identified set of packet head ers.
Scholar articles
R Zhang, A Shakimov, T Koponen - US Patent 9,755,963, 2017