Kā noteikt, vai operācija ir atomiska daudzprocesu un sinhronizācijas kontekstā?

Darbība tiek uzskatīta par atomisku, ja tā tiek veikta pilnībā vai vispār netiek veikta, bez iespējas to pārtraukt vai novērot starpposma stāvoklī citu pavedienu dēļ. Multithread kontekstā tas nozīmē, ka darbība notiek kā nedalāma rīcība.

Piemēram, mainīgā palielināšana var nebūt atomiska, ja tā ir sadalīta vairākās mašīnas instrukcijās. Lai darbība būtu atomiska, tā jāveic ar īpašiem primitīviem, piemēram, atomu datu tipiem vai procesora instrukcijām.

Swift valodā atomu operācijām var izmantot OSAtomic funkcijas vai DispatchQueue sinhronizācijai. Piemērs atomiskai palielināšanai ar DispatchQueue:

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

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

Šeit palielināšanas operācija tiek veikta sinhronizētā blokā, padarot to atomisku no citu pavedienu skatpunkta.