Détecteur de course Go : un angle mort de Mutex

Le détecteur de course Go présente un angle mort lorsqu'il gère les mutex. Un exemple montre comment deux goroutines utilisent un mutex pour protéger un compteur partagé, l'une effectuant un incrément supplémentaire en dehors du verrou. Même si une course de données est possible, le détecteur Go peut la manquer car il dépend de l'ordre d'acquisition du verrou, qui est imprévisible en temps d'exécution. Bien que le détecteur de course Go soit un outil de premier ordre, cet exemple souligne que des conditions de course peuvent toujours exister même lorsque le détecteur ne signale aucune course.