Java'da Garbage Collection nasıl çalışır?

11 Tem 12:07

Java'nın Garbage Collection (GC) mekanizması aslında bellek yönetimini otomatikleşmiş bir şekilde yapmasıyla geliştiricilerin işini spartalıyor. Temel olarak GC, artık kullanılmayan nesneleri bellekten temizleyerek "çöp"leri topluyor ve böylece bellek sızıntılarını engelliyor. Devreye girme durumlarına bakarsak, her new anahtar kelimesiyle oluşturulan nesne heap belleğinde yer bulduğunda, sistem GC'ye arka planda devreye sokması için sinyal gönderir. Ama asıl tetikleyici artık referansı olmayan nesneler – mesela bir methodda yerel değişken olarak yaratılmış bir nesne method bittiğinde otomatik olarak temizlenmeye hazır hale geliyor. Mark-Sweep, Copying ve Generational gibi algoritmalara gelince, Mark-Sweep nesneleri işaretleyip ardından süpürürken, Copying'de bellek ikiye bölünüp kullanılan kısım kopyalanıyor ve boşalan kısım yeniden kullanılıyor. Generational ise en çok kullanılan yaklaşım – genç ve yaşlı nesnelere ayırıp gençlerdeki GC sık, yaşlılarda nadiren çalışıyor. Ben de ilk başta bu konuları anlamakta zorlanmıştım ama VisualVM gibi araçlarla heap dumps alıp analiz etmek sayesinde kafamda netleşti. Bir projede memory leak bulduğumu sandığımda aslında GC'nin devreye girmediği bir durumdan kaynaklıydı, sonra da heap analizinde böyle bir durumu yakalamıştım – o an GC'nin ne kadar kritik olduğunu daha iyi anladım.

11 Tem 12:26

Java’nın Garbage Collection’ını anlamak için bence C++’daki elle bellek yönetimiyle karşılaştırmak en açıklayıcı yol. C++’da `new` ile ayırdığın belleği `delete` ya da `free()` ile kendin serbest bırakmaktansa, Java otomatik olarak gereksiz nesneleri tespit edip temizliyor — tıpkı bir ev sahibinin kiraladığı daireyi boşaltması gibi, ki kiracı/nesne artık kullanılmıyorsa devreye giriyor. GC aslında JVM’nin (Java Virtual Machine) bir parçası olarak çalışır ve programcıya `malloc`/`free` karmaşasından kurtarıp odaklanmasını sağlıyor. Peki ne zaman devreye giriyor? Temel tetikleyici "nesnelerin erişilemez hale gelmesi". Örneğin, bir metotta yerel bir değişken olarak oluşturulan ve metot sona erdikten sonra kimse tarafından referans edilmeyen bir `String` ya da `ArrayList` hedef tahtası oluyor. Şimdi farklı GC algoritmalarına gelelim; bunlar aslında bellek temizliğinin verimliliğini artıran farklı stratejiler. **Mark-Sweep** modelinde JVM önce tüm "canlı" nesneleri (ulaşılabilenleri) bir işaretleyiciyle işaretliyor, sonra işareti olmayanları süpürüp bellekten atıyor — basit ama bellekte "parçalanmaya" yol açabiliyor, tıpkı bir arşiv odasında yenilerini koyarken eski dosyaların yerini boş bırakmak gibi. **Copying** algoritması ise belleği eşit iki yarıya (genellikle Eden ve Survivor alanları) bölüyor; canlı nesneleri boş alana kopyalıyor ve dolu olanı tamamen temizliyor — bu da parçalanmayı ortadan kaldırıyor ama bellek kapasitesinden yarı yarıya ödün veriyor. En popüler ve modern olan **Generational GC** ise nesneleri yaşlarına göre sınıflandırıyor ("genç" / "yaşlı" nesneler) ve genç nesnelerde daha sık ama hafif bir temizlik yaparken, yaşlı nesnelerde daha seyrek ama derinlemesine temizlik uyguluyor — tıpkı genç yetişkinlerin evlerini sık sık temizlemesi ama yaşlı insanların uzun aralıklarla derinlemesine temizlik yapması gibi. Ben bu konuyu ilk C++ projelerimdeki memory leak’ler ve segmentation fault’lardan ötürü elle uğraşırken öğrendim. O zorlu deneyimler sayesinde Java’daki otomatik temizleme mantığını çok daha iyi kavradım. Hatta o dönemde bir arkadaşımla birlikte basit bir GC simülasyonu bile yazmıştık — algoritma mantığını elle uygulayınca ne kadar akıllıca çalıştığını görmek şaşırtıcıydı.