Πώς είναι δομημένη η στοίβα στη γλώσσα Go;

Στο Golang, η στοίβα (heap) είναι μια περιοχή μνήμης όπου τοποθετούνται δυναμικά κατανεμημένα αντικείμενα. Ο διαχειριστής αυτής της μνήμης γίνεται αυτόματα από τον συλλέκτη απορριμμάτων.

Βασικά στοιχεία:

• Δυναμική κατανομή: Αντικείμενα μικρού μεγέθους και σύντομης διάρκειας ζωής, όπου ο μεταγλωττιστής δεν μπορεί να αποδείξει ότι ο χρόνος ζωής τους περιορίζεται από το πλαίσιο της συνάρτησης ή της στοίβας, ή που κατανεμούνται με new ή με λήψη διεύθυνσης (&), τοποθετούνται συνήθως στη στοίβα.
• Συλλέκτης απορριμμάτων (GC): Το Go χρησιμοποιεί έναν ταυτόχρονο, τριχρωματικό, Mark-and-Sweep συλλέκτη απορριμμάτων. Λειτουργεί παράλληλα με την εκτέλεση του προγράμματος, ελαχιστοποιώντας τις διακοπές.
  • Mark (Σήμανση): Ο GC διασχίζει τα προσιτά αντικείμενα από τους ριζικούς δείκτες (τοπικές μεταβλητές στις στοίβες, παγκόσμιες μεταβλητές) και τα σημαδεύει ως "ζωντανά".
  • Sweep (Καθάρισμα): Ο GC διατρέχει ολόκληρη τη διαθέσιμη στοίβα και ελευθερώνει τη μνήμη που καταλαμβάνεται από αντικείμενα που δεν έχουν σημαδευτεί ως "ζωντανά".
  • Ταυτόχρονα: Ο GC λειτουργεί σε ξεχωριστές goroutines, μειώνοντας τις καθυστερήσεις στην κύρια λειτουργία.
• Escape Analysis: Ο μεταγλωττιστής Golang πραγματοποιεί ανάλυση (escape analysis) για να καθορίσει πού δείχνει μια μεταβλητή ή μια τιμή — στη στοίβα ή στη στοίβα. Αν μια μεταβλητή ή ένα πεδίο δομής μπορεί να είναι διαθέσιμο μετά την επιστροφή από την τρέχουσα goroutine, πιθανότατα θα κατανεμηθεί στη στοίβα. Διαφορετικά, μπορεί να κατανεμηθεί στη στοίβα.

  // Παράδειγμα escape analysis.
  // Αυτό το αντικείμενο πιθανότατα θα κατανεμηθεί στη στοίβα,
  // καθώς επιστρέφεται δείκτης.
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // Ο δείκτης "φεύγει" από τη συνάρτηση
  }
  
  // Αυτό το αντικείμενο πιθανότατα θα κατανεμηθεί στη στοίβα,
  // καθώς δεν είναι διαθέσιμο μετά το τέλος της συνάρτησης.
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• Διαίρεση σε Αρένες (Arenas): Η στοίβα στο Go μπορεί να διαιρεθεί σε πολλαπλές αρένες, κάτι που βοηθά τον συλλέκτη απορριμμάτων να λειτουργεί πιο αποτελεσματικά, ειδικά σε συστήματα πολλαπλών επεξεργαστών.
• Χρήση mmap: Το Golang χρησιμοποιεί την κλήση συστήματος mmap (Memory Map) για την κατανομή μεγάλων μπλοκ εικονικής μνήμης για τη στοίβα.
• Συνεχόμενη κατανομή: Σε αντίθεση με ορισμένες γλώσσες, το Go δεν εγγυάται φυσική συνεχόμενη κατανομή αντικειμένων στη στοίβα. Η μνήμη μπορεί να είναι κατακερματισμένη.
• Έλλειψη χειροκίνητου διαχειρισμού μνήμης: Ο προγραμματιστής δεν χρειάζεται να κατανεμήσει ή να ελευθερώσει ρητά μνήμη στη στοίβα. Ο GC το κάνει αυτό αυτόματα.

Οι στοίβα και η στοίβα στη Golang εκτελούν διαφορετικούς ρόλους:

Περιοχή μνήμης	Προορισμός	Διαχείριση	Χρόνος ζωής
Στοίβα	Τοπικές μεταβλητές, παράμετροι συναρτήσεων, διευθύνσεις επιστροφής	Αυτόματο (κατά την είσοδο/έξοδο από τη συνάρτηση)	Περιορισμένος από το χρόνο εκτέλεσης της συνάρτησης
Στοίβα	Δυναμικά κατανεμημένα αντικείμενα, αυτά που "φεύγουν" από τη στοίβα, μεγάλες δομές	Συλλέκτης απορριμμάτων (GC)	Ορίζεται από την προσβασιμότητα του αντικειμένου από τις ρίζες