Kuidas määrata, kas operatsioon on atomaarne mitme lõime ja sünkroniseerimise kontekstis?

Toiminto pidetään atomisena, jos se suoritetaan kokonaisuudessaan tai ei lainkaan, ilman mahdollisuutta keskeyttää sitä tai havaita välitilassa muiden säikeiden toimesta. Monisäikeisessä kontekstissa tämä tarkoittaa, että toiminto tapahtuu yhtenä jakamattomana toimintona.

Esimerkiksi muuttujan lisääminen ei välttämättä ole atomista, jos se on jaettu useisiin koneellisiin käskyihin. Jotta toiminto olisi atominen, se on suoritettava erityisten primitiivien avulla, kuten atomisten tietotyyppien tai prosessorin käskyjen avulla.

Swiftissä atomisten toimintojen suorittamiseen voidaan käyttää OSAtomic-funktioita tai DispatchQueue-synkronointia. Esimerkki atomisesta lisäämisestä DispatchQueue-käytöllä:

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

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

Tässä lisäämistoiminto suoritetaan synkronoidussa lohkossa, mikä tekee siitä atomisen muiden säikeiden näkökulmasta.