Πώς διαχειρίζεται η Go τη μνήμη και τη συλλογή σκουπιδιών;

Question

Accepted Answer

Η Go **διαχειρίζεται αυτόματα τη μνήμη** με έναν garbage collector, απαλλάσσοντάς σας από την χειροκίνητη κατανομή/απελευθέρωση. Ο GC της είναι ένας **concurrent, χαμηλής καθυστέρησης, non-generational mark-and-sweep** collector σχεδιασμένος για την ελαχιστοποίηση των χρόνων παύσης — ένας κύριος λόγος που η Go είναι κατάλληλη για υπηρεσίες ευαίσθητες στη λανθάνουσα.

## Stack έναντι heap και escape analysis

```go
// the compiler decides where each value lives via ESCAPE ANALYSIS
func noEscape() int {
    x := 42        // stays on the STACK — doesn't escape, freed when function returns (cheap)
    return x
}
func escapes() *int {
    x := 42        // ESCAPES to the HEAP — its pointer outlives the function (GC-managed)
    return &x
}
```

Ο compiler της Go εκτελεί **escape analysis** κατά τη σύνταξη: οι τιμές που δεν ζουν περισσότερο από τη συνάρτησή τους παραμένουν στο φθηνό, αυτόματα απελευθερούμενο **stack**· οι τιμές των οποίων οι αναφορές διαφεύγουν πηγαίνουν στο **heap** (όπου ο GC τις διαχειρίζεται). Η κατανομή stack είναι ουσιαστικά δωρεάν, επομένως η ελαχιστοποίηση των heap escapes μειώνει το έργο του GC.

## Ο garbage collector: concurrent mark-and-sweep

```text
Go's GC characteristics:
  ✓ MARK-AND-SWEEP — marks reachable objects (from roots), sweeps the rest
  ✓ CONCURRENT — runs mostly alongside your program (not stop-the-world)
  ✓ LOW LATENCY — optimized for short pauses (typically sub-millisecond), not throughput
  ✓ NON-GENERATIONAL — unlike the JVM, treats all objects uniformly (simpler)
```

Η Go δίνει σκόπιμα προτεραιότητα στις **χαμηλές χρόνους παύσης** έναντι της ακατέργαστης απόδοσης — ο GC κάνει το περισσότερο έργο ταυτόχρονα με το πρόγραμμά σας, διατηρώντας τις "stop-the-world" παύσεις πολύ σύντομες. Αυτό κάνει τη Go ισχυρή για διακομιστές ευαίσθητους στη λανθάνουσα.

## Ρύθμιση του GC

```bash
GOGC=100   # default: trigger GC when heap grows 100% since the last collection
           # higher GOGC → less frequent GC (more memory, less CPU)
           # lower GOGC → more frequent GC (less memory, more CPU)
GOMEMLIMIT=2GiB   # a soft memory limit (Go 1.19+) — GC works harder near it
```

## Μείωση της πίεσης GC (τεχνική απόδοσης)

```go
// 1. reuse objects with sync.Pool to reduce allocations
var bufPool = sync.Pool{New: func() any { return new(bytes.Buffer) }}
buf := bufPool.Get().(*bytes.Buffer)
defer bufPool.Put(buf)

// 2. preallocate slices with known capacity (avoid repeated growth/realloc)
data := make([]int, 0, 1000)

// 3. minimize heap escapes; avoid unnecessary pointers/allocations in hot loops
```

Άλλες κατανομές = λιγότερο έργο GC. Το `sync.Pool` (επαναχρησιμοποίηση αντικειμένων), η προκατανομή και η ελαχιστοποίηση των escapes είναι οι κύριοι τρόποι για την μείωση της πίεσης του GC σε hot paths.

## Οι διαρροές μνήμης συμβαίνουν ακόμα

```text
GC frees only UNREACHABLE objects. Leaks come from lingering REFERENCES:
  ✗ goroutine leaks (a blocked goroutine keeps its referenced memory alive)
  ✗ growing global maps/slices, unclosed resources, forgotten subscriptions
```

## Γιατί έχει σημασία

Η αυτόματη διαχείριση μνήμης της Go είναι μια σημαντική νίκη παραγωγικότητας και ασφάλειας (χωρίς χειροκίνητη απελευθέρωση, χωρίς αιωρούμενες δείκτες), αλλά η κατανόηση του *πώς* λειτουργεί είναι πολύτιμη για εφαρμογές ευαίσθητες στην απόδοση και τη λανθάνουσα — για τις οποίες η Go συχνά επιλέγεται.

Κύρια ενοράματα: το **escape analysis** καθορίζει την κατανομή stack έναντι heap (το stack είναι δωρεάν· η ελαχιστοποίηση των heap escapes μειώνει το έργο του GC), και ο **concurrent, χαμηλής καθυστέρησης GC** της Go δίνει προτεραιότητα στις σύντομες παύσεις έναντι της απόδοσης (ιδανικό για διακομιστές, σε αντίθεση με collectors εστιασμένους στην απόδοση).

Η γνώση του τρόπου μείωσης της πίεσης του GC (`sync.Pool`, προκατανομή, λιγότερες κατανομές σε hot loops), της ρύθμισής του (`GOGC`, `GOMEMLIMIT`), και η αναγνώριση ότι **οι διαρροές ακόμα συμβαίνουν** από αιωρούμενες αναφορές (ειδικά goroutine leaks) είναι σημαντική για τη λειτουργία υπηρεσιών Go υψηλής απόδοσης.

Αυτή είναι βαθιά, πρακτική γνώση που διακρίνει senior Go developers και είναι ένα συνηθισμένο advanced interview topic για ρόλους ευαίσθητους στην απόδοση.