Hoe bepaal je of een operatie atomair is in de context van multithreading en synchronisatie?

Een operatie wordt als atomair beschouwd als deze volledig wordt uitgevoerd of helemaal niet, zonder de mogelijkheid om onderbroken te worden of in een tussenstaat door andere threads te worden waargenomen. In de context van multithreading betekent dit dat de operatie plaatsvindt als een ondeelbare actie.

Bijvoorbeeld, het verhogen van een variabele kan niet-atomair zijn als het is opgesplitst in meerdere machine-instructies. Om een operatie atomair te maken, moet deze worden uitgevoerd met behulp van speciale primitieve functies, zoals atomische datatypes of processorinstructies.

In Swift kunnen voor atomare operaties OSAtomic functies of DispatchQueue worden gebruikt voor synchronisatie. Een voorbeeld van een atomair incrementeer met DispatchQueue:

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

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

Hier wordt de incrementeeroperatie uitgevoerd binnen een gesynchroniseerde blok, waardoor deze atomair is vanuit het oogpunt van andere threads.