A (Erwerb)
| Schlüsselzustand | Serveraktion | Antwort | Zeitpunkt |
|---|---|---|---|
| Nicht registriert | Registrierung (Ablauf=now+lease), Token wird ausgestellt | A+token+key | sofort |
| Registriert + Ablauf überschritten | Erneuerung (now+lease), neues Token | A+token+key | sofort |
| Registriert + gültig (belegt) | Eintrag in Warteschlange, Antwort zurückgehalten | A+token+key oder T+key | im Moment des Erwerbs durch Freigabe/Ablauf, oder T bei Überschreiten von wait |
R frei, wird direkt an den vordersten Wartenden übergeben (kein erneuter Wettlauf, neues Token).A an → Warteschlange).R (Freigabe)
| Schlüsselzustand | Serveraktion | Antwort |
|---|---|---|
| Registriert, Wartende vorhanden | direkte Übergabe an vordersten Wartenden (neues Token) | R+key |
| Registriert, keine Wartenden | Key wird gelöscht | R+key |
| Nicht registriert | keine Aktion | N+key |