Hogyan határozható meg, hogy egy művelet atomikus-e a több szálas és szinkronizációs környezetben?

Egy művelet atomikusnak tekinthető, ha teljes egészében végrehajtódik vagy egyáltalán nem, anélkül, hogy más szálak által megszakítható vagy közbenső állapotban megfigyelhető lenne. A több szálas környezetben ez azt jelenti, hogy a művelet egy oszthatatlan cselekvésként történik.

Például egy változó növelése nem lehet atomikus, ha több gépi utasításra van bontva. Ahhoz, hogy egy művelet atomikus legyen, speciális primitívek, például atomikus adattípusok vagy processzor utasítások segítségével kell végrehajtani.

Swiftben az atomikus műveletekhez használhatók az OSAtomic függvények vagy a DispatchQueue szinkronizációhoz. Egy példa az atomikus növelésre DispatchQueue használatával:

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

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

Ebben az esetben a növelő művelet egy szinkronizált blokkban történik, ami más szálak szempontjából atomikussá teszi.