Jak jest zbudowana stos w języku Go?

W Golang, stos (heap) to obszar pamięci, w którym umieszczane są obiekty dynamicznie przydzielane. Zarządzanie tą pamięcią odbywa się automatycznie przez zbieracz śmieci.

Kluczowe aspekty:

• Dynamiczne przydzielanie: Małe obiekty i te o krótkim czasie życia, dla których kompilator nie może udowodnić, że ich czas życia jest ograniczony przez granice funkcji lub stosu, lub które są przydzielane za pomocą new lub pobierania adresu (&), zazwyczaj są umieszczane na stosie.
• Zbieracz śmieci (GC): Go używa współbieżnego, trójkolorowego, Mark-and-Sweep zbieracza śmieci. Działa równolegle z wykonywaniem programu, minimalizując przerwy.
  • Mark (Oznaczanie): GC przechodzi przez dostępne obiekty od korzeniowych wskaźników (zmienne lokalne na stosie, zmienne globalne) i oznacza je jako "żywe".
  • Sweep (Przeszukiwanie): GC przechodzi przez cały dostępny stos i zwalnia pamięć zajmowaną przez obiekty, które nie zostały oznaczone jako "żywe".
  • Współbieżny: GC działa w osobnych gorutynach, zmniejszając opóźnienia w głównym programie.
• Analiza ucieczek: Kompilator Golang przeprowadza analizę (escape analysis), aby określić, czy zmienna lub wartość wskazuje na stos czy na heap. Jeśli zmienna lub pole struktury może być dostępne po powrocie z bieżącej gorutyny, najprawdopodobniej zostanie przydzielona na heapie. W przeciwnym razie, może być przydzielona na stosie.

  // Przykład analizy ucieczek.
  // Ten obiekt najprawdopodobniej zostanie przydzielony na heapie,
  // ponieważ zwraca wskaźnik.
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // Wskaźnik "ucieka" z funkcji
  }
  
  // Ten obiekt najprawdopodobniej zostanie przydzielony na stosie,
  // ponieważ nie jest dostępny po zakończeniu funkcji.
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• Podział na areny: Heap w Go może być podzielony na kilka aren, co pomaga zbieraczowi śmieci działać bardziej efektywnie, szczególnie na systemach wieloprocesorowych.
• Użycie mmap: Golang używa wywołania systemowego mmap (Memory Map) do przydzielania dużych bloków pamięci wirtualnej dla heap.
• Kontynuacja: W przeciwieństwie do niektórych języków, Go nie gwarantuje fizycznej ciągłości obiektów na heapie. Pamięć może być fragmentowana.
• Brak ręcznego zarządzania pamięcią: Programista nie musi jawnie przydzielać ani zwalniać pamięci na heapie. GC robi to automatycznie.

Stos i heap w Golang pełnią różne role:

Obszar pamięci	Cel	Zarządzanie	Czas życia
Stos	Zmienne lokalne, parametry funkcji, adresy powrotu	Automatyczne (przy wejściu/wyjściu z funkcji)	Ograniczone czasem wykonywania funkcji
Heap	Obiekty dynamicznie przydzielane, te "uciekinęte" ze stosu, duże struktury	Zbiornik śmieci (GC)	Określane przez dostępność obiektu od korzeni