หน่วยความจำของ JVM และ garbage collection ทำงานอย่างไร?

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** ส่วนตัวแปรท้องถิ่นและ reference อยู่บน **stack** ของแต่ละเธรด GC โฟกัสที่ heap ## สมมติฐานเชิงรุ่น (generational hypothesis) ```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 และ 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 ``` อ็อบเจกต์จะเป็นขยะเมื่อมัน **เข้าถึงไม่ได้ (reachable)** จาก GC root ใด ๆ อีกต่อไป คุณไม่ต้องคืนมันเอง 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 (เลือกตามลักษณะงาน) ```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) ``` ## memory leak ยังเกิดขึ้นได้ (ทั้งที่มี GC) ```java // ❌ a leak: a static collection that only grows keeps objects REACHABLE forever static List

ส่วนต่าง ๆ ของหน่วยความจำ JVM

สมมติฐานเชิงรุ่น (generational hypothesis)

GC ทำงานอย่างไร: mark และ sweep

Minor vs Major GC

อัลกอริทึม GC (เลือกตามลักษณะงาน)

memory leak ยังเกิดขึ้นได้ (ทั้งที่มี GC)

ทำไมจึงสำคัญ