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. L'invention concerne des technologies pour une convergence éventuelle non monotone pour une configuration d'état souhaité (« DSC »). Dans certaines situations, une DSC ne peut pas se déplacer vers un état souhaité sans se déplacer premièrement plus loin à partir de cet état. Par exemple, un fichier qui a besoin d'être remplacé par une version plus récente mais qui est actuellement en cours d'exécution (état souhaité de « fonctionnement ») ne peut pas être remplacé sans avoir été d'abord arrêté. Mais l'arrêt se déplace dans la mauvaise direction par rapport à l'état souhaité, ce qui doit avoir comme conséquence que le service fonctionne. Ce déplacement à distance de façon à pouvoir se déplacer vers l'avant est un problème pour des systèmes de DSC classiques qui conduit à des défaillances. La solution à ce problème est une convergence éventuelle non monotone (« NMEC ») qui permet à un système de DSC de configurer un système cible pour un état souhaité par déplacement davantage à distance d'un état souhaité si cela est nécessaire pour atteindre éventuellement l'état souhaité.