Jeton de fencing ​

• Le token d'une réponse d'acquisition A est un u64 strictement croissant. Quelle que soit la clé ou le rang de l'acquisition, la valeur est toujours supérieure à tout jeton émis auparavant.
• En mode simple, le compteur global du serveur garantit la monotonie ; en mode cluster, c'est le numéro d'émission répliqué par consensus — le jeton est assigné de façon déterministe au moment où une commande validée est appliquée, si bien que chaque nœud calcule la même valeur, et la croissance continue même après un changement de leader.
• Si la ressource protégée applique la règle « rejeter tout jeton inférieur au dernier vu », elle peut bloquer l'accès d'un ancien détenteur qui se réveille en retard après l'expiration du lease (avec un jeton plus petit) — la dernière ligne de défense contre les délais côté client (comme une pause GC) que le serveur de verrous ne contrôle pas.

Voir Comment ça marche pour le scénario qui rend cette vérification nécessaire.