Revalider l'état après une décision de Jev et avant un effet de bord

Objectif

Empêcher qu'une décision portant sur un état applicatif antérieur soit appliquée aveuglément après que l'enregistrement concerné, les permissions ou la politique ont changé.

Prérequis

Définir les préconditions de l'action, la source de l'autorité actuelle, et une révision ou une empreinte pour les faits fournis au modèle. Conserver les contrôles d'accès dans l'application qui exécute réellement l'opération.

Étapes

1. Construire un paquet d'état borné contenant la révision de l'enregistrement concerné et la version de la politique. Consigner quels faits influencent la décision ; une empreinte portant sur des champs non pertinents crée des invalidations évitables.

2. Évaluer la question restreinte et valider la décision retournée. Faire porter la révision évaluée avec elle, plutôt que de ne conserver qu'une étiquette d'action qui perd son contexte temporel.

3. Exiger que le service faisant autorité vérifie la révision et les permissions concernées de façon atomique avec la mutation, en utilisant son mécanisme d'écriture conditionnelle ou de transaction pris en charge. Rejeter l'opération lorsqu'une précondition requise échoue ; une lecture antérieure seule laisse place à une situation de concurrence.

4. Lorsque l'état diffère, reconstruire le paquet et réexaminer la décision dans le cadre d'une politique de nouvelle tentative bornée. Ne pas réinterpréter une réponse périmée comme une approbation pour un objet nouvellement modifié ou un périmètre élargi.

5. Tester un retrait de permission, une mise à jour de politique, un remplacement d'enregistrement, et une modification concurrente entre l'évaluation et l'exécution. Vérifier que le consommateur s'arrête ou réévalue plutôt que d'appliquer l'ancienne décision.

Résultat attendu

L'opération a un lien clair avec les faits qui l'ont justifiée et un contrôle au niveau applicatif que ces faits tiennent toujours. Les décisions périmées deviennent des résultats explicites qui peuvent être examinés et retentés délibérément.

Limites et base de vérification

Il s'agit d'un protocole applicatif non testé. TypeSafe définit l'état comme la matière évaluée par une requête ; il ne verrouille pas les enregistrements de l'appelant. Une relecture séparée n'est qu'indicative : un autre changement peut survenir avant l'écriture. Préserver l'invariant exige une application atomique au niveau du service faisant autorité. L'interface ou le modèle sous-jacent est décrit dans État; le flux de travail ci-dessus en est une adaptation proposée.