Cevap.

Konunun geçmişi:

Dilime (slices) — Go'da, sabit uzunluktaki dizilere alternatif olarak ortaya çıkan ve bellek kullanımını artırmak için tasarlanan anahtar dinamik yapılardan biridir. Alt dizilerle esnek çalışmayı sağlar, ancak verimli ve güvenli kod yazmak için önemli olan bir dizi incelik barındırır.

Problem:

Birçok geliştirici dilimlerin tam olarak nasıl çalıştığını anlamaz: slice, kendisi bir dizi değildir; bir diziye işaret eden bir yapı, uzunluğu ve kapasitesi (capacity) vardır. Bu, bellek sızıntısına, kopyalarla çalışma hatalarına ve orijinal dizinin değiştirilmesi sırasında beklenmedik etkilere yol açabilir.

Çözüm:

Slice şu türdendir:

type slice struct {
    ptr unsafe.Pointer
    len int
    cap int
}

Slice, append() ile genişletildiğinde, destekleyici dizinin yeniden dağıtılması gerçekleşebilir ve daha önceki tüm referanslar geçerli kalır, ancak eski verilere işaret eder. Bu özelliğin bilinmemesi hatalara ve bellek sızıntısına yol açar.

Belleğin ve kopyalamanın doğru ayrıştırılması örneği:

src := []int{1,2,3,4,5}
dst := make([]int, len(src))
copy(dst, src)

[:] ile oluşturulan dilimler, temel diziyi paylaşır ve bunların modifikasyonu birbiri üzerinde etkili olur; bu, kopyalanmadığı takdirde geçerlidir.

Anahtar özellikler:

Slice, bir diziye gösterici artı uzunluk ve kapasitedir.
append() kapasite yeniden dağıtıldığında yeni bellek tahsis edebilir.
Temel diziyi paylaşan dilimlerdeki değişiklikler, tüm bu dilimlerde görünür.

İkna edici sorular.

Kapasiteyi aşarak bir slice genişletildiğinde, başka dilimlerin aynı diziye işaret etmesi durumunda ne olur?

Kapasite aşılırsa, yeni bir bellek yerleşimi ile temel dizi oluşturur ve yalnızca bu dilim yeni diziye işaret ederken, diğerleri eski olana işaret etmeye devam eder. Bu, veri tutarsızlığının sık bir nedeni olur.

Büyük bir diziden elde edilen küçük boyutlu dilimlerin uzun süre saklanmamasının önemi nedir?

Küçük olsa bile, bu dilimin göstericisi, tüm destekleyici diziyi işaret eder; bu durum, büyük dizinin bellekte tutulmasına ve bellek sızıntısına neden olabilir.

Diziyi sınırlarının dışında dilimlemeye çalışırsak ne olur?

Panic meydana gelir: çalışma zamanı hatası: dilim limitleri aralığında değil.

Tipik hatalar ve anti-patentler

Büyük bir diziden küçük bir dilim döndürmek, bu bellek sızıntısına yol açar.
Tek bir diziyi paylaşan birkaç dilim ile veri düzenlemesi (veri yarışı)
Bellek yeniden dağıtımını anlamadan append kullanmak.

Gerçek hayattan bir örnek

Olumsuz vaka

Fonksiyon, büyük bir dosyayı bir bayt dizisine okur ve ilk 100 elemanı içeren bir dilim döndürür. Bu dilim uzun süre saklanır, ancak büyük dizi için kullanılan tüm bellek GC'ye aittir.

Artıları:

Minimum kod

Eksileri:

Sunucu ortamında büyük bellek sızıntıları
Hata ayıklamada zorluklar

Olumlu vaka

Dilim alındıktan hemen sonra gerekli parçanın yeni bir dilime make ve copy ile kopyalanması yapılır. Eski dizi hemen unutulur, GC bellek tahsis eder.