Pile, tas et analyse d’échappement
Comprendre comment Go décide où allouer la mémoire
Pile, tas et analyse d’échappement est une leçon Go Academy gratuite sur CoddyKit. Ceci est la leçon 1 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.
Allocation sur la pile
Les variables locales qui ne s’échappent pas de la fonction sont allouées sur la pile de la goroutine. L’allocation sur la pile est rapide (il suffit d’incrémenter un pointeur) et ne coûte rien au ramasse-miettes (le cadre de pile est retiré au retour).
Allocation sur le tas
Les variables qui s’échappent vers le tas sont allouées par l’allocateur de Go et suivies par le ramasse-miettes. L’allocation sur le tas est plus lente et augmente la pression exercée sur le ramasse-miettes.
Qu’est-ce qui provoque l’échappement ?
Les causes courantes d’échappement sont la prise d’adresse d’une variable locale suivie de son retour, le stockage d’une variable locale dans une interface ou son envoi sur un canal. L’analyse d’échappement du compilateur détermine ce comportement.
func newUser() *User { // *User escapes to heap
return &User{Name: "Alice"}
}go build -gcflags=-m
Affichez les décisions de l’analyse d’échappement :
go build -gcflags="-m" .
// main.go:10:15: &User literal escapes to heap
// main.go:5:14: s does not escapePiles des goroutines
Chaque goroutine commence avec une petite pile (2 KiB dans Go 1.14 et les versions ultérieures) qui s’agrandit dynamiquement selon les besoins. Les piles sont distinctes du tas et sont récupérées lorsque la goroutine se termine.
Éviter les allocations
Transmettez les valeurs (et non les pointeurs) pour les petites structures. Utilisez des tableaux alloués sur la pile plutôt que des tranches lorsque la taille est connue. Renvoyez les valeurs plutôt que des pointeurs afin de les conserver sur la pile.
Conversion en interface
L’affectation d’une valeur concrète à une interface fait s’échapper cette valeur vers le tas (encapsulation). Pour les chemins d’exécution fréquents, acceptez des types concrets ou utilisez les génériques plutôt que des interfaces.
sync.Pool
Réutilisez les objets alloués sur le tas avec sync.Pool afin de réduire la pression exercée sur le ramasse-miettes par les allocations fréquentes d’objets à courte durée de vie (tampons, contextes de requête).
var pool = sync.Pool{New: func() any { return make([]byte, 1024) }}
buf := pool.Get().([]byte)
defer pool.Put(buf[:0])Profilage des allocations
Utilisez go test -benchmem et le profilage du tas avec -alloc_space pour trouver les fonctions qui allouent le plus de mémoire.
Tranche ou tableau
Un petit tableau [N]T peut rester sur la pile. L’en-tête d’une tranche (24 octets) est alloué sur la pile, mais son tableau de stockage peut s’échapper. Une préallocation avec make évite les réallocations répétées.
Internement des chaînes
Les littéraux de chaînes ne sont pas alloués sur le tas (ils se trouvent dans le segment de données en lecture seule). La conversion de []byte en chaîne alloue de la mémoire. Mettez en cache les chaînes fréquemment utilisées afin d’éviter les conversions répétées.
Vérification rapide
Qu’est-ce qui fait qu’une variable locale s’échappe de la pile vers le tas ?
Récapitulatif : pile et tas
Points clés :
- Pile : rapide, sans coût pour le ramasse-miettes ; tas : plus lent, suivi par le ramasse-miettes
- go build -gcflags="-m" affiche les décisions d’échappement
- La conversion en interface, la prise d’adresse d’une variable locale et les envois sur un canal provoquent des échappements
- sync.Pool pour les objets fréquemment alloués puis supprimés
Questions Fréquemment Posées
La leçon « Pile, tas et analyse d’échappement » est-elle gratuite ?
Oui — le texte complet de « Pile, tas et analyse d’échappement » 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 « Pile, tas et analyse d’échappement » ?
Comprendre comment Go décide où allouer la mémoire 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 1 sur 4.
Combien de temps prend la leçon « Pile, tas et analyse d’échappement » ?
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
- Pile, tas et analyse d’échappement
- Modèle mémoire de Go et Happens-Before
- Fonctionnement interne du ramasse-miettes
- Réduire les allocations : sync.Pool et arènes