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

Question

Accepted Answer

Η JVM **διαχειρίζεται αυτόματα τη μνήμη** — κατανέμει αντικείμενα και ελευθερώνει μη προσβάσιμα μέσω **garbage collection (GC)** — ώστε δεν χρειάζεται να ελευθερώνετε τη μνήμη χειручαι. Η κατανόηση των περιοχών μνήμης και της συμπεριφοράς του GC είναι ζωτικής σημασίας για τη βελτιστοποίηση της απόδοσης και τη διάγνωση προβλημάτων μνήμης. ## Περιοχές μνήμης JVM ```text HEAP — where all OBJECTS live (shared across threads), GC operates here ├── Young Generation — new objects (most die young) │ ├── Eden — new allocations go here │ └── Survivor — objects that survived a young GC └── Old (Tenured) Gen — long-lived objects (promoted from young) STACK — per-thread; method frames, local variables, primitive locals, references Metaspace — class metadata (replaced PermGen in Java 8+) ``` Τα αντικείμενα ζουν στο **heap**· οι τοπικές μεταβλητές και οι αναφορές ζουν σε per-thread **stacks**. Το GC εστιάζει στο heap. ## Η γενιακή υπόθεση ```text Observation: MOST objects die young (short-lived). → GC splits the heap into generations and collects the young gen FREQUENTLY (cheap, fast) and the old gen RARELY (expensive). ``` ## Πώς λειτουργεί το GC: mark and sweep ```text 1. MARK — starting from GC roots (stack refs, static fields), mark all REACHABLE objects 2. SWEEP — reclaim memory of unmarked (unreachable) objects 3. COMPACT— (often) move survivors together to reduce fragmentation ``` Ένα αντικείμενο είναι σκουπίδια όταν δεν είναι πλέον **προσβάσιμο** από καμιά GC ρίζα. Δεν το ελευθερώνετε — το GC το βρίσκει και το ανακτά. ## Minor vs Major GC ```text Minor GC — collects the Young Generation; frequent, fast, short pause Major/Full GC — collects the Old Generation (and more); rarer, longer pause → long Full GC pauses ("stop-the-world") are a common performance concern ``` ## Αλγόριθμοι GC (επιλέξτε ανά workload) ```text G1 GC (default, Java 9+) — balanced, predictable pause times, good general choice Parallel GC — max throughput (batch jobs), longer pauses acceptable ZGC / Shenandoah — very low pause times for large heaps (latency-sensitive apps) ``` ## Διαρροές μνήμης συνεχίζουν να συμβαίνουν (παρά το GC) ```java // ❌ a leak: a static collection that only grows keeps objects REACHABLE forever static List

Περιοχές μνήμης JVM

Η γενιακή υπόθεση

Πώς λειτουργεί το GC: mark and sweep

Minor vs Major GC

Αλγόριθμοι GC (επιλέξτε ανά workload)

Διαρροές μνήμης συνεχίζουν να συμβαίνουν (παρά το GC)

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