Preventing deadlock in a policy-based computer system

• US 20060095552A1
• Filed: 10/29/2004
• Published: 05/04/2006
• Est. Priority Date: 10/29/2004
• Status: Active Grant

• Current Assignee: Cisco Technology, Inc. (Cisco Systems, Inc.)
• Original Assignee: Cisco Technology, Inc. (Cisco Systems, Inc.)
• Inventors: Popescu, Manuela I., Dini, Petre, Dini, Cosmin Nicu, Milosavljevic, Dragan
• Granted Patent: US 7,472,180 B2
• Time in Patent Office: Days
• US Class Current: 709/223
• CPC Class Codes: H04L 41/08 Configuration management of networks or network elements address allocation H04L61/50
• CPC Class Codes: H04L 41/0893 Assignment of logical groups to network elements
• CPC Class Codes: H04L 41/0894 Policy-based network configuration management

Abstract

Methods and mechanisms for preventing deadlock in a policy-based computer system are disclosed. In one embodiment, the method includes various machine-implemented steps, such as a step of receiving policy information based upon decisions about system configurations. At least one policy includes at least one action that has a post condition. Satisfaction of the post condition triggers at least one subsequent action or decision. The policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition. The at least one action is executed. Then, if the action fails to satisfy the post condition, a determination is made whether the at least one subsequent action or decision can proceed based upon the indication.

Claims

1. A method of preventing deadlock in policy-design constraints, the method comprising the machine-implemented steps of:

receiving policy information based upon decisions about system configurations, wherein at least one policy includes at least one action having a post condition, the satisfaction of the post condition triggering at least one subsequent action or decision; and

wherein the policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition;

executing the at least one action; and

determining whether the at least one subsequent action or decision can proceed based upon the indication if the action fails to satisfy the post condition.

2. A method as recited in claim 1, further comprising:

receiving objectives for the system configurations; and

converting the objectives into the policy information.

3. A method as recited in claim 2, wherein the step of converting the objectives into the policy information further comprises determining from the objectives, a mode for the at least one action, wherein the mode indicates whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition.

4. A method as recited in claim 1, wherein the step of determining whether the at least one subsequent action or decision can proceed based upon the indication further comprises performing the at least one subsequent action or decision, thereby preventing a deadlock.

5. A method as recited in claim 1, wherein the step of determining whether the at least one subsequent action or decision can proceed based upon the indication further comprises:

evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions;

determining from evaluating the at least one of a plurality of results whether execution of the at least one of a plurality of actions satisfied the post condition; and

selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication.

6. A method as recited in claim 5, wherein the step of selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication further comprises performing the selected at least one subsequent action or decision.

7. A method as recited in claim 5, wherein the step of selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication further comprises selecting at least one action construct from:

a redo, a redo_until, a go_to, an only_if_next, an alternate_action, an only_if_preceding, a jump_end, a jump_head and a nill.

8. A method as recited in claim 5, further comprising:

receiving information about results of performing the selected at least one subsequent action or decision; and

adjusting the objectives from which the policy information was determined.

9. A method as recited in claim 5, further comprising sending the policy information to a rule based execution device that performs the evaluating, determining and selecting steps.

10. A method as recited in claim 5, wherein the step of evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions further comprises evaluating a plurality of results from execution of the plurality of actions on a plurality of nodes.

11. A method of preventing deadlock in policy-design constraints, the method comprising the machine-implemented steps of:

receiving objectives for the system configurations; and

converting the objectives into policy information, wherein the policy information is based upon decisions about system configurations, wherein at least one policy includes at least one action having a post condition, the satisfaction of the post condition triggering at least one subsequent action or decision; and

wherein the policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition;

executing the at least one action;

evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions;

determining from evaluating the at least one of a plurality of results whether execution of the at least one of a plurality of actions satisfied the post condition;

selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication;

performing the selected at least one subsequent action or decision;

receiving information about results of performing the selected at least one subsequent action or decision; and

adjusting the objectives from which the policy information was determined.

12. A machine-readable medium carrying one or more sequences of instructions for preventing deadlock in policy-design constraints, which instructions, when executed by one or more processors, cause the one or more processors to carry out the steps of:

receiving policy information based upon decisions about system configurations, wherein at least one policy includes at least one action having a post condition, the satisfaction of the post condition triggering at least one subsequent action or decision; and

wherein the policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition;

executing the at least one action; and

determining whether the at least one subsequent action or decision can proceed based upon the indication if the action fails to satisfy the post condition.

13. A machine-readable medium as recited in claim 12, further comprising instructions which, when executed by the one or more processors, cause the one or more processors to carry out the steps of:

receiving objectives for the system configurations; and

converting the objectives into the policy information.

14. A machine-readable medium as recited in claim 13, wherein the instructions for carrying out the step of converting the objectives into the policy information further comprise instructions for determining from the objectives, a mode for the at least one action, wherein the mode indicates whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition.

15. A machine-readable medium as recited in claim 12, wherein the instructions for carrying out the step of determining whether the at least one subsequent action or decision can proceed based upon the indication further comprise instructions for carrying out the steps of:

