Memory management ve garbage collection .NET'te nasıl çalışır?

Question

Accepted Answer

.NET, memory'yi **otomatik olarak** bir **garbage collector (GC)** aracılığıyla yönetir — nesneleri managed heap'e allocate eder ve artık erişilemeyen nesneleri geri kazanır, bu nedenle memory'yi manuel olarak serbest bırakmak zorunda değilsiniz. GC'yi anlamak (generational, stack/heap split'i ve `IDisposable`'ı) performans ve doğruluk açısından önemlidir.

## Stack vs heap

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

## Generational garbage collector

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

GC, erişilebilen nesneleri (köklardan: stack, static alanlar) işaretler ve geri kalanını geri kazanır. **Generational** yapıdadır — çoğu nesne gençken ölür, bu nedenle Gen 0 sık ve ucuz bir şekilde toplanırken, Gen 2'deki uzun ömürlü nesneler nadiren toplanır.

## IDisposable ve using — unmanaged kaynaklar için

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

GC, managed memory'yi serbest bırakır, ancak **unmanaged kaynaklar** (dosya handles'ları, DB bağlantıları, socketler) **`IDisposable`/`Dispose()`** aracılığıyla açık temizlik gerektirir — `using` ifadesi bunu belirlenimci şekilde garanti eder (GC'nin beklenmez).

## Memory leak'ler yine de oluşabilir

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

## Neden önemli

.NET memory management'ı ve garbage collection'ı anlamak, verimli ve doğru C# yazma için değerli senior-level bilgidir — GC sizi manuel memory management'tan (major productivity ve safety avantajı, manuel `free` ve dangling pointer'ları elimine eder) kurtarır, ancak *nasıl* çalıştığını anlamak performans-duyarlı uygulamalar ve özü itibaren zor hatalardan kaçınmak için önemlidir.

**Generational GC**'yi anlamak (Gen 0 sık ve ucuz toplanır, Gen 2 nadiren ancak pahalı toplanır, çoğu nesnenin gençken ölmesi gözlemine dayanır) allocation pattern'lerini ve GC pressure'ını (özellikle kısa ömürlü nesnelerin allocations'ını azaltmak, GC overhead'ini düşürür) anlayabilmenize yardımcı olur.

**Stack vs heap** ayrımı (value types stack'te, reference objects heap'te) value/reference type modeline bağlanır.

Critical olarak, **`IDisposable`/`Dispose()` ve `using` ifadesini** anlamak gerekli ve pratiktir: GC *memory*'yi yönetir ancak *unmanaged kaynakları* (dosya handles'ları, database bağlantıları, socketler) yönetmez, bunlar `using` aracılığıyla belirlenimci temizlik gerektirir — bu kaynakları dispose etmemek resource leak'leri (yaygın bir gerçek hata) neden olur.

Eşit derecede önemli olan, GC'ye rağmen **memory leak'lerin yine de oluşabileceğini** tanımaktır, lingering reference'lardan (büyüyen static cacheler, unsubscribe edilmeyen event handler'ları aboneleri canlı tutarlar — klasik bir C# leak).

GC'nin generational modelini, resource-disposal pattern'ini (`IDisposable`/`using`) ve leak'lerin nedenlerini anlamak, verimli ve leak-free C# yazma için, özellikle long-running uygulamalarda önemlidir — bu, verimli ve doğru .NET uygulamaları oluşturabilen developer'ları ayıran ve yaygın bir senior-level interview konusu olan değerli bilgidir.