Quali metodi di sincronizzazione vengono utilizzati per garantire l'accesso condiviso a una variabile durante la lettura e la scrittura?

Per garantire un accesso condiviso sicuro a una variabile durante la lettura e la scrittura su iOS, si utilizzano spesso i seguenti metodi di sincronizzazione:

• Code di dispatch (GCD): le code sequenziali (DispatchQueue) consentono di eseguire operazioni in modo sequenziale, prevenendo condizioni di race. Ad esempio, si può usare DispatchQueue.sync o DispatchQueue.async con una coda sequenziale.

• NSLock e altri oggetti di blocco: NSLock, NSRecursiveLock, NSCondition permettono di bloccare esplicitamente l'accesso a una risorsa.

• @synchronized (in Objective-C): costruzione sintattica per bloccare il codice.

• Proprietà atomiche: in Objective-C, è possibile dichiarare proprietà come atomic, ma questo non è sempre sufficiente per operazioni complesse.

• Lock di lettore-scrittore: ad esempio, pthread_rwlock_t per dividere l'accesso tra lettura e scrittura.

Esempio con utilizzo di DispatchQueue per sincronizzare l'accesso a una variabile:

class ThreadSafeCounter {
    private var value = 0
    private let queue = DispatchQueue(label: "com.example.counterQueue")

    func increment() {
        queue.sync {
            value += 1
        }
    }

    func getValue() -> Int {
        return queue.sync { value }
    }
}