公开(公告)号：US20180367417A1

公开(公告)日：2018-12-20

申请号：US15693280

申请日：2017-08-31

Applicant: Cisco Technology, Inc.

Inventor： Advait Dixit ,  Ramana Rao Kompella ,  Kartik Mohanram ,  Sundar Iyer ,  Shadab Nazar ,  Chandra Nagarajan

IPC: H04L12/24

Abstract: Systems, methods, and computer-readable media for receiving one or more models of network intents, comprising a plurality of contracts between providers and consumers, each contract containing entries with priority values. Each contract is flattened into a listing of rules and a new priority value is calculated. The listing of rules encodes the implementation of the contract between the providers and the consumers. Each entry is iterated over and added to a listing of entries if it is not already present. For each rule, the one or more entries associated with the contract from which the rule was flattened are identified, and for each given entry a flat rule comprising the combination of the rule and the entry is generated, wherein a flattened priority is calculated based at least in part on the priority value of the given one of given entry and the priority value of the rule.

公开(公告)号：US20180365095A1

公开(公告)日：2018-12-20

申请号：US15663455

申请日：2017-07-28

Applicant: Cisco Technology, Inc.

Inventor： John Thomas Monk ,  Kartik Mohanram ,  Ramana Rao Kompella ,  Sundar Iyer

IPC: G06F11/07

Abstract: Systems, methods, and computer-readable media for fault code aggregation across application-centric dimensions. In an example embodiment, a system obtains respective fault codes corresponding to one or more network devices in a network and maps the one or more network devices and/or the respective fault codes to respective logical policy entities defined in a logical policy model of the network, to yield fault code mappings. The system aggregates the one or more of the fault code mappings along respective logical policy dimensions in the network to yield an aggregation of fault codes across respective logical policy dimensions and, based on the aggregation, presents, for each of the respective logical policy dimensions, one or more hardware-level errors along the respective logical policy dimension.

公开(公告)号：US20180351822A1

公开(公告)日：2018-12-06

申请号：US15693263

申请日：2017-08-31

Applicant: Cisco Technology, Inc.

Inventor： Kartik Mohanram ,  Ramana Rao Kompella

IPC: H04L12/24

Abstract: Systems, methods, and computer-readable media for identifying intra-priority class shadowed rules. A network intent model that is based at least in part on a priority-ordered listing of rules representing network intents is received, wherein each rule comprises a Boolean function of one or more packet characteristics and a corresponding network action. Each rule is sorted into a priority class, and for each priority class, it is determined whether each of its constituent rules are intra-priority class shadowed, wherein an intra-priority class shadowed rule can be constructed from the set comprising the remaining rules of the given priority class, and a non intra-priority class shadowed rule cannot be constructed from the set comprising the remaining rules of the given priority class. An indication of the determined intra-priority class shadowed rules is transmitted, such that the number of possible intra-priority class orderings can be reduced to account only for the relative ordering of the intra-priority class shadowed rules.

公开(公告)号：US20180351818A1

公开(公告)日：2018-12-06

申请号：US15693174

申请日：2017-08-31

Applicant: Cisco Technology, Inc.

Inventor： Kartik Mohanram

IPC: H04L12/24

CPC classification number: H04L41/142 ,  H04L41/0631 ,  H04L41/0873 ,  H04L41/0893 ,  H04L41/145 ,  H04L41/16 ,  H04L43/10

Abstract: Systems, methods, and computer-readable media for generating counterexamples for equivalence failures between models of network intents. A listing of conflict rules corresponding to an equivalence failure between at least first and seconds model of networks intents describing the operation and communication of network devices in a network is obtained. A logical exclusive disjunction between first conflict rules from the first model and corresponding second conflict rules from the second model is calculated. One or more counterexamples corresponding to the equivalence failure are generated based at least in part on the logical exclusive disjunction, such that a given counterexample comprises network and packet conditions that cause the first conflict rules to trigger a first action and cause the second conflict rules to trigger a second action that is different from the first action. Hot fields that are more likely to be associated with the equivalence failure are identified in the counterexample.

公开(公告)号：US20180351804A1

公开(公告)日：2018-12-06

申请号：US15693220

申请日：2017-08-31

Applicant: Cisco Technology, Inc.

Inventor： Kartik Mohanram

IPC: H04L12/24

CPC classification number: H04L41/0866 ,  H04L41/142 ,  H04L41/145 ,  H04L67/00

Abstract: Systems, methods, and computer-readable media for identifying conflict rules between models of network intents. A first and second model of network intents are obtained, the models describing the operation and communication between one or more network devices in a network. A logical exclusive disjunction between the first and second models is calculated over the space of possible packet conditions and network actions defined by models, without enumerating all possible packet conditions and network actions. It is detected whether the models are in conflict with respect to at least a first network device. If the models are in conflict, it is determined whether a given rule of a plurality of rules associated with the first model is a conflict rule. The determining comprises calculating the intersection between the given rule and the logical exclusive disjunction, wherein the given rule is a conflict rule if the calculated intersection is non-zero.