menuTicketing

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

A(取得)

キー状態サーバー動作レスポンスタイミング
未登録登録(有効期限=now+lease)、トークン発行A+token+key即時
登録済み + 有効期限超過更新(now+lease)、新トークンA+token+key即時
登録済み + 有効(占有中)待機列に登録、レスポンス保留A+token+key または T+key解放/期限切れで取得できた瞬間、またはwait超過時にT
  • 解放経路はFIFOで公平:保有者がRすると、待機列の先頭に直接引き渡されます(再競合なし、新トークン)。
  • 期限切れ経路のみ非FIFO。再入なし(保有中のキーに同じクライアントが再度A → 待機列)。

R(解放)

キー状態サーバー動作レスポンス
登録済み、待機者あり待機列の先頭に直接引き渡し(新トークン)R+key
登録済み、待機者なしキー削除R+key
未登録なしN+key