Wat is een raceconditie?

De raceconditie ontstaat wanneer twee of meer threads of processen gelijktijdig toegang krijgen tot een gedeelde bron (bijvoorbeeld een variabele, een bestand, een database) en het resultaat van de operatie afhangt van de volgorde waarin deze threads/processen hun acties uitvoeren. Vanwege de onvoorspelbare volgorde van toegang en wijziging van gegevens, kan het resultaat onjuist of onverwacht zijn.

Voorbeeld in iOS: Laten we aannemen dat we een teller count hebben, waarop tegelijkertijd twee threads toegang krijgen om deze te verhogen.

var count = 0

func incrementCount() {
    // Thread 1 leest count = 5
    // Thread 2 leest count = 5
    let currentCount = count
    // Thread 1 berekent newCount = 6
    // Thread 2 berekent newCount = 6
    let newCount = currentCount + 1
    // Thread 1 schrijft count = 6
    // Thread 2 schrijft count = 6 (overschrijft het resultaat van Thread 1)
    count = newCount
}

// Als twee threads tegelijkertijd incrementCount() aanroepen,
// zou de verwachte uitkomst count = 2 zijn,
// maar door de raceconditie kan count 1 worden.

Om racecondities te voorkomen, worden synchronisatiemechanismen gebruikt:

• Lock/Muisknop: Blokkeert toegang tot de bron zolang de thread deze gebruikt.

  import Foundation
  
  let lock = NSLock()
  var count = 0
  
  func incrementCount() {
      lock.lock() // Vergrendeling verkrijgen
      let currentCount = count
      let newCount = currentCount + 1
      count = newCount
      lock.unlock() // Vergrendeling vrijgeven
  }
  

• Wachtrijen (Queues): Gebruik van sequentiële GCD-wachtrijen.

  import Foundation
  
  let serialQueue = DispatchQueue(label: "com.myapp.counterQueue")
  var count = 0
  
  func incrementCount() {
      serialQueue.async {
          let currentCount = count
          let newCount = currentCount + 1
          count = newCount
      }
  }
  

• Atomische operaties: Ononderbroken operaties op instructieniveau van de processor. In Swift kan OSAtomic... (verouderd) of Atomic uit @_implementationOnly import Atomics (experimenteel) worden gebruikt, of benaderingen op basis van vergrendelingen/wachtrijen.

De keuze van de synchronisatiemethode hangt af van het specifieke scenario en de prestatie-eisen. Het is belangrijk te begrijpen dat synchronisatie extra belasting kan veroorzaken en mogelijk tot deadlocks kan leiden als het niet correct wordt geïmplementeerd.