发明名称 |
USING HEADERSPACE ANALYSIS TO IDENTIFY FLOW ENTRY REACHABILITY |
摘要 |
Some embodiments provide a method for using headerspace analysis. The method receives several flow entries for distribution 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 representation 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 functions to representations of the identified set of packet headers. |
申请公布号 |
WO2015006354(A1) |
申请公布日期 |
2015.01.15 |
申请号 |
WO2014US45800 |
申请日期 |
2014.07.08 |
申请人 |
NICIRA, INC. |
发明人 |
ZHANG, RONGHUA;SHAKIMOV, AMRE;KOPONEN, TEEMU |
分类号 |
H04L12/851;H04L12/713 |
主分类号 |
H04L12/851 |
代理机构 |
|
代理人 |
|
主权项 |
|
地址 |
|