Réclamation atomique : deux tracteurs ne déneigent jamais le même lot

Le problème d'une flotte occupée

Quand plusieurs machines choisissent leur propre prochaine propriété au même instant, deux d'entre elles peuvent convoiter le même lot à la même seconde. Si les deux s'y rendent, vous obtenez des déplacements gaspillés, un client fâché avec deux tracteurs dans son entrée, et un trou de couverture ailleurs.

Snowmass rend cela impossible.

Une réclamation, tranchée par la base de données

Chaque propriété ne peut appartenir qu'à un seul déploiement à la fois. Quand un tracteur tente de réclamer une propriété, Snowmass exécute une seule opération atomique dans la base de données, qui ne réussit que si la propriété est encore libre. La base de données elle-même est l'arbitre :

• Si l'opération signale une ligne modifiée, la réclamation a réussi — la propriété est à vous.
• Si elle signale zéro ligne modifiée, un pair est arrivé une fraction de seconde plus tôt — vous avez perdu la course proprement, et le moteur vous remet aussitôt le prochain meilleure propriété.

Il n'y a aucun intervalle « vérifier, puis réclamer » où deux machines pourraient se faufiler. La vérification et la réclamation forment la même étape indivisible ; une propriété ne peut donc jamais être réservé deux fois.

Pourquoi c'est important

• Aucune double répartition — jamais deux machines envoyées au même lot.
• Aucune collision sous charge — la garantie tient que cinq tracteurs roulent ou cinquante, et que les signaux GPS arrivent à quelques millisecondes d'écart.
• Aucune résolution manuelle — un répartiteur n'a jamais à repérer ni démêler une double réservation, puisqu'elle ne peut pas se produire.

C'est la fondation discrète sous tout le reste de l'essaim : parce que la réclamation est sans course, les machines décident indépendamment tout en agissant comme une flotte coordonnée.