Worauf basieren Barrieren und Semaphore?

Barrieren und Semaphoren im Kontext der parallelen Programmierung basieren auf Synchronisationsmechanismen:

• Semaphoren: Basieren auf atomaren Operationen an einem Zähler. Hauptoperationen:

  • wait (oder P, erwerben): Verringert den Zähler. Wenn der Zähler negativ wird, wird der Thread blockiert, bis ein anderer Thread signal ausführt.
  • signal (oder V, freigeben): Erhöht den Zähler. Wenn blockierte Threads vorhanden sind, wird einer von ihnen aufgeweckt.
  • Semaphoren können binär (Wert 0 oder 1, wirken wie Mutexes) oder zählend (erlauben einer begrenzten Anzahl von Threads Zugriff auf eine Ressource) sein.

• Barrieren: Basieren auf einem Mechanismus, bei dem alle Teilnehmer warten. Ein Thread, der die Barriere erreicht, wird blockiert, bis alle anderen Threads, die an der Synchronisation beteiligt sind, ebenfalls die Barriere erreichen. Sobald alle die Barriere erreicht haben, setzen sie ihre Ausführung gleichzeitig fort.

In der iOS/macOS-Entwicklung werden diese Konzepte mit Frameworks für nebenläufige Programmierung umgesetzt, wie GCD (Grand Central Dispatch) und OperationQueue.

Zum Beispiel in GCD:

// Beispiel für die Verwendung von DispatchSemaphore
let semaphore = DispatchSemaphore(value: 1) // Binäres Semaphor

// Warten (erwerben)
semaphore.wait()
// Zugriff auf kritische Sektion
semaphore.signal() // Signal (freigeben)

Barrieren in GCD werden mit Barriereaufgaben (barrier tasks) für gleichzeitige Warteschlangen implementiert:

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

// Normale Aufgaben
concurrentQueue.async {
    // ...
}

// Barriereaufgabe - wird nur ausgeführt, wenn alle vorherigen normalen Aufgaben abgeschlossen sind
// Und danach startet keine neue Aufgabe, bis sie beendet ist
concurrentQueue.async(flags: .barrier) {
    // ...
}

// Normale Aufgaben, die nach Abschluss der Barriereaufgabe starten
concurrentQueue.async {
    // ...
}