كيف يعمل إدارة الذاكرة وجمع القمامة في .NET؟

Question

Accepted Answer

.NET تدير الذاكرة **تلقائيًا** عبر **جامع القمامة (GC)** — فهي تخصص الكائنات على الكومة المُدارة وتستعيد تلك التي لم تعد قابلة للوصول، لذا لا تحتاج إلى تحرير الذاكرة يدويًا. فهم جامع القمامة (الجيلي، تقسيم المكدس/الكومة، و`IDisposable`) مهم للأداء والصحة.

## المكدس مقابل الكومة

```text
Stack → value types (locals), method frames; fast, automatically freed when scope ends.
Heap  → reference type objects (class instances); managed by the GC.
A reference variable lives on the stack but points to its object on the heap.
```

## جامع القمامة الجيلي

```text
The GC divides the heap into GENERATIONS (based on the "most objects die young" idea):
  Gen 0 → newest objects; collected FREQUENTLY (fast, cheap)
  Gen 1 → survived one collection
  Gen 2 → long-lived objects; collected RARELY (expensive)
  (+ Large Object Heap for big objects)
→ Collecting young generations often + old ones rarely makes the GC efficient.
```

يشير جامع القمامة إلى الكائنات القابلة للوصول (من الجذور: المكدس، الحقول الثابتة) ويستعيد الباقي. إنه **جيلي** — معظم الكائنات تموت صغيرة، لذا يتم جمع الجيل 0 بشكل متكرر وبتكلفة منخفضة، بينما الكائنات طويلة الأمد في الجيل 2 يتم جمعها نادرًا.

## IDisposable و using — للموارد غير المُدارة

```csharp
// the GC handles MANAGED memory, but NOT unmanaged resources (files, connections, handles)
// → implement IDisposable and use `using` for deterministic cleanup
using (var file = new StreamReader("data.txt"))
{
    // use file
}   // file.Dispose() called automatically — releases the file handle NOW
```

يحرر جامع القمامة الذاكرة المُدارة، لكن **الموارد غير المُدارة** (معالجات الملفات، اتصالات قواعد البيانات، المقابس) تحتاج إلى تنظيف صريح عبر **`IDisposable`/`Dispose()`** — عبارة `using` تضمن هذا بشكل حتمي (لا تنتظر جامع القمامة).

## تسريب الذاكرة لا يزال يحدث

```text
The GC frees only UNREACHABLE objects. "Leaks" come from lingering references:
  ✗ static collections/caches that only grow
  ✗ un-unsubscribed event handlers (the publisher keeps subscribers alive!)
  ✗ long-lived objects holding references to short-lived ones
```

## لماذا يهم

فهم إدارة الذاكرة وجمع القمامة في .NET هو معرفة قيّمة على مستوى كبار المهندسين لكتابة C# فعّال وصحيح — بينما يحررك جامع القمامة من الإدارة اليدوية للذاكرة (فائدة إنتاجية وأمان كبيرة، تلغي `free` اليدوية والمؤشرات المعلقة)، فهم *كيفية* عمله مهم للتطبيقات الحساسة للأداء وتجنب الأخطاء الدقيقة.

معرفة **جامع القمامة الجيلي** (الجيل 0 يُجمع بشكل متكرر وبتكلفة منخفضة، الجيل 2 نادرًا لكن بتكلفة عالية، بناءً على الملاحظة أن معظم الكائنات تموت صغيرة) تساعدك على التفكير في أنماط التخصيص وضغط جامع القمامة (تقليل التخصيصات، خاصة للكائنات قصيرة الأجل، يقلل من نفقات جامع القمامة).

التمييز **بين المكدس والكومة** (أنواع القيم على المكدس، كائنات المرجع على الكومة) يتصل بنموذج نوع القيمة/المرجع.

بشكل حاسم، فهم **`IDisposable`/`Dispose()` وعبارة `using`** ضروري وعملي: جامع القمامة يدير *الذاكرة* لكن ليس *الموارد غير المُدارة* (معالجات الملفات، اتصالات قواعد البيانات، المقابس)، التي تحتاج إلى تنظيف حتمي عبر `using` — الفشل في التخلص من هذه يسبب تسريب الموارد (خطأ حقيقي شائع).

بنفس الأهمية، الاعتراف بأن **تسريب الذاكرة لا يزال يحدث** رغم وجود جامع القمامة، من المراجع المتبقية (الذاكرات المؤقتة الثابتة المتزايدة، معالجات الأحداث غير الملغاة التي تبقي المشتركين على قيد الحياة — تسرب C# الكلاسيكي).

فهم النموذج الجيلي لجامع القمامة، نمط التخلص من الموارد (`IDisposable`/`using`)، وأسباب التسريبات مهم لكتابة C# فعّال وخالي من التسريبات، خاصة في التطبيقات طويلة الأجل — مما يجعلها معرفة قيّمة تميز المطورين القادرين على بناء تطبيقات .NET فعّالة وصحيحة، وهي موضوع مقابلة عام على مستوى كبار المهندسين.