Jaké mechanismy zajišťují bezpečnou práci s asynchronním kódem a předcházejí závodním podmínkám při použití async/await?

Pro bezpečnou práci s asynchronním kódem a prevenci vzniku závodů při použití async/await na iOS (Swift) se používají následující mechanismy:

• Serializace přístupu ke sdíleným zdrojům: použití front (DispatchQueue) s bariérami nebo sekvenčních front pro synchronizaci.
• Aktorové (Actors): ve Swiftu aktéři zajišťují izolaci stavu a sekvenční přístup k němu, čímž předcházejí závodům.
• Použití Task a await s správou kontextu provádění: aby se zabránilo současnému přístupu ke stejným datům.

Příklad s použitím aktérů:

actor Counter {
    private var value = 0

    func increment() {
        value += 1
    }

    func getValue() -> Int {
        return value
    }
}

let counter = Counter()
Task {
    await counter.increment()
    print(await counter.getValue())
}

Zde aktér zajišťuje, že přístup k value bude sekvenční, čímž se předchází závodům.