كيف تدير Python الذاكرة وجمع القمامة؟

Question

Accepted Answer

تدير Python الذاكرة **تلقائياً** باستخدام آليتين: **عد المراجع** (الطريقة الأساسية) بالإضافة إلى **جامع القمامة الدوري** الذي يتعامل مع دورات المراجع. لا تقوم أبداً بتحرير الذاكرة يدوياً، لكن فهم كيفية عملها يشرح سلوك الذاكرة والتسريبات.

## عد المراجع — الآلية الأساسية

```python
import sys

x = [1, 2, 3]        # the list object has refcount 1
y = x                 # refcount 2 (another name references it)
sys.getrefcount(x)    # shows the count (slightly higher due to the call itself)

del y                 # refcount 1
del x                 # refcount 0 → the object is FREED immediately
```

كل كائن يتتبع عدد المراجع التي تشير إليه. عندما يصل العدد إلى **صفر**، يتم تحرير الذاكرة **فوراً**. هذا حتمي وسريع — تختفي الكائنات بمجرد عدم وجود شيء يشير إليها.

## المشكلة: دورات المراجع

```python
# reference counting alone can't free this:
a = {}
b = {}
a["b"] = b      # a references b
b["a"] = a      # b references a → they reference EACH OTHER
del a, b        # the names are gone, but the objects still reference each other
# → refcounts never reach 0 → they'd leak with refcounting alone
```

كائنان يشير كل منهما للآخر يحافظان على عدد المراجع لكل منهما فوق الصفر حتى عندما تكونا غير قابلة للوصول — دورة لا يستطيع عد المراجع البحت جمعها.

## جامع القمامة الدوري

```python
import gc

# the generational GC periodically finds and frees unreachable CYCLES
gc.collect()        # manually trigger a collection
gc.get_count()      # objects tracked per generation
```

جامع القمامة **التوليدي الإضافي** في Python يكتشف ويحرر هذه الدورات غير القابلة للوصول بشكل دوري. إنه *توليدي* — يتم فحص الكائنات الأحدث بشكل متكرر (معظم الكائنات تموت صغيرة)، وهذا فعال.

## الآثار العملية ومصادر التسرب

```text
✓ Most memory is reclaimed promptly via reference counting
⚠️ Leaks still happen from REACHABLE references that outlive their usefulness:
   - global caches/lists that only grow
   - objects held by long-lived closures or class attributes
   - registered callbacks/listeners never removed
```

جامع القمامة يتعامل مع الدورات، لكنه لا يستطيع تحرير الكائنات التي لا تزال *قابلة للوصول* — "التسريب" الشائع في العالم الحقيقي هو الاحتفاظ بالمراجع دون قصد (مثل ذاكرة تخزين مؤقت عام متزايدة باستمرار).

## تفاصيل أخرى

```text
- Small integers (-5..256) and short strings are CACHED/interned (shared, reused)
- CPython uses memory pools (pymalloc) for small objects (efficiency)
```

## لماذا يهم هذا

فهم نموذج الذاكرة في Python — عد المراجع السريع بالإضافة إلى جامع القمامة الدوري — يشرح السلوكيات الحقيقية: لماذا يتم تحرير الكائنات عادة فوراً، لماذا تحتاج دورات المراجع إلى جامع القمامة، والأهم من ذلك لماذا تأتي "تسريبات الذاكرة" في Python من مراجع *قابلة للوصول* (ذاكرات التخزين المؤقت المتزايدة، والإغلاقات العالقة، والاستدعاءات غير المزالة) بدلاً من الأفراج المنسيّة.

هذه المعرفة ضرورية لتشخيص نمو الذاكرة في الخدمات طويلة الأمد وللكتابة بوعي للذاكرة — معرفة أن الحل عادة ما يكون قطع المراجع (تحديد حدود ذاكرات التخزين المؤقت، تنظيف التسجيلات) بدلاً من أي شيء يستطيع جامع القمامة أن يفعله من أجلك.