Zustand nach einer Jev-Entscheidung und vor einer Nebenwirkung erneut validieren

Ziel

Verhindern, dass eine Entscheidung über einen früheren Anwendungszustand blind angewendet wird, nachdem sich der betroffene Datensatz, die Berechtigungen oder die Strategie geändert haben.

Voraussetzungen

Die Vorbedingungen der Aktion, die Quelle der aktuellen Berechtigung und eine Revision oder einen Fingerabdruck für die dem Modell übergebenen Fakten festlegen. Zugriffskontrollprüfungen in der Anwendung belassen, die den Vorgang tatsächlich ausführt.

Schritte

1. Ein begrenztes Zustandspaket mit der betroffenen Datensatzrevision und der Strategieversion aufbauen. Festhalten, welche Fakten die Entscheidung beeinflussen; ein Fingerabdruck sachfremder Felder erzeugt vermeidbare Ungültigmachungen.

2. Die enge Frage auswerten und die zurückgegebene Entscheidung validieren. Die ausgewertete Revision daneben mitführen, statt nur ein Aktionslabel zu behalten, das seinen zeitlichen Bezug verliert.

3. Verlangen, dass der massgebliche Dienst die betroffene Revision und die Berechtigungen atomar mit der Mutation prüft, über seinen unterstützten Mechanismus für bedingtes Schreiben oder Transaktionen. Die Operation ablehnen, wenn eine erforderliche Vorbedingung fehlschlägt; ein früherer Lesezugriff allein lässt eine Race Condition offen.

4. Weicht der Zustand ab, das Paket neu aufbauen und die Entscheidung innerhalb einer begrenzten Wiederholungsstrategie neu bewerten. Eine veraltete Antwort nicht als Zustimmung für ein neu geändertes Objekt oder einen erweiterten Geltungsbereich umdeuten.

5. Eine Berechtigungsentfernung, eine Strategieaktualisierung, einen Datensatzaustausch und eine gleichzeitige Bearbeitung zwischen Auswertung und Ausführung testen. Prüfen, dass die aufrufende Seite anhält oder neu bewertet, statt die alte Entscheidung anzuwenden.

Erwartetes Ergebnis

Die Operation hat einen klaren Bezug zu den Fakten, die sie begründet haben, sowie eine Prüfung auf Anwendungsebene, dass diese Fakten weiterhin gelten. Veraltete Entscheidungen werden zu expliziten Ergebnissen, die geprüft und gezielt wiederholt werden können.

Grenzen und Prüfbasis

Dies ist ein ungetestetes Anwendungsprotokoll. TypeSafe definiert Zustand als das von einer Anfrage ausgewertete Material; es sperrt die Datensätze der aufrufenden Seite nicht. Ein separates erneutes Lesen ist nur ein Hinweis: Eine weitere Änderung kann vor dem Schreiben erfolgen. Die Wahrung der Invariante erfordert eine atomare Durchsetzung beim massgeblichen Dienst. Die zugrunde liegende Schnittstelle oder das Muster ist beschrieben in State; der obige Arbeitsablauf ist eine vorgeschlagene Anpassung.