menuTicketing

Matriks Request x Status Key

A (Acquire)

Status keyAksi serverResponsWaktu
Belum terdaftarDaftarkan (expire=now+lease), terbitkan tokenA+token+keySegera
Terdaftar + sudah lewat expirePerbarui (now+lease), token baruA+token+keySegera
Terdaftar + masih valid (sedang dipegang)Masuk antrean, respons ditahanA+token+key atau T+keySaat diperoleh melalui release/expire, atau T jika wait terlampaui
  • Jalur release bersifat FIFO adil: saat pemegang melakukan R, hak langsung diserahkan ke penunggu paling depan (tanpa kompetisi ulang, token baru).
  • Hanya jalur expire yang bersifat non-FIFO. Tidak ada re-entrant (klien yang sama melakukan A lagi pada key yang sedang dipegangnya → masuk antrean).

R (Release)

Status keyAksi serverRespons
Terdaftar, ada penungguSerahkan langsung ke penunggu paling depan (token baru)R+key
Terdaftar, tidak ada penungguHapus keyR+key
Belum terdaftarTidak ada aksiN+key