Cos'è una condizione di race?

Lo stato di race condition è un problema che si verifica in un'applicazione multithread o multiprocesso, quando la correttezza del risultato dipende dall'ordine di esecuzione dei thread/processi.

Di solito si verifica quando più thread accedono contemporaneamente a risorse condivise (variabili, file, database) senza una sincronizzazione adeguata.

Ciò porta a comportamenti imprevedibili, errori e dati incorretti.

Esempio: Due thread cercano di aumentare contemporaneamente una variabile condivisa.

var sharedCounter = 0

func incrementCounter() {
    let currentValue = sharedCounter // Il thread 1 legge 0
    // Un certo ritardo
    let newValue = currentValue + 1 // Il thread 1 calcola 1
    sharedCounter = newValue // Il thread 1 scrive 1
}

// Se il thread 2 legge currentValue prima che il thread 1 scriva newValue:
func anotherIncrementCounter() {
    let currentValue = sharedCounter // Il thread 2 legge 0
    let newValue = currentValue + 1 // Il thread 2 calcola 1
    sharedCounter = newValue // Il thread 2 scrive 1
}

In questo esempio, se entrambi i thread vengono eseguiti contemporaneamente senza sincronizzazione, alla fine sharedCounter potrebbe diventare 1 invece di 2.

Per prevenire le condizioni di race, si utilizzano meccanismi di sincronizzazione:

• Mutex (Mutual Exclusion): Blocca l'accesso a una risorsa, consentendo a un solo thread di essere nella sezione critica.
• Semafori: Limitano il numero di thread che possono accedere contemporaneamente a una risorsa.
• Code di Dispatch (GCD): L'esecuzione dei compiti avviene in modo sequenziale (per le code seriali) o con un certo livello di parallelismo (per le code concorrenti), con la possibilità di sincronizzare l'accesso.
• Lock: Diversi tipi di lock (ad esempio, NSLock, NSRecursiveLock).
• Operazioni atomiche: Garantiscono che l'operazione (lettura, scrittura, incremento) venga eseguita in modo atomico, cioè non può essere interrotta da un altro thread.

Nello sviluppo iOS, si utilizzano spesso Grand Central Dispatch (GCD) e Operation Queues per gestire i thread e prevenire le condizioni di race. Le Dispatch Queue seriali garantiscono la sincronizzazione automatica delle attività eseguite in questa coda.