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.