Quelles sont vos connaissances sur le ramasse-miettes dans le langage Go?

Golang utilise un ramasse-miettes parallèle et à faible latence basé sur l'algorithme mark-sweep.

Caractéristiques principales:

1. Algorithme à trois couleurs (Three-color algorithm): Marque les objets avec trois couleurs : blanc (potentielle garbage), gris (objet atteignable mais ses descendants non inspectés) et noir (objet et ses descendants atteignables).
2. Parallélisme (Parallel): Fonctionne en parallèle avec les goroutines utilisateur sur plusieurs cœurs, minimisant le temps d'arrêt.
3. Concurrence (Concurrent): La majorité du travail du GC est effectuée simultanément à l'exécution du programme.
4. Minimisation du temps d'arrêt (Low-latency Stop-The-World): Le temps d'arrêt de toutes les goroutines (STW) est extrêmement court, utilisé uniquement pour la phase "début du marquage" (start of marking) et "fin du marquage" (end of marking), pour assurer la cohérence du graphe d'objets.
5. Scan des piles réutilisable (Stack scanning): Le scan des piles est également effectué en parallèle et de manière concurrente avec le STW.
6. Objectif de croissance du tas (Heap growth target): Le GC tente de maintenir un pourcentage déterminé de remplissage du tas après chaque cycle, pour éviter des cycles trop fréquents ou trop rares. Ce seuil peut être contrôlé via la variable GOGC. Par défaut, GOGC=100, ce qui signifie que le GC démarre lorsque la taille du tas double.

Le cycle de travail du GC se compose des phases suivantes:

1. GCstart: Phase STW courte. Définition des objets racines pour le marquage.
2. GCmark: Phase concurrente. Le GC parcourt le graphe d'objets, marquant les objets atteignables (couleur gris -> noir). Utilise une barrière d'écriture pour suivre les changements dans le graphe pendant le marquage.
3. GCmarktermination: Phase STW courte. Termine le marquage et passe de la barrière d'écriture à la phase de balayage.
4. GCsweep: Phase concurrente. Les objets inaccessibles (blancs) sont libérés. Cette phase peut se produire en arrière-plan ou selon les besoins lors de l'allocation de nouvelle mémoire.

Le GC en Go est géré automatiquement et ne nécessite pas d'appels manuels dans la plupart des cas. La performance du GC peut être surveillée avec les variables d'environnement GODEBUG=gctrace=1.

Exemple de surveillance:

$ GODEBUG=gctrace=1 go run your_program.go

La sortie de gctrace fournit des informations sur chaque cycle de GC, y compris les temps de phase, la taille du tas et le temps STW.

Pour optimiser le GC, en plus de configurer GOGC, il est conseillé de:

• Réduire le nombre d'allocations (par exemple, en réutilisant les buffers, en évitant les conversions inutiles).
• Faire du profilage pour l'"escape analysis" afin de comprendre quels objets sont alloués sur le tas.
• Utiliser des pools (sync.Pool) pour les objets fréquemment créés et libérés.