Lease
Eine zeitlich begrenzte Zusage kann nach Prozesspausen von einem alten Inhaber weiterverwendet werden.
- BefristungBefristung: Zeitliche Grenze der exklusiven Zusage.
- ErneuerungErneuerung: Der Inhaber belegt fortgesetzte Aktivität.
- ÜbernahmeÜbernahme: Nach Ablauf darf eine neue Instanz übernehmen.
Einordnung
Warum das wichtig ist
Befristete Eigentümerschaft mit überprüfbarer Übernahme verbinden.
Befristete Eigentümerschaft mit überprüfbarer Übernahme verbinden.
Lease: Entscheidung prüfen
Das Shop-Beispiel nutzt die bestehende gemeinsame Datenbank und sieben Module. Jede ergänzte Dienst- oder Betriebsform ist eine hypothetische Erweiterung. Ein Rechnungsworker beansprucht den Auftrag B-1042 mit einem Lease von 30 Sekunden und erneuert es während der PDF-Erzeugung. Ein längerer GC-Stopp verhindert die Erneuerung; der Koordinator vergibt den Auftrag nach Ablauf an eine zweite Instanz. Als der erste Worker zurückkehrt, kann er noch einen verspäteten Speicherversuch senden. Der Rechnungsspeicher akzeptiert nur den neuesten Fencing Token. So bleibt der Auftrag verfügbar und ein veralteter Inhaber verändert den Zustand nicht.
So liest du das Bild
- Befristung Befristung
- Erneuerung Erneuerung
- Übernahme Übernahme
| Begriff | Bedeutung | Prüffrage |
|---|---|---|
| Befristung | Zeitliche Grenze der exklusiven Zusage. | Was darf nach Ablauf des Rechnungs-Lease passieren? |
| Erneuerung | Der Inhaber belegt fortgesetzte Aktivität. | Wie wird der verspätete Schreibzugriff des alten Workers sicher abgewehrt? |
| Übernahme | Nach Ablauf darf eine neue Instanz übernehmen. | Welche Annahme zur Uhr sollte in der Entscheidung dokumentiert werden? |
Nutzen & Grenzen
Hilft, wenn
- Befristete Eigentümerschaft mit überprüfbarer Übernahme verbinden.
- Lease-Dauer aus Bearbeitungs- und Wiederherstellungszielen ableiten.
Grenzen
- Zeitablauf stoppt einen pausierten Prozess nicht automatisch.
- Sicherheit entsteht erst, wenn Ablauf, Erneuerung und Übernahme dieselbe Zeit- und Zustandsannahme teilen.
In der Praxis
- Setze die Lease-Dauer aus typischer Bearbeitungszeit, längster erwarteter Pause und Wiederherstellungsziel fest; dokumentiere, wann der Koordinator eine Übernahme auslösen darf.
- Simuliere eine GC-Pause, die länger als die Lease dauert, und prüfe, ob der alte Worker nach seiner Rückkehr noch eine Schreiboperation absenden kann.
- Verifiziere, dass die Übernahme mit einem höheren Fencing Token erfolgt und der Rechnungsspeicher verspätete Schreibversuche des alten Inhabers ablehnt.
Ausführliche Erklärung lesen
Ein Lease vergibt eine zeitlich begrenzte Berechtigung zur exklusiven Arbeit an einer Ressource. Der Inhaber erneuert sie regelmäßig; nach Ablauf kann ein Koordinator die Arbeit neu vergeben.
Ablaufzeiten erlauben Fortschritt trotz verlorener Prozesse, doch Pausen, Netzpartitionen und Uhrabweichungen lassen einen früheren Inhaber weiterarbeiten. Für schreibende Wirkungen ergänzt ein monotoner Fencing Token die Zeitbegrenzung.
Das Shop-Beispiel nutzt die bestehende gemeinsame Datenbank und sieben Module. Jede ergänzte Dienst- oder Betriebsform ist eine hypothetische Erweiterung. Ein Rechnungsworker beansprucht den Auftrag B-1042 mit einem Lease von 30 Sekunden und erneuert es während der PDF-Erzeugung. Ein längerer GC-Stopp verhindert die Erneuerung; der Koordinator vergibt den Auftrag nach Ablauf an eine zweite Instanz. Als der erste Worker zurückkehrt, kann er noch einen verspäteten Speicherversuch senden. Der Rechnungsspeicher akzeptiert nur den neuesten Fencing Token. So bleibt der Auftrag verfügbar und ein veralteter Inhaber verändert den Zustand nicht. lease fencing und failure detection helfen, diese Entscheidung mit benachbarten Fragen zu vergleichen.
Selbst prüfen
Teste dich in drei Stufen
AblesenIm Bild nachsehen
Was darf nach Ablauf des Rechnungs-Lease passieren?
Lösung mit Begründung ansehen
Der Koordinator darf die Arbeit neu vergeben; der alte Worker kann technisch noch weiterlaufen.
AnwendenAuf eine neue Lage übertragen
Wie wird der verspätete Schreibzugriff des alten Workers sicher abgewehrt?
Lösung mit Begründung ansehen
Die Ressource prüft einen monotonen Fencing Token bei jedem Schreibvorgang.
BewertenEine Alternative abwägen
Welche Annahme zur Uhr sollte in der Entscheidung dokumentiert werden?
Lösung mit Begründung ansehen
Erneuerungs- und Ablaufregeln müssen Uhrabweichung und Pausen berücksichtigen.
Vertiefen
Diese Bausteine führen die Gedanken dieser Seite weiter.