performing the at least one subsequent action or decision, thereby preventing a deadlock.

16. A machine-readable medium as recited in claim 12, wherein the instructions for carrying out the step of determining whether the at least one subsequent action or decision can proceed based upon the indication further comprise instructions for carrying out the steps of:

evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions;

determining from evaluating the at least one of a plurality of results whether execution of the at least one of a plurality of actions satisfied the post condition; and

selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication.

17. A machine-readable medium as recited in claim 16, wherein the instructions for carrying out the step of selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication further comprise instructions for performing the selected at least one subsequent action or decision.

18. A machine-readable medium as recited in claim 16, wherein the instructions for carrying out the step of selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication further comprise instructions for selecting at least one action construct from :

a redo, a redo_until, a go_to, an only_if_next, an alternate_action, an only_if_preceding, a jump_end, a jump_head and a nill.

19. A machine-readable medium as recited in claim 16, further comprising instructions which, when executed by the one or more processors, cause the one or more processors to carry out the steps of:

receiving information about results of performing the selected at least one subsequent action or decision; and

adjusting the objectives from which the policy information was determined.

20. A machine-readable medium as recited in claim 16, further comprising instructions which, when executed by the one or more processors, cause the one or more processors to carry out sending the policy information to a rule based execution device that performs the evaluating, determining and selecting steps.

21. A machine-readable medium as recited in claim 16, wherein the instructions for carrying out the step of evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions further comprise instructions for carrying out the steps of:

evaluating a plurality of results from execution of the plurality of actions on a plurality of nodes.

22. An apparatus for preventing deadlock in policy-design constraints, comprising:

means for receiving objectives for the system configurations; and

means for converting the objectives into policy information, wherein the policy information is based upon decisions about system configurations, wherein at least one policy includes at least one action having a post condition, the satisfaction of the post condition triggering at least one subsequent action or decision; and

wherein the policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition;

means for executing the at least one action;

means for evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions;

means for determining from evaluating the at least one of a plurality of results whether execution of the at least one of a plurality of actions satisfied the post condition;

means for selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication;

means for performing the selected at least one subsequent action or decision;

means for receiving information about results of performing the selected at least one subsequent action or decision; and

means for adjusting the objectives from which the policy information was determined.

23. An apparatus for preventing deadlock in policy-design constraints, comprising:

a network interface that is coupled to the data network for receiving one or more packet flows therefrom;

a processor;

one or more stored sequences of instructions which, when executed by the processor, cause the processor to carry out the steps of;

receiving policy information based upon decisions about system configurations, wherein at least one policy includes at least one action having a post condition, the satisfaction of the post condition triggering at least one subsequent action or decision; and

wherein the policy includes an indication whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition;

executing the at least one action; and

determining whether the at least one subsequent action or decision can proceed based upon the indication if the action fails to satisfy the post condition.

24. An apparatus as recited in claim 23, further comprising instructions which, when executed by the one or more processors, cause the one or more processors to carry out the steps of:

receiving objectives for the system configurations; and

converting the objectives into the policy information.

25. An apparatus as recited in claim 24, wherein the instructions for carrying out the step of converting the objectives into the policy information further comprise instructions for carrying out determining from the objectives, a mode for the at least one action, wherein the mode indicates whether the at least one subsequent action or decision should proceed if the action fails to satisfy the post condition.

26. An apparatus as recited in claim 23, wherein the instructions for carrying out the step of determining whether the at least one subsequent action or decision can proceed based upon the indication further comprise instructions for performing the at least one subsequent action or decision, thereby preventing a deadlock.

27. An apparatus as recited in claim 23, wherein the instructions for carrying out the step of determining whether the at least one subsequent action or decision can proceed based upon the indication further comprise instructions for carrying out the steps of:

evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions;

determining from evaluating the at least one of a plurality of results whether execution of the at least one of a plurality of actions satisfied the post condition; and

selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication.

28. An apparatus as recited in claim 27, wherein the instructions for carrying out the step of selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication further comprise instructions for performing the selected at least one subsequent action or decision.

29. An apparatus as recited in claim 27, wherein the instructions for carrying out the step of selecting at least one subsequent action or decision that can proceed based upon which of the at least one of a plurality of actions satisfied the post condition and the indication further comprise instructions for selecting at least one action construct from :

a redo, a redo_until, a go_to, an only_if_next, an alternate_action, an only_if_preceding, a jump_end, a jump_head and a nill.

30. An apparatus as recited in claim 27, further comprising instructions which, when executed by the one or more processors, cause the one or more processors to carry out the steps of:

receiving information about results of performing the selected at least one subsequent action or decision; and

adjusting the objectives from which the policy information was determined.

31. An apparatus as recited in claim 27, further comprising instructions which, when executed by the one or more processors, cause the one or more processors to carry out the step of sending the policy information to a rule based execution device that performs the evaluating, determining and selecting steps.

32. An apparatus as recited in claim 27, wherein the instructions for carrying out the step of evaluating at least one of a plurality of results from execution of the at least one of a plurality of actions further comprise instructions for carrying out the steps of:

evaluating a plurality of results from execution of the plurality of actions on a plurality of nodes.