menuTicketing

Matriz de solicitud x estado de clave

A (adquirir)

estado de la claveacción del servidorrespuestamomento
no registradaregistra (expiración=now+lease), emite tokenA+token+keyinmediato
registrada + expiración pasadarenueva (now+lease), nuevo tokenA+token+keyinmediato
registrada + vigente (en uso)se registra en la cola, respuesta pendienteA+token+key o T+keyen el instante en que se adquiere por liberación/expiración, o T si se supera wait
  • La vía de liberación es FIFO justa: cuando el poseedor hace R, se transfiere directamente al primero de la cola de espera (sin recompetencia, nuevo token).
  • Solo la vía de expiración es no-FIFO. Sin reentrada (si el mismo cliente vuelve a hacer A sobre una clave que ya posee, va a la cola).

R (liberar)

estado de la claveacción del servidorrespuesta
registrada, con esperase transfiere directamente al primero de la cola (nuevo token)R+key
registrada, sin esperase elimina la claveR+key
no registradaningunaN+key