Comment la pile est-elle organisée dans le langage…

En Golang, le tas (heap) est une zone de mémoire où sont placés les objets alloués dynamiquement. La gestion de cette mémoire est effectuée automatiquement par le ramasse-miettes.

Aspects clés :

Allocation dynamique : Les objets de petite taille et de courte durée, dont le compilateur ne peut pas prouver que leur durée de vie est limitée par les limites de la fonction ou de la pile, ou qui sont alloués avec new ou en prenant l'adresse (&), sont généralement placés dans le tas.
Ramasse-miettes (GC) : Go utilise un ramasse-miettes concurrent, à trois couleurs, Mark-and-Sweep. Il fonctionne en parallèle avec l'exécution du programme, minimisant les pauses.
- Mark (Marquage) : Le GC parcourt les objets accessibles depuis les pointeurs racines (variables locales sur la pile, variables globales) et les marque comme "vivants".
- Sweep (Balayage) : Le GC parcourt tout le tas accessible et libère la mémoire occupée par les objets non marqués comme "vivants".
- Concurrence : Le GC fonctionne dans des goroutines séparées, réduisant les délais dans le programme principal.

Analyse d'échappement : Le compilateur Golang effectue une analyse (escape analysis) pour déterminer si une variable ou une valeur pointe vers la pile ou le tas. Si une variable ou un champ de structure peut être accessible après le retour de la goroutine courante, il sera probablement alloué dans le tas. Sinon, il peut être alloué sur la pile.

// Exemple d'analyse d'échappement.
// Cet objet sera probablement alloué dans le tas,
// car un pointeur est retourné.
func createPoint() *Point {
    p := Point{X: 1, Y: 2}
    return &p // Pointeur "échappe" de la fonction
}

// Cet objet sera probablement alloué sur la pile,
// car il n'est pas accessible après la fin de la fonction.
func processValue() {
    val := 10
    println(val)
}

type Point struct {
    X, Y int
}

Division en arènes : La mémoire en Go peut être divisée en plusieurs arènes, ce qui aide le ramasse-miettes à fonctionner plus efficacement, notamment sur les systèmes multiprocesseurs.
Utilisation de mmap : Golang utilise l'appel système mmap (Memory Map) pour allouer de grands blocs de mémoire virtuelle pour le tas.
Continuité : Contrairement à certains langages, Go ne garantit pas la continuité physique des objets dans le tas. La mémoire peut être fragmentée.
Absence de gestion manuelle de la mémoire : Le développeur n'a pas besoin d'allouer ou de libérer explicitement la mémoire dans le tas. Le GC le fait automatiquement.

La pile et le tas en Golang remplissent des rôles différents :

Zone de mémoire	Objectif	Gestion	Durée de vie
Pile	Variables locales, paramètres de fonctions, adresses de retour	Automatique (lors de l'entrée/sortie de la fonction)	Limitée à la durée d'exécution de la fonction
Tas	Objets alloués dynamiquement, ceux qui "échappent" de la pile, structures volumineuses	Ramasse-miettes (GC)	Déterminée par la reachabilité de l'objet depuis les racines

Comment la pile est-elle organisée dans le langage Go?