Integer dalam big-endian. ·· hanya penanda batas byte, bukan byte sungguhan.
# Acquire langsung (wait=5s, lease=30s), key="order-1234"
klien → 'A' 00·05 00·1E "order-1234" \n
server → 'A' 00·00·00·00·00·00·00·01 "order-1234" \n (token 1)
# Menunggu saat sedang dipakai (koneksi lain, wait=1s)
klien2 → 'A' 00·01 00·1E "order-1234" \n
... tertunda ...
# (a) Jika pemegang melepaskan, langsung diserahkan
klien → 'R' "order-1234" \n
server → 'R' "order-1234" \n (klien: sudah dilepaskan)
server → 'A' 00·00·00·00·00·00·00·02 "order-1234" \n (klien2: diserahkan, token lebih besar)
# (b) Jika tidak diterima dalam wait(1s)
server → 'T' "order-1234" \n (klien2: timeout — tidak ada grant)
# Melepaskan key yang tidak ada / request tidak valid
klien → 'R' "ghost" \n → server 'N' "ghost" \n
klien → 'Z' ... → server 'E' "bad_op" \nKarena berbasis biner, dapat diverifikasi dengan cepat memakai nc.
# Acquire: key=order-1, wait=5s(00 05), lease=30s(00 1e)
printf 'A\x00\x05\x00\x1eorder-1\n' | nc -w1 127.0.0.1 5225 | xxd
# → 41 0000000000000001 6f72646572... ('A' + token=1 + "order-1")
printf 'Rorder-1\n' | nc -w1 127.0.0.1 5225 | xxd # → 52 ... ('R' + "order-1")
printf 'Zx\n' | nc -w1 127.0.0.1 5225 # → Ebad_opProtokol replikasi cluster antar server dibahas di Protokol (Cluster).