Bộ nhớ JVM và garbage collection hoạt động như thế nào?

Question

Accepted Answer

JVM **tự động quản lý bộ nhớ** — cấp phát object và giải phóng những object không còn truy cập được thông qua **garbage collection (GC)** — nên bạn không cần giải phóng bộ nhớ thủ công. Hiểu các vùng bộ nhớ và hành vi của GC là chìa khóa để tinh chỉnh performance và chẩn đoán các vấn đề về bộ nhớ. ## Các vùng bộ nhớ JVM ```text HEAP — nơi tất cả OBJECT tồn tại (được chia sẻ giữa các thread), GC hoạt động ở đây ├── Young Generation — object mới (đa số chết sớm) │ ├── Eden — các cấp phát mới vào đây │ └── Survivor — object đã sống sót qua một lần young GC └── Old (Tenured) Gen — object sống lâu (được promote từ young) STACK — theo từng thread; method frame, biến cục bộ, primitive cục bộ, reference Metaspace — metadata của class (thay thế PermGen từ Java 8+) ``` Object tồn tại trên **heap**; biến cục bộ và reference tồn tại trên **stack** của từng thread. GC tập trung vào heap. ## Giả thuyết generational ```text Quan sát: ĐA SỐ object chết sớm (sống ngắn). → GC chia heap thành các generation và thu gom young gen THƯỜNG XUYÊN (rẻ, nhanh) và old gen HIẾM KHI (đắt đỏ). ``` ## GC hoạt động ra sao: mark and sweep ```text 1. MARK — bắt đầu từ các GC root (stack ref, static field), đánh dấu mọi object CÓ THỂ TRUY CẬP 2. SWEEP — thu hồi bộ nhớ của các object không được đánh dấu (không truy cập được) 3. COMPACT— (thường) gom các object còn sống lại với nhau để giảm phân mảnh ``` Một object là garbage khi nó không còn **truy cập được** từ bất kỳ GC root nào. Bạn không giải phóng nó — GC sẽ tìm và thu hồi nó. ## Minor vs Major GC ```text Minor GC — thu gom Young Generation; thường xuyên, nhanh, pause ngắn Major/Full GC — thu gom Old Generation (và hơn nữa); hiếm hơn, pause dài hơn → các Full GC pause dài ("stop-the-world") là mối lo performance phổ biến ``` ## Các thuật toán GC (chọn theo workload) ```text G1 GC (mặc định, Java 9+) — cân bằng, pause time dự đoán được, lựa chọn chung tốt Parallel GC — throughput tối đa (batch job), pause dài hơn chấp nhận được ZGC / Shenandoah — pause time cực thấp cho heap lớn (ứng dụng nhạy với latency) ``` ## Memory leak vẫn xảy ra (dù có GC) ```java // ❌ một leak: một static collection chỉ tăng lên giữ các object luôn TRUY CẬP ĐƯỢC mãi mãi static List

Các vùng bộ nhớ JVM

Giả thuyết generational

GC hoạt động ra sao: mark and sweep

Minor vs Major GC

Các thuật toán GC (chọn theo workload)

Memory leak vẫn xảy ra (dù có GC)

Tại sao điều này quan trọng