Ako je usporiadan zásobník v jazyku Go?

V Golangu je halda (heap) oblasť pamäte, kde sa umiestňujú dynamicky alokované objekty. Správa tejto pamäte je automatická pomocou garbage collectora.

Kľúčové aspekty:

• Dynamická alokácia: Objekty menšieho rozsahu a krátkeho života, pri ktorých prekladač nemôže dokázať, že ich životnosť je obmedzená rámcom funkcie alebo zásobníka, alebo ktoré sa alokujú pomocou new alebo získaním adresy (&), sa zvyčajne umiestňujú na haldu.
• Garbage collector (GC): Go používa paralelný, trojfarebný, Mark-and-Sweep garbage collector. Funguje súbežne s vykonaním programu, minimalizujúc prestávky.
  • Mark (Označenie): GC prehľadáva dostupné objekty z koreňových ukazovateľov (lokálne premenné na zásobníku, globálne premenné) a označuje ich ako "živé".
  • Sweep (Čistenie): GC prechádza celú dostupnú haldu a uvoľňuje pamäť obsadenú objektmi, ktoré neboli označené ako "živé".
  • Paralelne: GC beží v samostatných gorutinách, znižujúc oneskorenia hlavného programu.
• Escape Analysis: Kompilátor Golang vykonáva analýzu (escape analysis), aby určil, kam ukazuje premenná alebo hodnota — na zásobník alebo na haldu. Ak je premenná alebo štrukturálne pole dostupné po návrate z aktuálnej gorutiny, pravdepodobne bude alokované na haldu. Inak na zásobník.

  // Príklad escape analysis.
  // Tento objekt bude pravdepodobne alokovaný na haldu,
  // pretože sa vracia ukazovateľ.
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // Ukazovateľ "utiekol" z funkcie
  }
  
  // Tento objekt bude pravdepodobne alokovaný na zásobníku,
  // pretože nie je dostupný po ukončení funkcie.
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• Rozdelenie na arény (Arenas): Hald v Golangu môže byť rozdelená na niekoľko arén, čo pomáha garbage collectoru pracovať efektívnejšie, najmä na systémoch s viacerými procesormi.
• Použitie mmap: Golang používa systémové volanie mmap (Memory Map) na alokáciu veľkých blokov virtuálnej pamäte pre haldu.
• Nepretržitosť: Na rozdiel od niektorých jazykov, Go nezaručuje fyzickú kontinuálnosť objektov v halde. Pamäť môže byť fragmentovaná.
• Chýbajúca manuálna správa pamäte: Vývojár nemusí explicitne alokovať alebo uvoľňovať pamäť v hale. GC to robí automaticky.

Zásobník a halda v Golangu plnia rôzne úlohy:

Oblasť pamäte	Účel	Správa	Doba životnosti
Zásobník	Lokálne premenné, parametre funkcií, návratové adresy	Automatická (pri vstupe/výstupe z funkcie)	Obmedzená dobou behu funkcie
Halda	Dynamicky alokované objekty, ktoré "utiekajú" zo zásobníka, veľké štruktúry	Sběrač odpadkov (GC)	Určuje dostupnosť objektu z koreňov