Como determinar se uma operação é atómica no contexto de multitarefa e sincronização?

Uma operação é considerada atómica se for executada na sua totalidade ou não for executada de todo, sem possibilidade de ser interrompida ou observada num estado intermédio por outros threads. No contexto de programação multithread, isso significa que a operação ocorre como uma ação indivisível.

Por exemplo, incrementar uma variável pode não ser atómico se for dividido em várias instruções de máquina. Para que a operação seja atómica, deve ser realizada usando primitivas especiais, como tipos de dados atómicos ou instruções do processador.

Em Swift, para operações atómicas, pode-se usar funções OSAtomic ou DispatchQueue para sincronização. Um exemplo de incremento atómico usando DispatchQueue:

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

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

Aqui, a operação de incremento é realizada dentro de um bloco sincronizado, o que a torna atómica do ponto de vista de outros threads.