Method for multi-policy conflict avoidance in autonomous network

A method for multi-policy conflict avoidance in an autonomous network, comprising:

• step 1:
• collecting network state information, wherein the network state information includes a network topology, configuration information and network data in a network traffic;
• step 2:
• acquiring a set of multiple policies to be verified;
• step 3:
• generating all multi-policy execution sequences based on the set of multiple policies, and then constructing a policy ordering space tree containing all multi-policy execution sequences by using a tree data structure, wherein a node of the tree represents a network state, an edge represents a network command, and a path from a root to a leaf represents a sequential execution process of a network starting from an initial state according to network commands on edges, and wherein each of the multi-policy execution sequences is transformed into a path from the root to a leaf node of the tree;
• step 4:
• performing a depth-first traversal on the policy ordering space tree;
• extracting a multi-policy execution sequence to be verified from the policy ordering space tree;
• then taking the network state information of step 1 as the initial state of the network, and formally simulating a forwarding table of each network element in the network by using software, so as to construct an initial simulation data plane;
• then injecting each policy in the multi-policy execution sequence to be verified into the simulation data plane one by one in sequence;
• simulating and calculating a simulation data plane generated after each policy is executed;
• and storing all generated simulation data planes;
• and
• step 5:
• detecting whether there is a conflict in the simulation data plane generated after each policy in the multi-policy execution sequence to be verified is executed;
• forming a conflict policy sequence according thereto;
• then inferring dependencies among multiple policies in the conflict policy sequence;
• pruning the policy ordering space tree;
• finally selecting a multi-policy execution sequence avoiding conflicts;
• and updating the multiple policies to an actual network data plane in sequence.