Unterscheide den gespeicherten Wunsch vom wirksamen Wert.
Unser Modell führt desired für den gespeicherten Wunsch, effective für den aktuell beobachteten Wert und after_restart für den beim simulierten Neustart beobachteten Wert. Nach dem Schreiben kann nur desired neu sein. Ein erfolgreiches Neuladen ist ein eigener Übergang; eine Erfolgsmeldung wird durch eine Laufzeitabfrage ergänzt. Vor der Neustartprüfung steht after_restart auf unbekannt. Welcher Wert beim Neustart gewinnt, hängt von geladenen Dateien und weiteren Schreibern ab. Gib zu jeder Beobachtung Zeitpunkt und zuständige Komponente an. So wird eine Dateiprüfung nicht zum vermeintlichen Funktionsnachweis.
Ein Beispiel
Der fiktive Bildkatalog startet mit 100 Einträgen pro Seite. Eine Datei verlangt nun 200. Das Neuladen wird abgelehnt: desired=200, effective=100, after_restart=unbekannt. Nach einer korrigierten Datei zeigt die Laufzeitabfrage 200. Erst der simulierte Neustart mit erneuter Abfrage belegt zusätzlich den Startwert 200.
Python 3.11 · Lehrbeispiel
state = {"desired": 100, "effective": 100, "after_restart": None}
state["desired"] = 200
reload_ok = False
if reload_ok:
state["effective"] = state["desired"]
print(state["desired"], state["effective"], state["after_restart"])
Erwartete Ausgabe
200 100 None
