Generations ve Large nesne yığını hakkında okudum. Ama yine de Büyük nesne yığınına sahip olmanın önemi (veya faydası) ne olduğunu anlayamıyorum?
CLR, büyük nesneleri depolamak için 2. Nesil'e (Gen0 ve Gen1 için eşiğin Büyük nesneleri işlemek için küçük olduğu düşünüldüğünde) güvenmiş olsaydı (performans veya bellek açısından) ne ters gidebilirdi?
Yanıtlar:
Bir çöp toplama sadece referans verilmeyen nesnelerden kurtulmakla kalmaz, aynı zamanda yığını da sıkıştırır . Bu çok önemli bir optimizasyon. Sadece bellek kullanımını daha verimli hale getirmekle kalmaz (kullanılmayan delikler yok), CPU önbelleğini çok daha verimli hale getirir. Önbellek, modern işlemciler için gerçekten çok önemli, bellek veri yolundan daha hızlı, kolay bir büyüklük sıralaması.
Sıkıştırma, baytları kopyalayarak yapılır. Ancak bu zaman alır. Nesne ne kadar büyükse, onu kopyalama maliyetinin olası CPU önbellek kullanım iyileştirmelerinden daha ağır basma olasılığı o kadar yüksektir.
Bu yüzden başa baş noktasını belirlemek için bir dizi kıyaslama yaptılar. Ve kopyalamanın artık performansı iyileştirmediği kesme noktası olarak 85.000 bayta ulaştı. İkili diziler için özel bir istisna ile, dizi 1000'den fazla öğe içerdiğinde bunlar 'büyük' olarak kabul edilir. Bu, 32 bit kod için başka bir optimizasyondur, büyük nesne yığın ayırıcısı, yalnızca 4'e hizalı ayıran normal nesil ayırıcıdan farklı olarak, 8'e hizalanmış adreslerde bellek ayırma özelliğine sahiptir. Bu hizalama, çift için büyük bir olaydır yanlış hizalanmış bir çift okumak veya yazmak çok pahalıdır. İşin garibi, seyrek Microsoft bilgisi asla uzun dizilerden bahsetmiyor, bunun ne olduğundan emin değil.
Fwiw, büyük nesne yığınının sıkıştırılmaması konusunda çok sayıda programcı endişesi var. Bu, mevcut tüm adres alanının yarısından fazlasını kullanan programlar yazdıklarında her zaman tetiklenir. Ardından, kullanılmayan çok sayıda sanal bellek olmasına rağmen programın neden bombalandığını öğrenmek için bellek profili oluşturucu gibi bir araç kullanılır. Böyle bir araç, daha önce büyük bir nesnenin yaşadığı ancak çöpün toplandığı kullanılmayan bellek parçalarını, LOH'daki delikleri gösterir. Bu, LOH'nin kaçınılmaz fiyatıdır, delik yalnızca boyutu eşit veya daha küçük olan bir nesne için bir tahsis tarafından yeniden kullanılabilir. Gerçek sorun, bir programın herhangi bir zamanda tüm sanal belleği kullanmasına izin verilmesi gerektiğini varsaymaktır .
Aksi halde kodu 64 bit işletim sisteminde çalıştırarak tamamen ortadan kalkan bir sorun. 64 bitlik bir işlem, 8 terabaytlık sanal bellek adres alanına sahiptir, 32 bitlik bir işlemden 3 büyüklük sırası daha fazladır. Sadece deliklerden kaçamazsın.
Uzun lafın kısası, LOH kodun daha verimli çalışmasını sağlar. Mevcut sanal bellek adres alanını kullanma pahasına daha az verimli.
UPDATE, .NET 4.5.1 artık LOH, GCSettings.LargeObjectHeapCompactionMode özelliğini sıkıştırmayı destekliyor . Sonuçlarına dikkat edin lütfen.
Nesnenin boyutu bazı sabitlenmiş değerlerden (.NET 1'de 85000 bayt) büyükse, CLR onu Büyük Nesne Yığını'na koyar. Bu optimize eder:
Küçük Nesne Yığını (SOH) ve Büyük Nesne Yığını (LOH) arasındaki temel fark, bu makalede gösterildiği gibi, SOH'daki belleğin toplandığında sıkıştırılması ve LOH'nin sıkıştırılmamasıdır . Büyük nesnelerin sıkıştırılması çok maliyetlidir. Makaledeki örneklere benzer şekilde, diyelim ki bellekteki bir baytı taşımak için 2 döngü gerekiyor, ardından 2GHz'lik bir bilgisayarda 8 MB'lık bir nesneyi sıkıştırmak için 8ms gerekiyor, bu da büyük bir maliyet. Büyük nesnelerin (çoğu durumda diziler) pratikte oldukça yaygın olduğu düşünüldüğünde, sanırım Microsoft'un bellekte büyük nesneleri iğnelemesinin ve LOH önermesinin nedeni budur.
BTW, bu gönderiye göre , LOH genellikle bellek parçası sorunları oluşturmaz.
Prensip, bir sürecin çok sayıda kısa ömürlü büyük nesneler yaratmasının olası olmaması (ve muhtemelen kötü tasarım) olmasıdır, bu nedenle CLR, büyük nesneleri, GC'yi normal yığından farklı bir zamanlamayla çalıştırdığı ayrı bir yığına tahsis eder. http://msdn.microsoft.com/en-us/magazine/cc534993.aspx
CLR konusunda uzman değilim, ancak büyük nesneler için ayrılmış bir yığına sahip olmanın, mevcut nesil yığınlarının gereksiz GC taramalarını önleyebileceğini hayal ediyorum. Büyük bir nesnenin tahsis edilmesi, önemli miktarda bitişik boş bellek gerektirir. Nesil yığınlarındaki dağınık "deliklerden" bunu sağlamak için, sık sık sıkıştırmalara ihtiyacınız olacaktır (bunlar yalnızca GC döngüleri ile yapılır).