Come è strutturato lo stack nel linguaggio Go?

In Golang, l'heap è una regione di memoria in cui vengono collocati gli oggetti allocati dinamicamente. La gestione di questa memoria avviene automaticamente tramite il garbage collector.

Aspetti chiave:

• Allocazione dinamica: Gli oggetti di piccole dimensioni e di breve durata, per i quali il compilatore non può dimostrare che il loro tempo di vita sia limitato dai confini della funzione o dello stack, o che siano allocati con new o prendendo l'indirizzo (&), sono generalmente collocati nell'heap.
• Garbage collector (GC): Go utilizza un garbage collector concorrente, a tre colori, Mark-and-Sweep. Opera in parallelo con l'esecuzione del programma, minimizzando le pause.
  • Mark (Marcatura): Il GC attraversa gli oggetti raggiungibili dai puntatori radice (variabili locali sugli stack, variabili globali) e li marca come "viventi".
  • Sweep (Pulizia): Il GC attraversa tutto l'heap accessibile e libera la memoria occupata dagli oggetti non marcati come "viventi".
  • Concorrente: Il GC funziona in goroutine separate, riducendo le latenze nel programma principale.
• Analisi di fuga: Il compilatore Golang esegue un'analisi (escape analysis) per determinare se una variabile o un valore punta allo stack o all'heap. Se una variabile o un campo strutturale può essere accessibile dopo il ritorno dalla goroutine corrente, sarà probabilmente allocato nell'heap. Altrimenti, può essere allocato nello stack.

  // Esempio di analisi di fuga.
  // Questo oggetto sarà probabilmente allocato nell'heap,
  // poiché viene restituito un puntatore.
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // Puntatore "sfugge" dalla funzione
  }
  
  // Questo oggetto sarà probabilmente allocato nello stack,
  // poiché non è accessibile dopo la fine della funzione.
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• Divisione in arene: La memoria in Go può essere divisa in più arene, il che aiuta il garbage collector a lavorare in modo più efficiente, specialmente su sistemi multiprocessore.
• Utilizzo di mmap: Golang utilizza la chiamata di sistema mmap (Memory Map) per allocare grandi blocchi di memoria virtuale per l'heap.
• Continuità: A differenza di alcuni linguaggi, Go non garantisce la continuità fisica degli oggetti nell'heap. La memoria può essere frammentata.
• Mancanza di gestione manuale della memoria: Lo sviluppatore non deve allocare o liberare esplicitamente la memoria nell'heap. Il GC si occupa di farlo automaticamente.

Lo stack e l'heap in Golang svolgono ruoli diversi:

Area di memoria	Scopo	Gestione	Durata di vita
Stack	Variabili locali, parametri di funzione, indirizzi di ritorno	Automatico (all'ingresso/uscita dalla funzione)	Limitato al tempo di esecuzione della funzione
Heap	Oggetti allocati dinamicamente, quelli che "sfuggono" dallo stack, grandi strutture	Garbage collector (GC)	Determinato dalla raggiungibilità dell'oggetto dalle radici