Kaip nustatyti, ar operacija yra atominė daugiašakinio apdorojimo ir sinchronizacijos kontekste?

Veiksmą laikoma atominiu, jei jis įvykdomas visiškai arba visai neįvykdomas, be galimybės būti nutrauktam ar stebimas tarpinėje būsenoje kitų srautų. Multithread kontekste tai reiškia, kad veiksmas vyksta kaip nedaloma veiksmo dalis.

Pavyzdžiui, kintamojo didinimas gali būti neatominis, jei jis suskirstytas į kelias mašininės instrukcijas. Kad veiksmas būtų atominis, jis turi būti vykdomas naudojant specialius primitivius, pvz., atominius duomenų tipus arba procesoriaus instrukcijas.

Swift kalboje atominiams veiksmams galima naudoti OSAtomic funkcijas arba DispatchQueue sinchronizacijai. Pavyzdys atominio didinimo naudojant DispatchQueue:

let queue = DispatchQueue(label: "atomic.queue")
var counter = 0

func atomicIncrement() {
    queue.sync {
        counter += 1
    }
}

Čia didinimo veiksmas vykdomas sinchronizuotame bloke, todėl jis yra atominis kitų srautų požiūriu.