リクエスト × キー状態マトリクス ​

A(獲得)

• 解放の経路はFIFOで公平です: 保有者がRを行うと、キューの先頭にいる待機者へ 再競合なし・新しいトークンで直接引き継がれます。
• 非FIFOなのは失効の経路だけです。
• ownerが現在holderと同じでも特別扱いしません。active token返却やlease更新の権限ではなく、通常の保持中requestと同じ規則です。
• 応答順はrequest順と異なり得るため、clientはechoされたownerでmatchします。 R(解放)

失効の処理タイミング ​

• シングルモードは失効を遅延処理します — 期限切れのキーは次の獲得(上表の2行目)が その場で引き継ぎ、待機者のいない期限切れキーは別途5秒間隔の掃除で片付けられます。 そのため、期限切れだが未掃除のキーに対する解放はNではなくRになることがあります。
• Cluster modeではleaderがtoken検証付きdeadline min-heapの次項目まで待ち、Expire commandをconsensus commitして初めてkeyが消えます。node間clock差でlock状態が分岐しないためです。