Le projet llama.cpp a publié la version b11302, qui résout un problème critique de concurrence identifié par ThreadSanitizer dans le pipeline CI. La mise à jour corrige une course de données au sein du mécanisme d'attention creuse où plusieurs threads CPU écrivaient incorrectement sur les mêmes éléments mémoire.
- Les emplacements indexeurs morts se voient désormais attribuer des lignes de dispersion uniques (n_kv + slot) au lieu de partager une seule ligne sentinelle.
- Les emplacements actifs adressent des cellules disjointes, garantissant que les indices de dispersion pour un token restent uniques sur tous les chemins de sélection.
- La correction élimine les chevauchements entre les pools invisibles sélectionnés par top_k et les cellules de queue des tokens.
Ce changement garantit le fonctionnement thread-safe de la construction du masque de l'indexeur creux, empêchant un comportement indéfini causé par des écritures concurrentes sur des emplacements mémoire partagés.