Inteiros em big-endian. ·· é apenas uma marcação de limite de byte, não é um byte real.
# Aquisição imediata (wait=5s, lease=30s), key="order-1234"
cliente → 'A' 00·05 00·1E "order-1234" \n
servidor → 'A' 00·00·00·00·00·00·00·01 "order-1234" \n (token 1)
# Espera enquanto ocupado (outra conexão, wait=1s)
cliente2 → 'A' 00·01 00·1E "order-1234" \n
... pendente ...
# (a) Se o detentor liberar, o repasse é imediato
cliente → 'R' "order-1234" \n
servidor → 'R' "order-1234" \n (cliente: liberado)
servidor → 'A' 00·00·00·00·00·00·00·02 "order-1234" \n (cliente2: repasse, token maior)
# (b) Se não receber dentro do wait(1s)
servidor → 'T' "order-1234" \n (cliente2: tempo esgotado — sem grant)
# Liberação de chave inexistente / requisição inválida
cliente → 'R' "ghost" \n → servidor 'N' "ghost" \n
cliente → 'Z' ... → servidor 'E' "bad_op" \nPor ser binário, também é possível verificar rapidamente com nc.
# Aquisição: 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_opO protocolo de replicação de cluster entre servidor ↔ servidor é abordado em Protocolo (cluster).