Koje osobine obezbeđuju izvršenje operacije kao nedeljivog celog u transakcijama ili višestrukim nitima?

U kontekstu transakcija i višestrukih niti, ključna osobina koja osigurava da operacija bude izvedena kao nedeljiva celina je atomarnost. Atomarna operacija ili se u potpunosti izvrši, ili se uopšte ne izvrši, bez međustanja.

Pored atomarnosti, važne su osobine iz skupa ACID za transakcije:

• Konzistentnost — operacija prenosi sistem iz jednog ispravnog stanja u drugo.
• Izolacija — operacije se izvršavaju kao da se dešavaju sekvencijalno, bez međusobnog mešanja.
• Trajnost — nakon potvrde operacije, njen rezultat ostaje sačuvan čak i pri padovima.

U višestrukim nitima, atomarnost se postiže pomoću mehanizama sinhronizacije: mutex, semafori, atomskih operacija procesora (npr. compare-and-swap).

Primer atomarne operacije u Swift koristeći DispatchQueue:

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

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

Ovde, operacija inkrementa se izvršava sekvencijalno, što garantuje njenu atomarnost.