Come eliminare le race condition durante l'esecuzione concorrente di thread usando GCD?

In GCD (Grand Central Dispatch), per evitare condizioni di gara durante lavori concorrenti, si utilizza la sincronizzazione dell'accesso alle risorse condivise. Gli approcci principali:

• Uso di code seriali: se tutte le operazioni su una risorsa condivisa vengono eseguite in una singola coda seriale, verranno eseguite in ordine, evitando accessi simultanei.

• Uso di barriere in code concorrenti: le barriere garantiscono che tutte le attività precedenti siano completate prima di iniziare la barriera, e le attività successive iniziano dopo.

Esempio di utilizzo di una coda seriale per proteggere una risorsa:

let serialQueue = DispatchQueue(label: "com.example.serialQueue")
var sharedResource = 0

func incrementResource() {
    serialQueue.async {
        sharedResource += 1
        print("Risorsa incrementata a \(sharedResource)")
    }
}

In questo modo, le operazioni su sharedResource non verranno eseguite contemporaneamente, prevenendo condizioni di gara.