Milyen tulajdonságok biztosítják, hogy egy művelet tranzakciókban vagy több szálas környezetben oszthatatlan egészként hajtódjon végre?

Az tranzakciók és a több szálú környezetek kontextusában az alapvető tulajdonság, amely biztosítja, hogy egy művelet oszthatatlan egészként hajtódjon végre, az atomaritás. Egy atomikus művelet vagy teljes egészében végrehajtódik, vagy egyáltalán nem, közbenső állapotok nélkül.

Az atomaritás mellett fontosak az ACID halmaz tulajdonságai a tranzakciókhoz:

• Konzisztencia — a művelet a rendszert egy helyes állapotból egy másik helyes állapotba viszi.
• Elszigeteltség — a műveletek úgy hajtódnak végre, mintha egymás után történnének, beavatkozás nélkül.
• Tartósság — a művelet megerősítése után az eredmény még hibák esetén is megmarad.

Több szálú alkalmazásokban az atomaritás szinkronizációs mechanizmusokkal érhető el: mutex, szemaforok, processzor atomikus műveletei (pl. compare-and-swap).

Swift példaként az DispatchQueue használatával bemutatott atomikus művelet:

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

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

Ebben az esetben a növelő művelet szekvenciálisan hajtódik végre, biztosítva az atomaritását.