Quelles propriétés garantissent qu'une opération s'exécute comme un tout indivisible dans les transactions ou les environnements multithread ?

В контексте транзакций и многопоточных сред ключевым свойством, обеспечивающим выполнение операции как неделимого целого, является атомарность. Атомарная операция либо выполняется полностью, либо не выполняется вовсе, без промежуточных состояний.

Кроме атомарности, важны свойства из набора ACID для транзакций:

• Consistency (согласованность) — операция переводит систему из одного корректного состояния в другое.
• Isolation (изоляция) — операции выполняются так, будто они происходят последовательно, без вмешательства друг друга.
• Durability (устойчивость) — после подтверждения операции её результат сохраняется даже при сбоях.

В многопоточных приложениях атомарность достигается с помощью механизмов синхронизации: mutex, семафоры, атомарные операции процессора (например, compare-and-swap).

Пример атомарной операции в Swift с использованием DispatchQueue:

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

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

Здесь операция инкремента выполняется последовательно, что обеспечивает её атомарность.