Okuyucu ve yazar sorunu hakkında ne biliyorsun?

Okuyucu ve yazar problemi, çok iş parçacıklı ortamda ortak verilere erişim senkronizasyonunun klasik bir görevidir.

Sorunun özü:

• Birden fazla iş parçacığı (okuyucular) aynı anda verileri okur.
• Birden fazla iş parçacığı (yazıcılar) aynı anda verileri değiştirir.

Gereksinimler:

• Okuyucular, kısıtlama olmadan aynı anda okuyabilir.
• Yazarlar, verilere münhasır erişime sahiptir (bir yazar çalışırken, başka hiç kimse, ne okuyucu ne de yazar, erişemez).
• Aynı anda yalnızca bir yazar çalışabilir.
• Bir yazar erişim bekliyorsa, yeni okuyucular onun bitmesini beklemeli. Bu kural, yazarların "açlık" yaşamasını önler.

iOS'taki çözümler:

• NSLock: En basit mekanizma, ancak bu görev için optimal değildir, çünkü hem okuma hem de yazma işlemlerini engeller.

• NSRecursiveLock: Aynı iş parçacığının kilidi birden çok kez almasına izin verir. Uygulanamaz.

• NSCondition: Daha esnek bir mekanizma, iş parçacıklarının belirli koşulları beklemesine izin verir. Okuyucu/yazar mantığını uygulamak için kullanılabilir, ancak kilitlerin ve koşulların manuel yönetimini gerektirir.

• Serial Dispatch Queue (GCD): Tüm okuma ve yazma işlemleri için sıralı bir kuyruk oluşturma. Yazma işlemleri senkron olarak gerçekleştirilir, okuma işlemleri ise asenkron yapılabilir, ancak önceki işlemler tamamlandıktan sonra. Bu basit bir çözümdür, ancak okuma performansı açısından optimal değildir çünkü okuma paralel yapılamaz.

  let readWriteQueue = DispatchQueue(label: "com.example.readwrite", attributes: .concurrent)
  
  func readData() {
      readWriteQueue.async {
          // Veri okuma mantığı
          print("Veri okunuyor...")
      }
  }
  
  func writeData() {
      readWriteQueue.sync(flags: .barrier) {
          // Veri yazma mantığı
          print("Veri yazılıyor...")
      }
  }
  

• Barrier ile Eşzamanlı Dispatch Kuyruğu (GCD): Çoğu durumda en iyi çözümdür. Okuma işlemlerini paralel olarak gerçekleştirmek için eşzamanlı bir kuyruk kullanılır. Yazma işlemleri için .barrier bayrağı kullanılır. Bu bayrakla kuyrukta bir işlem yer aldığında, önceki tüm işlemler tamamlanana kadar bekler, sonra kendisi çalışır ve çalışırken başka hiçbir işlem (okuma veya yazma) gerçekleşemez. İşlem tamamlandıktan sonra kuyruk tekrar eşzamanlı hale gelir. Böylece, okuma paralel olur, yazma ise münhasırdır.

  let readWriteQueue = DispatchQueue(label: "com.example.readwrite", attributes: .concurrent)
  
  func readData() {
      readWriteQueue.async {
          // Veri okuma mantığı
          print("Veri okunuyor...")
      }
  }
  
  func writeData() {
      readWriteQueue.sync(flags: .barrier) {
          // Veri yazma mantığı
          print("Veri yazılıyor...")
      }
  }
  

  Aynı kod, sıralı kuyruk için olanla aynıdır, ancak .concurrent özniteliği kuyrukların eşzamanlı olmasını sağlar. .barrier bayrağı, kuyruk davranışını sadece bu özel işlem için sıralı yapar.

• os_unfair_lock (iOS 10+): Düşük seviyeli kilit, NSLock'tan daha verimlidir. Maksimum performans veya belirli davranış gerekiyorsa, okuyucu/yazar mantığını manuel olarak uygulamak için kullanılabilir. Dikkatli kullanılmalıdır.

Çözüm seçimi, uygulamanın özel gereksinimlerine, okuma ve yazma işlemlerinin sıklığına ve gereken performans seviyesine bağlıdır. Çoğu durumda, .barrier bayrağı ile birlikte kullanılan eşzamanlı dispatch kuyruğu kullanmak, iOS'ta en dengeli ve önerilen yaklaşımdır.