¿Cómo está estructurada la pila en el lenguaje Go?

En Golang, el montón (heap) es una área de memoria donde se colocan objetos asignados dinámicamente. La gestión de esta memoria se realiza automáticamente mediante un recolector de basura.

Aspectos clave:

• Asignación dinámica: Los objetos pequeños y de corta duración, donde el compilador no puede demostrar que su tiempo de vida está limitado por los límites de la función o la pila, o que se asignan mediante new o tomando la dirección (&), generalmente se colocan en el montón.
• Recolector de basura (GC): Go utiliza un recolector de basura concurrente, de tres colores, Mark-and-Sweep. Funciona simultáneamente con la ejecución del programa, minimizando las pausas.
  • Mark (Marcar): El GC recorre los objetos alcanzables desde los punteros raíz (variables locales en pilas, variables globales) y los marca como "vivos".
  • Sweep (Barrido): El GC recorre todo el montón accesible y libera la memoria ocupada por objetos que no fueron marcados como "vivos".
  • Concurrente: El GC funciona en goroutines separadas, reduciendo las demoras en la ejecución principal.
• Análisis de escape: El compilador de Golang realiza un análisis (escape analysis) para determinar si una variable o valor apunta a la pila o al montón. Si una variable o campo estructural puede estar accesible después de devolverla desde la goroutine actual, probablemente se asignará en el montón. De lo contrario, puede asignarse en la pila.

  // Ejemplo de análisis de escape.
  // Este objeto probablemente se asignará en el montón,
  // ya que se devuelve un puntero.
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // El puntero "escapa" de la función
  }
  
  // Este objeto probablemente se asignará en la pila,
  // ya que no está accesible después de que la función termina.
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• División en arenas: La memoria en Go puede dividirse en varias arenas, lo que ayuda al recolector de basura a trabajar de manera más eficiente, especialmente en sistemas multiprocesador.
• Uso de mmap: Golang utiliza la llamada al sistema mmap (Memory Map) para asignar bloques grandes de memoria virtual para el montón.
• Continuidad: A diferencia de algunos lenguajes, Go no garantiza la continuidad física de los objetos en el montón. La memoria puede estar fragmentada.
• Ausencia de gestión manual de memoria: El desarrollador no necesita asignar o liberar memoria explícitamente en el montón. El GC lo hace automáticamente.

La pila y el montón en Golang cumplen roles diferentes:

Área de memoria	Propósito	Gestión	Tiempo de vida
Pila	Variables locales, parámetros de funciones, direcciones de retorno	Automático (al entrar/salir de una función)	Limitado al tiempo de ejecución de la función
Montón	Objetos asignados dinámicamente, aquellos que "escapan" de la pila, estructuras grandes	Recolector de basura (GC)	Se determina por la alcanzabilidad del objeto desde las raíces