Waarop zijn barrières en semaforen gebaseerd?

Barrières en semaforen in de context van parallel programmeren zijn gebaseerd op synchronisatie-mechanismen:

• Semaforen: Gebaseerd op atomaire operaties op een teller. Belangrijkste operaties:

  • wait (of P, verwerven): Verlaagt de teller. Als de teller negatief wordt, wordt de thread geblokkeerd totdat een andere thread signal uitvoert.
  • signal (of V, vrijgeven): Verhoogt de teller. Als er geblokkeerde threads zijn, wordt een van hen gewekt.
  • Semaforen kunnen binair (waarde 0 of 1, werken als mutexen) of teller-gebaseerd (staan een beperkt aantal threads toe toegang tot een resource).

• Barrières: Gebaseerd op een mechanisme waarbij alle deelnemers wachten. Een thread die de barrière bereikt, wordt geblokkeerd totdat alle andere betrokken threads ook de barrière bereiken. Zodra alle de barrière bereiken, gaan ze gelijktijdig verder.

In iOS/macOS-ontwikkeling worden deze concepten geïmplementeerd met behulp van frameworks voor gelijktijdige programmering zoals GCD (Grand Central Dispatch) en OperationQueue.

Bijvoorbeeld, in GCD:

// Voorbeeld van gebruik van DispatchSemaphore
let semaphore = DispatchSemaphore(value: 1) // Binaire semafoor

// Wachten (verwerven)
semaphore.wait()
// Toegang tot kritieke sectie
semaphore.signal() // Signaal (vrijgeven)

Barrières in GCD worden geïmplementeerd met behulp van barrier-taken voor gelijktijdige wachtrijen:

let concurrentQueue = DispatchQueue(label: "com.example.concurrentQueue", attributes: .concurrent)

// Normale taken
concurrentQueue.async {
    // ...
}

// Barrier-taak - wordt alleen uitgevoerd wanneer alle voorgaande normale taken zijn voltooid
// En daarna starten geen nieuwe taken totdat deze is voltooid
concurrentQueue.async(flags: .barrier) {
    // ...
}

// Normale taken die starten nadat de barrier-taak is voltooid
concurrentQueue.async {
    // ...
}