Python belleği nasıl yönetir ve çöp toplayıcı nasıl çalışır?

Question

Accepted Answer

Python belleği **otomatik olarak** iki mekanizma kullanarak yönetir: **referans sayımı** (birincil yöntem) artı **döngüsel çöp toplayıcı** referans döngülerini işler. Belleği hiçbir zaman manuel olarak serbest bırakmazsınız, ancak nasıl çalıştığını anlamak bellek davranışını ve sızıntılarını açıklar.

## Referans sayımı — birincil mekanizma

```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
```

Her nesne, ona işaret eden kaç referans olduğunu takip eder. Sayı **sıfıra** düştüğünde, bellek **hemen** serbest bırakılır. Bu deterministik ve hızlıdır — nesneler onu referans alan hiçbir şey olmadığı anda yok olur.

## Sorun: referans döngüleri

```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
```

Birbirini referans alan iki nesne, ulaşılamaz olsa dahi birbirinin refcount'unu sıfırın üstünde tutar — saf referans sayımı toplayamayacağı bir döngü.

## Döngüsel çöp toplayıcı

```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'un ek **nesil tabanlı çöp toplayıcısı** periyodik olarak bu ulaşılamaz döngüleri algılar ve serbest bırakır. *Nesil tabanlı*dır — yeni nesneler daha sık kontrol edilir (çoğu nesne genç yaşta ölür), bu verimlidir.

## Pratik sonuçlar ve sızıntı kaynakları

```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
```

Çöp toplayıcı döngüleri işler, ancak hala *ulaşılabilir* nesneleri serbest bırakamazsa — yaygın gerçek dünya "sızıntısı", referansları yanlışlıkla canlı tutmaktır (örneğin, her zaman büyüyen global cache).

## Diğer detaylar

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

## Neden önemli

Python'un bellek modelini anlamak — hızlı referans sayımı artı bir döngüsel çöp toplayıcı — gerçek davranışları açıklar: nesnelerin neden genellikle hemen serbest bırakıldığını, referans döngülerinin neden çöp toplayıcıya ihtiyaç duyduğunu ve çok önemlisi Python'daki "bellek sızıntılarının" neden unutulan serbest bırakışlardan ziyade *ulaşılabilir* referanslarda (büyüyen cache'ler, kalıcı closure'lar, kaldırılmayan geri çağrılar) geldiğini.

Bu bilgi, uzun süre çalışan hizmetlerde bellek büyümesini tanılamak ve bellek bilincine sahip kod yazmak için gereklidir — çözümün genellikle çöp toplayıcı sizin için yapabileceği hiçbir şey yerine referansları kırmak (cache'leri sınırlandırmak, kaydı temizlemek) olduğunu bilmek.