Hogyan épül fel a verem a Go nyelvben?

A Golangban a heap egy memória terület, ahol a dinamikusan foglalt objektumokat helyezik el. Ennek a memóriának a kezelése automatikusan történik a szemétgyűjtő által.

Főbb jellemzők:

• Dinamikus foglalás: Kis méretű és rövid életű objektumok, ahol a fordító nem tudja bizonyítani, hogy az életidejük a függvény vagy a verem határain belül van, vagy amelyeket new vagy cím (&) segítségével foglalnak le, általában a heap-en helyezkednek el.
• Szemétgyűjtő (GC): A Go egy párhuzamos, háromszínű, Mark-and-Sweep szemétgyűjtőt használ. Ez a program futásával párhuzamosan működik, minimalizálva a szüneteket.
  • Mark (Jelölés): A GC végigjárja az elérhető objektumokat a gyökérmutatókból (helyi változók a veremben, globális változók), és "élő"ként jelöli meg őket.
  • Sweep (Tisztítás): A GC végigmegy az összes elérhető heap-en, és felszabadítja a nem jelölt (nem "élő") objektumok által foglalt memóriát.
  • Párhuzamos: A GC külön goroutine-okon fut, csökkentve a fő program késleltetését.
• Escape Analysis: A Golang fordítója elemzést végez (escape analysis), hogy meghatározza, egy változó vagy érték a veremben vagy a heap-en helyezkedik el-e. Ha egy változó vagy szerkezeti mező elérhető lesz a jelenlegi goroutine visszatérése után, akkor valószínűleg a heap-en lesz elhelyezve. Ellenkező esetben a veremben.

  // Escape analysis példa.
  // Ez a objektum valószínűleg a heap-en lesz,
  // mivel a mutató visszatér.
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // A mutató "elmenekül" a függvényből
  }
  
  // Ez az objektum valószínűleg a veremben lesz,
  // mivel nem elérhető a függvény befejezése után.
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• Arénákra (Arenas) bontás: A Go heap-je több arénára osztható, ami segíti a szemétgyűjtőt hatékonyabb működésében, különösen többprocesszoros rendszereken.
• mmap használata: A Golang a mmap rendszerhívást használja nagyobb virtuális memória blokkok lefoglalására a heap számára.
• Folyamatos elrendezés: Ellentétben néhány nyelvvel, a Go nem garantálja az objektumok fizikai folyamatos elrendezését a heap-en. A memória fragmentált lehet.
• Kézi memória kezelés hiánya: A fejlesztőnek nem kell kifejezetten foglalnia vagy felszabadítania a memóriát a heap-en. A GC automatikusan végzi ezt.

A verem és a heap a Golangban különböző szerepeket töltenek be:

Memória terület	Cél	Kezelés	Élettartam
Verem	Lokális változók, függvényparaméterek, visszatérési címek	Automatikus (függvénybe lépés/ki lépéskor)	A függvény végrehajtási idejére korlátozott
Heap	Dinamikusan foglalt objektumok, amelyek "elmenekülnek" a veremből, nagy struktúrák	Szemétgyűjtő (GC)	Az elérhetőség alapján meghatározott