Eşzamanlı yürütme (Concurrency) bağlamında dilimlerin kullanımı ne kadar güvenlidir?

Eşzamanlı erişim (Concurrency) bağlamında ek senkronizasyon mekanizmaları olmadan dilimlerin güvenli olmayan kullanımı söz konusudur. Aynı anda okuma ve yazma veya aynı bellek bölgesine (dizin tabanlı dizi) iki eşzamanlı yazma erişimi, veri yarışı (data race) durumlarına yol açar.

Güvensizlik nedenleri:

1. Temel dizinin değiştirilmesi: Bir dilim, temel dizinin bir görünümüdür. append gibi işlemler, özellikle mevcut kapasiteyi aşarsa, yeni bir temel diziye yeniden tahsis ve kopyalama işlemlerine neden olabilir. Bu sırada başka bir goroutine eski veya yeni temel dizi üzerinde okuma veya yazma yapmaya çalışıyorsa, yarış durumu oluşur.
2. Dilim başlığının değiştirilmesi: Dilim başlığı (bir gösterici, uzunluk ve kapasite içeren yapı) de append gibi işlemler sırasında değiştirilebilir. Bu başlık üzerinde eşzamanlı okuma ve yazma, kilitlenme olmadan, belirsiz davranışlara yol açar.

Güvenliği sağlamak için mekanizmalar:

• sync.Mutex / sync.RWMutex: Her okuma veya yazma işleminden önce dilime erişimi kilitler. sync.RWMutex, sık okuma ve nadir yazma senaryoları için tercih edilir.

  import "sync"
  
  type SafeSlice struct {
      mu    sync.RWMutex
      items []int
  }
  
  func (s *SafeSlice) Append(item int) {
      s.mu.Lock() // Yazma için kilitlenir
      defer s.mu.Unlock()
      s.items = append(s.items, item)
  }
  
  func (s *SafeSlice) Get(index int) (int, bool) {
      s.mu.RLock() // Okuma için kilitlenir
      defer s.mu.RUnlock()
      if index < 0 || index >= len(s.items) {
          return 0, false
      }
      return s.items[index], true
  }
  

• Kanal (Channels): Verilerin sahipliğini kanallar aracılığıyla iletmek. Bir goroutine veri yazar, diğerleri kanaldan okur. Bu, akış tabanlı veri işleme senaryoları için uygundur.

  // Elemanların iletimi için kanal kullanımı örneği
  // bir goroutine üretir, diğerleri tüketir
  

• sync.Map: Anahtarları değerlere haritalama veya sıralamanın önemli olmadığı, ancak eşzamanlı güvenliğin kritik olduğu senaryolarda kullanılır.

Sonuç: Eşzamanlı senaryolarda dilimlerin kullanımı, yarış durumlarını önlemek için açıkça senkronizasyon yönetimi gerektirir. Birden fazla goroutine tarafından aynı anda erişilen dilimlerin basit kullanımı güvenli değildir.