كيف يعمل الذاكرة والتجميع التلقائي للقمامة في JVM؟

Question

Accepted Answer

يدير JVM **الذاكرة تلقائياً** — بتخصيص الكائنات وتحرير الكائنات التي لا يمكن الوصول إليها عبر **تجميع القمامة (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+) ``` الكائنات تعيش على **الكومة**؛ المتغيرات المحلية والمراجع تعيش على **المكدسات** الخاصة بكل خيط. يركز GC على الكومة. ## فرضية الأجيال ```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: وضع العلامات والمسح ```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 بإيجاده واستعادته. ## GC البسيط مقابل 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) ``` ## تسريب الذاكرة يحدث أيضاً (رغم وجود GC) ```java // ❌ a leak: a static collection that only grows keeps objects REACHABLE forever static List

مناطق ذاكرة JVM

فرضية الأجيال

كيفية عمل GC: وضع العلامات والمسح

GC البسيط مقابل GC الرئيسي

خوارزميات GC (اختر حسب الحمل الكهربائي)

تسريب الذاكرة يحدث أيضاً (رغم وجود GC)

لماذا يأتي هذا بأهمية