NON-MONOTONIC EVENTUAL CONVERGENCE FOR DESIRED STATE CONFIGURATION

Technologies are provided for non-monotonic eventual convergence for desired state configuration ("DSC"). In some situations DSC cannot move toward a desired state without first moving further from that state. For example, a file that needs to be replaced with a newer version but that is currently executing (desired state of "operating") cannot be replaced without first being stopped. But stopping moves in the wrong direction relative to the desired state, which is to have the service operating. This moving away so as to be able to move forward is a problem for conventional DSC systems that results in failures. The solution to this problem is non-monotonic eventual convergence ("NMEC") which enables a DSC system to configure a target system for a desired state by moving further away from a desired state if that is needed to eventually reach the desired state.