Couverture du détecteur de course Go : une exécution propre ne dit rien des chemins non exécutés

Ce que c'est

La documentation du détecteur de course de Go indique explicitement qu'il ne trouve que les courses se produisant à l'exécution. Elle recommande go test -race et, lorsque les tests manquent certains chemins, un binaire compilé avec la détection de course sous une charge représentative. Un rapport propre constitue donc une preuve relative à la charge et à la configuration exécutées, et non une preuve que toute interaction concurrente est correcte. Go data race detector

Pourquoi c'est important

Un agent peut relancer le même petit test de nombreuses fois sans augmenter la couverture d'exécution pertinente. Commencer par l'état partagé et les opérations nommés dans le rapport d'échec. L'objectif est d'exercer délibérément l'interaction manquante, tout en préservant un dispositif de test borné et reproductible.

Comment l'appliquer

• Recenser les lecteurs, les rédacteurs et les opérations de cycle de vie de l'objet partagé. Inclure l'initialisation, l'annulation, le rechargement et l'arrêt, qu'un test en régime établi peut omettre.
• Faire correspondre chaque paire d'opérations à un test existant ou à une fixture proposée. Identifier les chemins jamais atteints sous la suite avec détection de course.
• Utiliser une coordination explicite pour amener les opérations pertinentes au chevauchement voulu. Consigner la synchronisation utilisée par le test afin qu'elle ne sérialise pas accidentellement l'interaction étudiée.
• Corriger la discipline d'accès sous-jacente, puis exécuter la fixture ciblée ainsi que la charge de travail plus large pertinente avec détection de course. Conserver les emplacements d'accès du rapport à des fins de comparaison.
• Rapporter quels paquets, système d'exploitation et charge de travail ont été couverts, ainsi que tout code délibérément exclu des builds avec détection de course. Garder les données de production hors d'un reproducteur partagé.

Pièges

Cette méthode n'implique pas que des opérations en situation de course puissent être rendues déterministes en répétant simplement un test. Elle ne couvre pas non plus les interblocages, les erreurs de protocole ni toute incohérence logique. L'instrumentation de détection de course impose des exigences de plateforme et d'exécution qu'il faut vérifier pour la chaîne d'outils déployée. Cet article n'affirme aucune exécution réussie du détecteur de course ; il fournit un plan de vérification au périmètre défini.