Détecteur de courses et modèles sûrs
Utiliser l’option -race et éviter les courses de données
Détecteur de courses et modèles sûrs est une leçon Go Academy gratuite sur CoddyKit. Ceci est la leçon 4 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage Go Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Go Academy comprend 4 leçons au total.
Qu’est-ce qu’une course aux données ?
Une course aux données se produit lorsque deux goroutines accèdent simultanément au même emplacement mémoire et qu’au moins un accès est une écriture, sans synchronisation. Les courses aux données provoquent un comportement indéfini.
Activer le détecteur de courses
Exécutez le programme ou les tests avec -race pour activer le détecteur de courses intégré à Go :
go run -race main.go
go test -race ./...Sortie du détecteur de courses
Lorsqu’une course est détectée, le détecteur affiche les traces de pile des goroutines indiquant les accès en conflit, puis termine le programme. La sortie indique les lignes exactes concernées.
Coût en performances
Le détecteur de courses ajoute une surcharge mémoire d’environ 5 à 10 fois et ralentit l’exécution d’environ 2 à 20 fois. Exécutez-le dans l’intégration continue et les environnements de test, mais pas dans les compilations de production.
Schémas sûrs courants : opérations atomiques
sync/atomic fournit des opérations sans verrou pour les compteurs entiers et les pointeurs simples, évitant la surcharge d’un mutex complet.
var counter int64
atomic.AddInt64(&counter, 1)
fmt.Println(atomic.LoadInt64(&counter))Schémas sûrs courants : propriété par canal
Une seule goroutine possède une valeur à la fois ; la propriété est transférée par les canaux. L’absence de mémoire partagée élimine les courses.
ch := make(chan []byte)
go func() { ch <- makeData() }()
data := <-ch // sole owner nowSchémas sûrs courants : données immuables
Les données en lecture seule partagées entre les goroutines sont sûres. Écrivez uniquement avant le démarrage des goroutines ou synchronisez les écritures. Les valeurs String et [N]T peuvent être partagées en toute sécurité après leur création.
Détecter les courses dans les tests
Le détecteur de courses fonctionne avec go test -race. Écrivez des tests qui exercent les chemins concurrents : le détecteur repère les courses que des tests séquentiels apparemment corrects ne détectent pas.
sync.atomic et mutex
Utilisez les opérations atomiques pour les mises à jour d’une seule variable (compteurs, indicateurs). Utilisez des mutex pour protéger des invariants qui couvrent plusieurs variables. Les mélanger sans une analyse approfondie est source d’erreurs.
Relation de précédence
Go garantit des relations de précédence pour les opérations sur les canaux, les appels à Lock et Unlock des mutex, ainsi que sync.Once.Do. Les opérations au sein d’une même goroutine sont ordonnées séquentiellement.
Faux partage
Deux goroutines qui mettent à jour des emplacements mémoire adjacents (des champs différents d’une même ligne de cache) peuvent provoquer un incessant renouvellement du cache. Complétez les structures avec [64]byte si le profilage révèle une contention sur une structure précise.
Vérification rapide
Quel indicateur active le détecteur de courses de Go ?
Récapitulatif : détecteur de courses et schémas sûrs
Points essentiels :
- Exécutez toujours go test -race dans l’intégration continue
- Schémas sûrs : canaux, mutex, opérations atomiques, données immuables
- La sortie du détecteur de courses affiche les piles exactes des goroutines
- N’utilisez pas -race dans les compilations de production
Apprends Go avec un tuteur IA — gratuit
Écris et exécute du vrai code dans ton navigateur, obtiens de l'aide instantanée d'un tuteur IA disponible 24h/24, et reprends là où tu t'es arrêté sur le web ou dans l'app.
- Cours
- 51
- Leçons
- 203
Questions Fréquemment Posées
La leçon « Détecteur de courses et modèles sûrs » est-elle gratuite ?
Oui — le texte complet de « Détecteur de courses et modèles sûrs » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours Go Academy, passe à CoddyKit PRO. Le cours Go Academy comprend 4 leçons au total.
Qu'est-ce que j'apprendrai dans « Détecteur de courses et modèles sûrs » ?
Utiliser l’option -race et éviter les courses de données Tu pratiques Go Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.
Dois-je avoir de l'expérience pour commencer Go Academy ?
Aucune expérience préalable n'est requise. Go Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 4 sur 4.
Combien de temps prend la leçon « Détecteur de courses et modèles sûrs » ?
La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.
Peux-tu écrire et exécuter du code dans cette leçon Go Academy ?
Oui. Chaque leçon Go Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.
Toutes les leçons de ce cours
- sync.Mutex et sync.RWMutex
- sync.WaitGroup
- sync.Once et sync.Map
- Détecteur de courses et modèles sûrs